6 Commits (468ed8a9c7b7ad749959018261b7c99d9cfa352a)

Author SHA1 Message Date
Jules Villard 35c7d67c5c [test] test the correct version of toplevel.cmo
8 years ago
Jules Villard 6f264a30fa [build] remove c stubs and ctypes dependency
8 years ago
Jules Villard 0b4f4953a5 [build] move to ctypes stubs
8 years ago
Jules Villard bce1a1ff2e [make] make infer/src/Makefile less phony
8 years ago
Josh Berdine 55f854f1b4 Fix typo in infer_repl
8 years ago
Andrzej Kotulski a31c5416b1 Add basic support for starting ocaml repl with infer code
8 years ago