56 Commits (6e67a6a569171e8d1b2485c639c3d4a0c8de57f0)

Author SHA1 Message Date
Josh Berdine bab3d81cb0 Convert Reason to OCaml, and auto-format OCaml
8 years ago
Sam Blackshear cb95bde659 [labs] clean up lab document
8 years ago
Sam Blackshear 1f153d3e3f [absint] kill `AbstractInterpreter.Interprocedural` module
8 years ago
Sam Blackshear 2a3032d0e3 [absint] rename confusing compute_and_store_post function
8 years ago
Jeremy Dubreil cddd1b4ca2 [infer][ondemand] rename the logging functions to outline the deprecated ones
8 years ago
Sam Blackshear 927b08346e [SRI summer school] skeleton code for lab
8 years ago