Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to ↵ | Morgan Deters | |
make it unambiguous for case-insensitive filesystems like on Mac. Fixes Mac builds | |||
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters | |
* rename DeclarationScope to SymbolTable * rename all HashStrategy -> HashFunction (which we often have anyways) * remove CDCircList (no one is currently using it) | |||
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters | |
support incrementality. Some clean-up work will likely follow, but the CNF/Minisat stuff should be left pretty much untouched. Expected performance change negligible; slightly better on memory: http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=3705&reference_id=3697&mode=&category=&p=5 Note that there are crashes, but that these are exhibited in the nightly regression run too! |