76 Commits (857c59e0220427895d87e62a2bcc77d7a53e20ed)

Author SHA1 Message Date
Josh Berdine 0a9c77e779 Add version constraint on core
6 years ago
Calascibetta Romain 137e070ece [infer][PR] Move to base64.3.0.0
6 years ago
Jules Villard 6af46027bf [travis] use ocaml-ci-scripts to build infer
6 years ago
Jules Villard 2cf4905c74 bump version: 0.15.0 -> 0.16.0
6 years ago
Jules Villard d468e22e66 [opam] bump opam and javalib versions
6 years ago
Jules Villard 8849458521 [ocaml] switch to 4.07.1
6 years ago
Jules Villard c00b076a05 [setup] opam 2
6 years ago
Sungkeun Cho 96cbdb15c7 [inferbo] Use big_int in interval domain
6 years ago
Ezgi Çiçek 49e582fa49 [Loop-hoisting] Add a new checker for hoisting invariant function calls
6 years ago
Jules Villard 59f09ef697 [opam] upgrade atdgen to version 2
6 years ago
Ezgi Çiçek 74c79c1626 [Java] Upgrade sawja to 1.5.4
6 years ago
Jules Villard 63fc9a43fd [opam] do not allow atdgen >= 1.13.0
6 years ago
Sungkeun Cho 9eca72d405 [Inferbo] Add relational domains
6 years ago
Jules Villard 83a4a8fa5b [dune] jbuilder -> dune
6 years ago
Sungkeun Cho 06a04ca9f5 Revert "[Inferbo] Add relational domain"
7 years ago
Sungkeun Cho 1f7a6e53fb [Inferbo] Add relational domain
7 years ago
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Jules Villard 41953d48fb [build] add conf-sqlite3 and fix minor script issue
7 years ago
Jules Villard 2eef2da4d9 bump version: 0.14.0 -> 0.15.0
7 years ago
Jules Villard 3c2ad1dab7 [fcp] strip clang build as we go on Linux
7 years ago
Jules Villard 515e8d950d bump version: 0.13.0 -> 0.14.0
7 years ago
Josh Berdine 63183f94f1 [racerd] Delay issue deduplication to differential reporting
7 years ago
Jules Villard 0e70845801 [opam] use javalib 2.3.4
7 years ago
Jules Villard 3a8cc49887 [build] upgrade dependencies
7 years ago
Jules Villard 93de989b4a [build] take advantage of latest jbuilder+beta14
7 years ago
Jules Villard f3d98eb807 [time] do not rely on gettimeofday for measuring time
7 years ago
Jules Villard 2adf654950 [sql] add proc attributes DB
7 years ago
Jules Villard 8de2b88783 [make] s/ocamlbuild/jbuilder/g
7 years ago
Jules Villard 46199bb806 bump version: 0.12.0 -> 0.13.0
7 years ago
Josh Berdine bab3d81cb0 Convert Reason to OCaml, and auto-format OCaml
8 years ago
Josh Berdine e04dd37df3 update opam deps
8 years ago
Josh Berdine 7a570cdebf Require ocaml 4.04.2
8 years ago
Martino Luca 34a0efd626 Add optional field in serialized output
8 years ago
Jules Villard 523cd84e92 bump version: 0.11.0 -> 0.12.0
8 years ago
Jules Villard 709376945f [config] migrate help to use man pages
8 years ago
Adil Aliyev e77c1d8ea6 [infer][PR] fixup to address the issues #644 and #643
8 years ago
Josh Berdine e105085cec Constrain core version
8 years ago
Jules Villard 68d6f73142 ocaml 4.04.0
8 years ago
Jules Villard b349fb147c [build] upgrade Reason to 1.13.3
8 years ago
Martino Luca b956d2ddef [CTL] Initial version of a step-by-step debugger for CTL formulas
8 years ago
Jules Villard a3b3148100 bump version: 0.10.0 -> 0.11.0
8 years ago
Jules Villard 0b4f4953a5 [build] move to ctypes stubs
8 years ago
Jules Villard 451adc7949 [build] fix ./build-infer clang
8 years ago
Jules Villard 0b87ad2352 lock reason version to 1.4.0
8 years ago
Jules Villard 50fea65c8c bump version: 0.9.4 -> 0.10.0
8 years ago
Jules Villard c962fe0d4c update yarn.lock and yarn, add xmlm dependency
8 years ago
Jules Villard b6fbb133de Revert "update yarn.lock and yarn"
8 years ago
Yunxing Dai f7917987df update yarn.lock and yarn
8 years ago
Josh Berdine 7708fc7c56 Remove extlib dependency
8 years ago
Josh Berdine 34739522c0 [utils] Add CTypes binding of fts and implement remove_directory_tree
8 years ago