You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Josh Berdine c959af34cb Remove specs before rebuilding models ... Summary: Specs files can become stale and cause crashes if the serialized format changes. It is unclear how to add the right dependencies to the existing targets, so this patch just removes them. Perhaps when the specs are built we should drop an empty file to time-stamp them, and add a target that depends on e.g. InferAnalyze and produces that file, and then add dependencies on it. Reviewed By: jvillard Differential Revision: D3358460 fbshipit-source-id: d8aee48		9 years ago
..
annotations	adding some functionality to JSONOutputUtils	9 years ago
bin	create infer/bin/ symlinks from the makefile	9 years ago
etc	[clang] replace yojson frontend with biniou frontend	9 years ago
lib	do not crash when pygments crashes	9 years ago
models	Remove specs before rebuilding models	9 years ago
src	kill uses of Config.curr_language in subtyping part of prover.ml	9 years ago
tests	Improve empty vector tests	9 years ago
.merlin	build in one directory only	9 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	9 years ago
.project	initial synchronization	10 years ago