8310 Commits (9af4fe0b8edbcd8aeac6c6351fb95159d82b7b0d)
 

Author SHA1 Message Date
Sungkeun Cho e35b26ae8e [inferbo] Get static final array values from class initializer
5 years ago
Artem Pianykh 2c96491e23 [build] Generate sources from atd using dune (but not FCP atds yet)
5 years ago
Artem Pianykh 786a72574f [build] Replace custom make cmds w/ dune promotion and byte_complete
5 years ago
Artem Pianykh 9fc048b503 [build] Use plain dune files instead of make-generated JBuilder/OCaml ones
5 years ago
Artem Pianykh fc5b092779 [lint] Update checkCopyright to handle sexp dune files
5 years ago
Artem Pianykh fcce3c0659 [RFC][build] Use dune environments and profiles instead of contexts
5 years ago
Jules Villard 40e5a3c5c3 [config] smarter handling of completely deprecated boolean options
5 years ago
Jules Villard e5b50d7d46 [quandaryBO] delete :(
5 years ago
Jules Villard 1faf00e58e [InferPrint] rename to JsonReports
5 years ago
Jules Villard 179cc58e17 [InferPrint] simplify a lot
5 years ago
Jules Villard 19e8ae652c [config] split non-json creating stuff out of InferPrint.ml
5 years ago
Jules Villard 339ebe74ec [config] sensible default for --from-json-report
5 years ago
Jules Villard c27e4c72a4 [config] delete --issues-txt option
5 years ago
Jules Villard 96490d1bad [config] delete --summary-stats option
5 years ago
Jules Villard 33626092d4 [config] delete --precondition-stats option
5 years ago
Josh Berdine 134f9f930e [sledge] Adjust build system to allow building as a vendored dependency
5 years ago
Josh Berdine 8337097cf0 [sledge] Move Domain_itv and dependency on APRON from lib to bin
5 years ago
Josh Berdine 27f93b60da [sledge] Move ctypes dep from lib to bin
5 years ago
Dulma Churchill 2f90b05c2a [pulse] Add model for malloc
5 years ago
Mitya Lyubarskiy 82fb4e67b9 [nullsafe] Cleanup nullsafe top level execution
5 years ago
Amar Paul d48c3f644a [infer][PR] use apt addon in Travis
5 years ago
Ezgi Çiçek b90d7c42d3 [impurity] Do not add value history in impurity traces
5 years ago
Sungkeun Cho 117ab1164b [cost] Revert "Use type of Provider.get"
5 years ago
Martin Trojer 83062c0499 [buck] always pass --fcp-syntax-only to for buck/clang flavour capture
5 years ago
Sungkeun Cho 020cd199b5 [cost] Use type of Provider.get
5 years ago
Josh Berdine 1c9bafc2a9 [sledge] Add beginnings of HACKING docs
5 years ago
Mitya Lyubarskiy 16554689ee [nullsafe][refactor] Don't update typestate twice when typechecking Store instruction
5 years ago
Mitya Lyubarskiy 28db342629 [nullsafe] Evaluate lhs nullability in assignment check based on field declaration
5 years ago
Sungkeun Cho 984c47cefe [inferbo] Remove dead macro definition
5 years ago
Jules Villard 957337bba2 [log] delete PerfStats and EventLogger frameworks
5 years ago
Jules Villard 6e1cca731c [debt] delete Procdesc.is_connected
5 years ago
Jules Villard 8e5ee67fed [config] datatype for checkers
5 years ago
Jules Villard e4602ba0df [clopt] do not generate "--no-" flag for [mk_bool ~long:""]
5 years ago
Josh Berdine f5ab894675 [sledge] Dedup preprocess entries in dune files
5 years ago
Josh Berdine 0c7249b992 [sledge] Change build system to not generate dune files
5 years ago
Josh Berdine fff3a491bf [sledge] Bump version of dune language used, and format dune files
5 years ago
Josh Berdine 1798725632 [sledge] Add support to ppx_trace enable via environment variable
5 years ago
Josh Berdine c47199e31c [sledge] Simplify build for models
5 years ago
Josh Berdine 8880dd48eb [sledge] Remove base dep from ppx_trace
5 years ago
Josh Berdine b6ddd8fe8e [sledge] Rearrange into CLI binary and LLVM-independent library
5 years ago
Josh Berdine d5158f0787 [sledge] Move Reg.demangle to frontend
5 years ago
Josh Berdine 5eebe1c733 [sledge] Add entry-points config to Control.exec_opts
5 years ago
Josh Berdine dd026745af [sledge] Remove sledge/bin symlinks
5 years ago
Josh Berdine e6ccd3e497 [sledge] Minor tracing improvements
5 years ago
Josh Berdine 556739e17c [sledge] Minor optimization of Sh.bind_exists
5 years ago
Josh Berdine f80e0977cd [sledge] Make Sh.and_cong robust wrt conjoining to an unsat formula
5 years ago
Josh Berdine 37ddf95a49 [sledge] Strengthen and simplify canonizer for Extract terms
5 years ago
Ezgi Çiçek c6237f5f9f [pulse] Add model for Object.clone()
5 years ago
Jules Villard cb33b6a846 [website] remove /static prefix
5 years ago
Mitya Lyubarskiy 087a5a9787 [nullsafe] A dedicated test for testing field nullability memoization
5 years ago