57 Commits (62be37f163aa4f28e32042910e0cb3f538dd3d0a)

Author SHA1 Message Date
Jules Villard 35c7d67c5c [test] test the correct version of toplevel.cmo
8 years ago
Jules Villard 6f264a30fa [build] remove c stubs and ctypes dependency
8 years ago
Jules Villard c031fef177 [release] various improvements to release script
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 0b4f4953a5 [build] move to ctypes stubs
8 years ago
Jules Villard f30a26f02c [refmt] wrap refmt into scripts/refmt.sh
8 years ago
Sam Blackshear 0675e88571 [annotations] pom.xml for releasing infer annotations via maven
8 years ago
Jules Villard bb32e8845d various fixes to the release script
8 years ago
Jules Villard 2e96caac42 [mvn] new integration
8 years ago
Jules Villard bce1a1ff2e [make] make infer/src/Makefile less phony
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
Yunxing Dai db08df930a Add tuareg and core as dependencies
8 years ago
Josh Berdine dd8b8e6d2e [reason] reformat with new version of reason
8 years ago
Josh Berdine 55f854f1b4 Fix typo in infer_repl
8 years ago
Andrzej Kotulski a31c5416b1 Add basic support for starting ocaml repl with infer code
8 years ago
Jules Villard 60baae7ada release script improvements
9 years ago
Jules Villard 447ef0e4ce fix sync mishaps
9 years ago
Jules Villard 95804e6382 add files lost in sync with internal repo
9 years ago
jrm 214ef205ca remove scripts/
9 years ago
Jules Villard 5e4e1b5482 script to publish github releases
9 years ago
jrm 808c78c5e7 fix issue with missing files on GitHub
9 years ago
Jules Villard 09f5605a6e move build integration tests to infer/tests/
9 years ago
Jules Villard 6f012ad70e kill test.sh
9 years ago
Jules Villard 1952f54d8c minor cleanups
9 years ago
Jules Villard dc52ce8158 ignore errors as appropriate on input decode/output encode
9 years ago
Josh Berdine b54fbc2776 Add test_build target warnings not fatal otherwise
9 years ago
Sam Blackshear c623b45298 Adding test.sh to fix sync problem (undoing f3964a05f7)
9 years ago
jrm aa673eadbd fix variable initialization in the build integration tests
9 years ago
martinoluca f3964a05f7 Removing test.sh because now tests can be launched through `make test`
9 years ago
Jules Villard c0f9e31ded remove unused scripts
9 years ago
Jules Villard 7a0c9c88bd add test target
9 years ago
Jules Villard 8ddf621ca3 check if the C compiler is recent enough
9 years ago
Jules Villard afa416ed4e add toplevel Makefile
9 years ago
Jules Villard dbfa1f7c69 migrate infer/annotations/Makefile
9 years ago
Jules Villard 529d103977 refactor reading json
9 years ago
jrm 12e37c97fc sort the list of bugs in order to preserve the position of the entries in the JSON file
9 years ago
Jules Villard 81e143b3be move csv and json constants to issues.py
9 years ago
Jules Villard 1848f6deba move paths constants to config.py
9 years ago
Jules Villard b2b2322db7 rename INFER to INFER_EXECUTABLE
9 years ago
Jules Villard 6d649259c8 unbreak the error path
9 years ago
Jules Villard d50a401cd0 replace string constants for json fields with variables
9 years ago
Jules Villard 872ce8ea87 move python code to infer package
9 years ago
Jules Villard 9466aeaef3 Revert "Revert "Revert "[sync] syncing files to github"""
9 years ago
Irene Papakonstantinou 289fdaccd4 Add the version as an argument to the packaging script
9 years ago
jrm 4263b9a7c6 Add integration tests for Ant-based Java projects
9 years ago
Irene Papakonstantinou d27d0b5c9d Update script that creates releases
9 years ago
Jules Villard 6e29be8559 output sensible version number without git or .git
9 years ago
Irene Papakonstantinou 027ba53203 Create source release for infer including clang binaries
9 years ago