summaryrefslogtreecommitdiff
path: root/test/unit/Makefile.am
AgeCommit message (Expand)Author
2018-08-10Do not use static initialization in CxxTest runner (#2293)Andres Noetzli
2018-08-08 Proposal for adding map utility functions to CVC4. (#2232)Tim King
2018-07-04Remove unused CDVector (#2139)Andres Noetzli
2018-06-26sygusComp2018: Add evaluator (#2090)Andres Noetzli
2018-04-10Refactored BVGauss preprocessing pass. (#1766)Aina Niemetz
2018-03-26Rewrites for substr of strings of length one (#1712)Andres Noetzli
2018-03-08Fix Travis for unit test compilation errors. (#1651)Mathias Preiner
2018-02-07Adds a new CHECK macro that abort()s on failure. (#1532)Tim King
2017-12-08Add CEGQI BV linearization of additions and equalities over additions. (#1417)Mathias Preiner
2017-12-08Fixed side conditions for CBQI BV, added unit tests. (#1434)Aina Niemetz
2017-12-06Remove CDChunkList (#1414)Andres Noetzli
2017-11-30Add Gaussian Elimination as a preprocessing pass for BV. (#1342)Aina Niemetz
2017-07-26Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest headers in configure.a...Mathias Preiner
2017-07-12Fix unit tests for subranges. Fix destructors for context objs in unit tests.ajreynol
2017-07-07Remove unused stacking_vector class (#185)Andres Noetzli
2016-11-17Fix Makefiles in testAndres Notzli
2016-01-08Adding a new Listener utility class. Changing the ResourceManager to use List...Tim King
2016-01-05Removing dead code. StackingMap only appeared in unit tests.Tim King
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback