68 Commits (a2adde8948ed8f8bc9b3f06d2e9f53a02577e270)

Author SHA1 Message Date
Josh Berdine 65a39c88b7 bump version: 0.9.2 -> 0.9.3
8 years ago
Jules Villard b4f6ea1827 bump version: 0.9.1 -> 0.9.2
8 years ago
Jules Villard 0e84560bfe bump version: 0.9.0 -> 0.9.1
8 years ago
Jules Villard 4028fea3c0 bump version: 0.8.1 -> 0.9.0
9 years ago
Jules Villard 8796f2c7ef add travis CI
9 years ago
Jules Villard d2aca60937 bump version: 0.8.0 -> 0.8.1
9 years ago
Jules Villard 1738be0cd0 add autoconf and jdk dependencies
9 years ago
Jules Villard 27f4b99a7a create "install" target
9 years ago
Jules Villard af4a2c1301 download specific infer version
9 years ago
Sam Blackshear 450b97b9d7 make ounit dep work on case-sensitive filesystems
9 years ago
Sam Blackshear 85747084b5 adding dependency on ounit
9 years ago
Josh Berdine 4dcf38396b Update minimum required version of ocaml to 4.02.1
9 years ago
Jules Villard 45813c356a explicitly disable building from opam
9 years ago
Jules Villard c09db829f0 bump dependencies
9 years ago
Jules Villard 4beaca767c suggest opam pin when requesting a specific version of a package
9 years ago
jrm d6fc0d4cac [infer][java] update the installation process to use javalib 2.3.1 and sawja 1.5.1
10 years ago
Andrzej Kotulski 2d087b7142 [C Frontend] Get support for map pointer -> decl from fcp
10 years ago
Anil Madhavapeddy 3eb02509c4 Add OPAM metadata files to permit direct installation of Infer
10 years ago