8727 Commits (4a1c513d4e3391aa1abf93eee3b3b70a8119caef)
 

Author SHA1 Message Date
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
Josh Berdine 4f46eb0fd7 [sledge] Refactor: Remove unused functor arg name
5 years ago
Josh Berdine 70c4db27a9 [sledge] Change: Include ocaml version in version info
5 years ago
Josh Berdine 81478df4b7 [sledge] Fix: Do not leak llvm context
5 years ago
Qianyi Shu 09b54e7858 [cost] suppress check is_on_ui_thread for ObjC method
5 years ago
Artem Pyanykh af18770146 [infer][PR] Release infer-annotation 0.18.0
5 years ago
Ezgi Çiçek a8625d5e68 [cost] Brush up tests (3)
5 years ago
Sungkeun Cho e611f0e8b3 [infer] Fix empty `issues.exp.test` on Ant build test
5 years ago
Sungkeun Cho a681036c01 [infer] Fix a typo in Makefile of build test
5 years ago
Jules Villard 4f79585eb0 record objc tests
5 years ago
Ezgi Çiçek ab08d6cfff [cost] Brush up tests (2)
5 years ago
Jules Villard d3eb554e8c ignore emacs-genarated .#foo files
5 years ago
Sungkeun Cho 7471b5291a [infer] Reinstall some packages when ocamlfind cannot find it
5 years ago
Jules Villard 358c8b34ac stop going through Exceptions for non-biabduction issues
5 years ago
Jules Villard 8a1c10f8a1 remove dynamic severity: Reporting.log_{error,warning} -> log_issue
5 years ago
Jules Villard 682f932150 get rid of most dynamic severity changes
5 years ago
Jules Villard c9fc41f97c move visibility into IssueType and make it static, move severity but keep it dynamic
5 years ago
Nikos Gorogiannis 341e719fd4 [starvation][whole-program] add model for `Main`
5 years ago
Nikos Gorogiannis 428c18e619 [starvation] fix static field printing
5 years ago
Josh Berdine 1635c1cf96 [sledge] Style: Change to less compact ocamlformat style
5 years ago
Josh Berdine 0d73a355c9 [sledge] Refactor: Simplify Term.solve_sum code
5 years ago
Josh Berdine 967a9e1c58 [sledge] Change: Rely on llvm size computation for global initializers
5 years ago
Josh Berdine 9bbe9dbba1 [sledge] Change: Rely on llvm size_of instead of Typ.size_of from llair
5 years ago
Josh Berdine d25519ef0f [sledge] Refactor: Simplify frontend check for unimplemented vector operations
5 years ago
Josh Berdine 3e5c2ac7d2 [sledge] Change: No need to compute type of arg of assume
5 years ago
Josh Berdine 7c53cb3d76 [sledge] Test: Update expected test results
5 years ago
Josh Berdine b12c6fd3f8 [sledge] Test: Ignore **/*.ll.{out,err} files generated by test runs
5 years ago
Josh Berdine 11ecbaa0b3 [sledge] Test: Show progress bar when running tests
5 years ago
Josh Berdine 7ec66c9c1b [sledge] Test: Fix `make -C test report-invalid-results`
5 years ago
Dulma Churchill aa6fe7963c [pulse] Add dealloc calls for ObjC objects that are about to become unreachable
5 years ago
Dulma Churchill f638e741ae [pulse] Add DynamicType attribute and use it in the model of ObjC alloc
5 years ago
Ezgi Çiçek 2d6d4f7db9 [cost] Brush up tests (1)
5 years ago
David Pichardie dbdd4413a7 Java8 invokevirtual resolution should search into super interfaces
5 years ago
Jesse Katsumata 1459505540 [infer][PR] feat: replace Travis with Github actions
5 years ago