9060 Commits (9acdedeef886bf3c95bc95cf9f4688e8c743b5b1)
 

Author SHA1 Message Date
Daiva Naudziuniene 412d2777eb [pulse] Add a flag to pass functions that we want to model as abort
5 years ago
Nikos Gorogiannis ed97456a2b [printf] document CHECKERS_PRINTF_ARGS
5 years ago
Nikos Gorogiannis 301580a819 [starvation] document LOCKLESS_VIOLATION
5 years ago
Nikos Gorogiannis 23c1b4f960 [classloads] remove dead analyser
5 years ago
Nikos Gorogiannis 4bbe5a064b [racerd] document GuardedBy issue
5 years ago
Artem Pianykh f22d7e2fd0 [docs] Enable Java syntax highlighting on website
5 years ago
Marat Khabibullin 05b6a1e789 [infer][PR] Fix minor bugs in docs
5 years ago
Dulma Churchill 11c6e3e0ee [pulse] Enable pulse memory leaks and disable biabduction one
5 years ago
Jules Villard 97feb81c3b revive --pmd-xml
5 years ago
Jules Villard 7221c93980 ship with libsqlite too
5 years ago
Jules Villard 2a68099640 add `make install-with-libs` back
5 years ago
Jules Villard 7df439c814 change version to 1.0
5 years ago
Qianyi Shu 525bd35370 [cost] import c performance test to objc
5 years ago
Dulma Churchill 61d5fde7c4 [clang] Adding implicit implementation of dealloc methods to ObjC classes
5 years ago
Sungkeun Cho 2707ee8f4e [cost] Add .PHONY in cost.make
5 years ago
Sungkeun Cho 25825e77d4 [cost] Revise cost.make not to run infer parallel
5 years ago
Ezgi Çiçek bb6cc0e6be [cost] Remove unused inferconfig
5 years ago
Jules Villard 57ac6b67f9 [website] add link to `infer help` man page
5 years ago
Jules Villard 5b399178ee [help] implement `--help-checker` and `--list-checkers`
5 years ago
Jules Villard f8a510fe2d [website] delete outdated or duplicated pages
5 years ago
Jules Villard f195161742 [website] make doc-publish
5 years ago
Jules Villard a1b7016e11 [help] implement `--write-website`
5 years ago
Jules Villard 0bf23c66fd [help] document checkers
5 years ago
Jules Villard f34bd2b069 [help] import issue types documentation from website
5 years ago
Jules Villard bc24cacd3a [help] scaffolding to start documenting issue types
5 years ago
Jules Villard 1c0f242e8b [help] implement "--list-issue-types"
5 years ago
Jules Villard 7ba6e015a8 skeleton new `infer help` command
5 years ago
Jules Villard 7310726155 Checker.name -> Checker.id
5 years ago
Sungkeun Cho e86ea5ca7f [infer] Fix tracebugs test Makefile
5 years ago
Ezgi Çiçek 5de191a50d [inferbo] Fix repeated code
5 years ago
Ezgi Çiçek 6d7df79573 [cost] Brush up tests (4)
5 years ago
Ezgi Çiçek c23e0044fc [infer] Remove ppx_compare workaround for nonrec types (2)
5 years ago
Josh Berdine a383f2afd2 [infer] Remove ppx_compare workaround for nonrec types
5 years ago
Josh Berdine 9c8f2e4a5c [sledge] Build: Move Timer to Nonstdlib
5 years ago
Josh Berdine cfc25ab825 [sledge] Refactor: Remove Nondet Llair.Exp and Term
5 years ago
Josh Berdine dde116b040 [sledge] Change: Translate LLVM undef to register assigned by nondet
5 years ago
Josh Berdine e17f8adfe9 [sledge] Refactor: Support instruction prefix in value translation
5 years ago
Josh Berdine 4fdc2f6c76 [sledge] Build: Wrap Llair library
5 years ago
Josh Berdine f82a1c0437 [sledge] Refactor: Move Llair.t to separate Program module
5 years ago
Josh Berdine 8abad29200 [sledge] Build: Move LLAIR into separate sublibrary
5 years ago
Josh Berdine 0716b47a78 [sledge] Refactor: Strengthen signature of Reg with type equations to Exp.Reg
5 years ago
Josh Berdine 51c7e26828 [sledge] Test: Move tests for (un)signed ints from Exp_test to Term_test
5 years ago
Josh Berdine d1f8714b56 [sledge] Refactor: Move Exp.term to Term.of_exp
5 years ago
Josh Berdine dbe914e6c7 [sledge] Change: Move Exp to Term conversion to Exp.term
5 years ago
Josh Berdine 4c6ad4a2e2 [sledge] Refactor: Add global flag to Reg representation
5 years ago
Josh Berdine df3e6ded1d [sledge] Build: Promote `import` subdirectory to a toplevel `nonstdlib` library
5 years ago
Josh Berdine 529f6c9ded [sledge] Doc: Update doc of Term.map_rec_pre
5 years ago
Josh Berdine 73a0b1f81b [sledge] Build: Update to ocaml 4.10.0, dune 2.5 and core 0.14
5 years ago
Josh Berdine 5e90bc61b7 [infer] Update to core 0.14
5 years ago
Josh Berdine 143eb793af [sledge] Refactor: Add `let@`
5 years ago