11 Commits (b700af9ffb8fe75411610be1b6bf32c0e729ca98)

Author SHA1 Message Date
Jules Villard 53b1577b4c [pulse][interproc 3/3] interproc call
6 years ago
Jules Villard 4c1ee2a485 [pulse] add traces to the domain
6 years ago
Jules Villard 65d031af66 [pulse] model lambda captures
6 years ago
Mehdi Bouaziz f57e7028a8 ProcAttributes: removed unused proc_flags
6 years ago
Josh Berdine 40ab73037e [ocamlformat] upgrade to ocamlformat 0.7
6 years ago
Jules Villard 710dae8ee4 [doc] add `make doc` target for building html API doc
7 years ago
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Jules Villard dc2cd65a2c [explore] print only non-default values in the attributes
7 years ago
Jules Villard 97ac7662f8 [sqlite] options to output procedures db
7 years ago
Jules Villard 80d83c2eea [istd] `Format.pp_print_string` is a thing, use it
7 years ago
Jules Villard 6f187a954c base and IR build separately, biabduction/ directory
7 years ago