88 Commits (a718ebe8ec742b5bbd56df6c81b1b1197c53536e)

Author SHA1 Message Date
Jules Villard eb391d7875 [llvm] delete llvm frontend
8 years ago
Andrzej Kotulski b93d6b5012 [ocaml] Create base/ directory for code shared across analyzer and frontends
8 years ago
Dulma Churchill d11b2754a9 New buck integration based on the compilation database emitted by buck
8 years ago
Andrzej Kotulski a31c5416b1 Add basic support for starting ocaml repl with infer code
8 years ago
Lázaro Clapp Jiménez Labora 58d008a026 Add Stacktree ATD type for serializing/decerializing crashcontext results.
8 years ago
Josh Berdine e8fd648fe8 Fix mod_dep for reason conversion, add mod_dep.pdf
9 years ago
Josh Berdine a2a7e07708 Add OCaml toplevel driver executable
9 years ago
Jules Villard 0ac4b76be2 do not use the FB-ONLY literal string in non-fb-only files
9 years ago
Jules Villard def747814a store configure flags in config.flags
9 years ago
Jules Villard eb69ce79bf cleanup gitignore
9 years ago
Jules Villard 533831a206 move all config variables to Makefile.config.in
9 years ago
Martino Luca f89e66dc60 Stats aggregator for frontend/backend/reporting
9 years ago
Jules Villard c31db8436c remove infer/Makefile.in
9 years ago
Jules Villard 1c56310f39 build in one directory only
9 years ago
Josh Berdine 7a5cc8f42c Add make target for module dependency graph
9 years ago
Jules Villard f813b801ee change external buckversion
9 years ago
Jules Villard f0512bcd91 create infer/bin/ symlinks from the makefile
9 years ago
Jules Villard bb3a04e7fb add oUnit file to .gitignore
9 years ago
Sam Blackshear 62965e8051 adding runner for OCaml unit tests
9 years ago
Samuel Blackshear f26c4d8f78 adding .start files to gitignore
9 years ago
Andrzej Kotulski f4c5a4a625 Don't ignore .o.* files generated by infer -fd -- clang
9 years ago
Jules Villard 5019471640 migrate infer/src/Makefile
9 years ago
Jules Villard 7f1b494001 migrate infer/models/Makefile
9 years ago
Jules Villard 408ec141ad migrate infer/Makefile
9 years ago
Jules Villard afa416ed4e add toplevel Makefile
9 years ago
Jules Villard dbfa1f7c69 migrate infer/annotations/Makefile
9 years ago
Jules Villard 1e3085e8b8 add configure script
9 years ago
Cristiano Calcagno cf9c64acb3 git ignore .project file
9 years ago
jrm 4f7a56d470 Move the annotation processor into lib
9 years ago
Jules Villard d6379fb7be [clang] replace yojson frontend with biniou frontend
9 years ago
Jules Villard f7095d794c fix make -C infer/annotations clean clean
9 years ago
jrm 204c585abf [infer][java] revive the small example of Ant project
9 years ago
Jules Villard 352b8edff9 [copyrightor] turn checkCopyright into a standalone script
9 years ago
Andrzej Kotulski be0e3c417a Update fcp version
9 years ago
Jules Villard 9ad32bbbf0 gitignore wibble
10 years ago
Andrzej Kotulski 2d087b7142 [C Frontend] Get support for map pointer -> decl from fcp
10 years ago
Jules Villard 58debe92be add tarballs to .gitignore
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago