summaryrefslogtreecommitdiff
path: root/test/unit/Makefile.am
AgeCommit message (Expand)Author
2015-02-14Fix unit tests.ajreynol
2014-06-25BinaryHeap unit test and some usability/build fixes for the data structure it...Morgan Deters
2014-06-21Some minor cleanup and documentation.Morgan Deters
2014-06-19added model generation to eager bit-blasting and turned abc off by defaultlianah
2014-06-11disable failing testKshitij Bansal
2013-11-10Flatten libcvc4 build structure; remove some #include interdependencesMorgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2012-08-29To the build system:Morgan Deters
2012-08-26Array constants finished and working. Unit tests for array constants.Clark Barrett
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-08-03ArrayStoreAll infrastructureMorgan Deters
2012-08-01fixes to some *clean targetsMorgan Deters
2012-07-27removing unecessary filesAndrew Reynolds
2012-07-16now passes "make distcheck", which does important checks for the release (e.g...Morgan Deters
2012-07-16Support for having two SmtEngines with the same ExprManager.Morgan Deters
2012-07-14Type enumerator infrastructure and uninterpreted constant support. No suppor...Morgan Deters
2012-05-15Implement TypeNode::isComparableTo() and add a unit test for it.Morgan Deters
2012-04-28New LogicInfo functionality.Morgan Deters
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
2011-11-14public tests need to be linked against gmp/cln explicitly---looks like a subt...Morgan Deters
2011-10-21some printing and parser fixes for problems recently uncoveredMorgan Deters
2011-09-15additional stuff for sharing, Dejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-07-09minor fixupsMorgan Deters
2011-06-02minor fix to build system for system testsMorgan Deters
2011-05-02more minor fixes related to last few commitsMorgan Deters
2011-05-01minor fixes, plus experimental readline support in InteractiveShellMorgan Deters
2011-04-25Monday tasks:Morgan Deters
2011-04-25Weekend work. The main points:Morgan Deters
2011-04-23* reviewed BooleanSimplification, added documentation & unit testMorgan Deters
2011-04-18Partial merge from datatypes-merge branch:Morgan Deters
2011-04-11Transitive closure module is workingClark Barrett
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-11-19Merge from ufprop branch, including:Morgan Deters
2010-10-27fix test MakefileMorgan Deters
2010-10-26Cleaning up some header filesChristopher L. Conway
2010-10-24Adding unit test for InteractiveShellChristopher L. Conway
2010-10-12Merge from cc-memout branch. Here are the main pointsMorgan Deters
2010-10-07NodeSelfIterator implementation and unit test (resolves bug #204); also fix P...Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan Deters
2010-09-27- This update adds DynamicArray<T>. This is a bare bones heap allocated arra...Tim King
2010-09-02* add TimerStat statistic typeMorgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
2010-08-16Fixing failures in minisatDejan Jovanović
2010-07-07Shared term manager tested and workingClark Barrett
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-07-02* Added white-box TheoryEngine test that tests the rewriterMorgan Deters
2010-06-29Merging the unate-propagator branch into the trunk. This is a big update so ...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback