summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-01-25starting the slicer form scratch.lianah
2013-01-25minor changes trying to optimize the slicing codelianah
2013-01-14fixed more minor bugslianah
2013-01-10fixed most bugs and added paranoid assertionslianah
2013-01-10minor bug fixesLiana Hadarean
2013-01-10slicer bug fixingLiana Hadarean
2012-12-13more slicer bug fixeslianah
2012-12-11fixed some slicer bugs; set up bv theory to run bit-blaster to check for corr...Liana Hadarean
2012-12-10ported my bv-core branch from svn to gitLiana Hadarean
2012-12-08Merge from 1.0.x (bugfix for 476).Morgan Deters
2012-12-08Fix bug 476: when CxxTest is not found, make the error less fatal-lookingMorgan Deters
2012-12-07Merge release branch '1.0.x'François Bobot
2012-12-07Fix to portfolio buildsMorgan Deters
2012-12-07Fix performance issue in a DFS search (bug 474)Kshitij Bansal
2012-12-06Fix to portfolio buildsMorgan Deters
2012-12-06Fix performance issue in a DFS search (bug 474)Kshitij Bansal
2012-12-06Merge branch 'release-1.0.x'François Bobot
2012-12-06* some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issuesMorgan Deters
2012-12-06distribute the find_public_interface.sh scriptMorgan Deters
2012-12-06version numberingMorgan Deters
2012-12-06Fix for fuzzer-found model bugClark Barrett
2012-12-06* tuple and record support in compatibility libraryMorgan Deters
2012-12-06* some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issuesMorgan Deters
2012-12-05Improved garbage collection for TheoryArith. The merges all of the code over...Tim King
2012-12-05Cleanup of arithmetic, and some new utility functions for the coming fcsimple...Tim King
2012-12-05This commit merges in CDTrailHashMap and CDInsertHashMap. CDHashSet now uses ...Tim King
2012-12-04* Add support for --decision=justification + incremental (bug 437)Kshitij Bansal
2012-12-03distribute the find_public_interface.sh scriptMorgan Deters
2012-12-03version numberingMorgan Deters
2012-12-03Fix for fuzzer-found model bugClark Barrett
2012-12-01Cutting release 1.0.1.0Morgan Deters
2012-12-01fix cut-release sanity checksMorgan Deters
2012-12-01fix to TNode assertion (which is too strict, given lax ordering requirements ...Morgan Deters
2012-12-01Throw a logic exception if user makes an assertion using a STORE_ALLClark Barrett
2012-12-01remove instantiator frameworkMorgan Deters
2012-12-01Fix the way abstract values are typed; fixes some compliance issues.Morgan Deters
2012-12-01fix memory corruption issue in debug builds that led to unhelpful outputMorgan Deters
2012-12-01remove an obsolete (and incorrect) assertion in boolean-terms; also add faili...Morgan Deters
2012-12-01fix java system test dependencesMorgan Deters
2012-12-01drastic simplification of quantifiers code regarding equality queries, instan...Andrew Reynolds
2012-12-01Fix for a CLN related bug on 32 bit systems. Integer((1<<29)+1) and Integer((...Tim King
2012-12-01Some fixes for boolean arraysMorgan Deters
2012-12-01fix #line annotation warningMorgan Deters
2012-12-01updated examplesMorgan Deters
2012-12-01added a new example for the combination of bit-vectors and arrays (includes m...Liana Hadarean
2012-12-01another part of last commitMorgan Deters
2012-12-01definition-expansion fixed for get-model, resolves bug 411Morgan Deters
2012-12-01Polishing API examples.Tim King
2012-12-01Adding SmtEngine::setLogic(const char* logic) so that smt.setLogic("QF_LRA");...Tim King
2012-11-30Fixes for stricter compilers Andy brought to my attention.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback