11 Commits (495c89284bd9830eac9e58b10f1cf7d27326260b)

Author SHA1 Message Date
Jules Villard d9c037e062 [CLI] rename biabduction-specific option
4 years ago
Jules Villard 8f94d39ce1 [debug/explore] add possibility to select "all"
4 years ago
Jules Villard bfc370f600 [debug,explore] make interactive mode pipe-able
4 years ago
Nikos Gorogiannis ba2bad25aa [debug] new command
5 years ago
Jules Villard d4f1b83a75 [python] migrate `infer explore --html` to OCaml, missing GitHub integration
5 years ago
Sungkeun Cho 3653c68c8e [infer] Add summary-lookup option in infer-explore
5 years ago
Jules Villard 8bdc03bba4 [help] scrub default values in the checked-in version of the manuals
5 years ago
Mehdi Bouaziz 4e249b8cc3 Improve man page for infer explore
6 years ago
Jules Villard a0bae375db [cfg] add option to print CFGs after the fact
6 years ago
Jules Villard 8c7bff0210 [proc-cfg][5/5] remove file-wide cfgs from the db
6 years ago
Jules Villard 515d9f6769 [man] check in manual pages
6 years ago