13 Commits (50dc0bcad4c70b0402da4c4029e0cac4d478c138)

Author SHA1 Message Date
Josh Berdine e04dd37df3 update opam deps
8 years ago
Jules Villard 93cc3266e8 [log] log to a single file with different categories and debug levels
8 years ago
Jules Villard 03bd3f1df1 [log] append ERROR in front of `failwith` toplevel messages
8 years ago
Jules Villard 0404641ab3 [utils] move parts of utils into their own submodules to avoid future dependency cycle
8 years ago
Jules Villard 801c605c26 [CLI] switch to infer-<command> (symlinks) executables
8 years ago
Jules Villard 709376945f [config] migrate help to use man pages
8 years ago
Jules Villard cccefd6434 [driver] better user error messages
8 years ago
Juergen Hoetzel fbaa1988b3 [infer][PR] [mvn] Handle recursive modules
8 years ago
Jules Villard 6faccb1490 [utils] catch exceptions in epilogues to allow all of them to run
8 years ago
Cristiano Calcagno b1421bc27f [BetterEngineering] Remove remaining uses of polymorphic equality
8 years ago
Andrzej Kotulski cceffddd78 [Config] Warn about deprecated args only from Driver exe
8 years ago
Jules Villard f9ab3aa1ac run epilogues register with `at_exit` upon receiving SIGINT as well
8 years ago
Jules Villard 2e96caac42 [mvn] new integration
8 years ago