8714 Commits (df5cf4ccf0e27ba805c348d21de77e0991b2cd34)
 

Author SHA1 Message Date
Jules Villard e9118afccd [junk] delete infer/src/java/doc.odocl
5 years ago
Dulma Churchill 3cdb9f322e [IR] Fix the function hashable_name for ObjC methods
5 years ago
Anton Kochkov f80f84525a [infer][PR] Update OCaml to 4.09 in Travis
5 years ago
Jules Villard 7f74868402 [website] navigation between doc versions
5 years ago
Daiva Naudziuniene b25d3e39ef [uninit] Use type information from locals if argument is a pointer in function signature
5 years ago
Jules Villard 3854c4efa6 [website] docs for current master
5 years ago
Jules Villard 5f2eb41df8 [website] code to publish current docs
5 years ago
Jules Villard bc22604830 [website] version documentation
5 years ago
Jules Villard e29a9033bb documentation for new libraries
5 years ago
Sungkeun Cho 4e64657d50 [frontend][clang][RFC] fix translation of enum constant
5 years ago
Jules Villard e0da0b00c3 [website] update man pages and OCaml doc for version 0.17.0
5 years ago
Jules Villard 68a9c414a6 [website] use the `infer command` form instead of `infer-command`
5 years ago
Jules Villard c1427ffc19 [ocaml] upgrade to 4.09.1
5 years ago
Jules Villard 418a1b586c [opam] do not crash when the switch does not exist
5 years ago
Dulma Churchill ef7bc324e3 [pulse] Add a flag to model methods for memory ownership transfer
5 years ago
Jules Villard aad4f581e8 [deadcode] create deadcode/dune only when needed
5 years ago
Jules Villard f6a11df9e0 [checkCopyright] detect language of dune files
5 years ago
Daiva Naudziuniene ca2ec281c7 [pulse] Model for iterator operator--
5 years ago
Daiva Naudziuniene eaf95951f5 [pulse] Modeling std::vector::end()
5 years ago
Ezgi Çiçek faceece120 [pulse] Brush up List.set() model
5 years ago
Jules Villard 0924462125 Revert "move manuals to docs/"
5 years ago
Jules Villard e58ee19839 move manuals to docs/
5 years ago
Mitya Lyubarskiy bb37447bd5 [nullsafe] Log class hierarchy for file level analysis
5 years ago
Jules Villard 26c8b58054 [www] minor fixes
5 years ago
Sungkeun Cho b3770d0f17 [litho] Add sematics of assume null
5 years ago
Ezgi Çiçek 5ff6fc93a0 [pulse] Brush up Java iterator models
5 years ago
Mitya Lyubarskiy 2decf834ed [nullsafe] Model nullability of special enum methods
5 years ago
Nikos Gorogiannis 8d83fc3969 [config] remove noop option --procedures-per-proc
5 years ago
Jules Villard b8c5192ea1 remove unused accessPathDomains
5 years ago
Jules Villard a515d1f4b0 finish dune-ification with tests and main binaries
5 years ago
Jules Villard 041ecc5b43 rename most libraries to be more consistent
5 years ago
Jules Villard 0b4254caa2 integration/dune
5 years ago
Jules Villard 6e68448e3b clang/dune, al/dune, test_determinator/dune
5 years ago
Jules Villard c661baffe7 java/dune
5 years ago
Dulma Churchill 40143ab01c [pulse] Model CFRelease as removing the Allocated attribute rather than as free
5 years ago
Sungkeun Cho 2674631e59 [inferbo] Suppress internal error
5 years ago
Josh Berdine 9d9060d213 [sledge] Represent recursive records non-recursively
5 years ago
Josh Berdine 849c61221d [sledge] Remove Exp.size_of and Term.size_of
5 years ago
Josh Berdine 0953444c24 [sledge] Remove dead Loc.is_none
5 years ago
Josh Berdine dd3645820f [sledge] Remove Sh.var_strength, no longer used by Solver
5 years ago
Josh Berdine 148d3d366f [sledge] Cleanup ppx_trace docs
5 years ago
Josh Berdine e2eb6d094a [sledge] Fix context name in test/Makefile
5 years ago
Josh Berdine b9dedea099 [sledge] Add fmt_all target to reformat no matter what dune thinks
5 years ago
Jules Villard 4b06996805 [dune] accomodate osx stupidity
5 years ago
Jules Villard 3bc350331d backend/dune
5 years ago
Jules Villard 0f95d16ac1 labs/dune
5 years ago
Jules Villard efd8e767cb concurrency/dune
5 years ago
Jules Villard 0e40c62a7e turn racerd and starvation into `interprocedural` and `file` checkers
5 years ago
Jules Villard 3e76e48657 [starvation] make `reporting` a `Interprocedural.file_t`
5 years ago
Jules Villard 40a8b9544c [starvation] move global analysis to backend/
5 years ago