summaryrefslogtreecommitdiff
path: root/test/regress
AgeCommit message (Expand)Author
2010-02-04test infrastructure updated for multiple-level regressionsMorgan Deters
2010-02-03Adding functions/predicates to SMT grammarChristopher L. Conway
2010-02-03simple ITE parsingDejan Jovanović
2010-02-03Enabled more regress tests. Takes 26s on my machine to run a make -k check in...Tim King
2010-02-03some more tests for the context.Dejan Jovanović
2010-02-01Added this test back to avoid make check problems.Tim King
2010-01-29fixed CNF conversion, and more modular; CNF conversion command line option; v...Morgan Deters
2010-01-28Removing Makefile.in'sChristopher L. Conway
2010-01-27support "make check" in src/ subdirs for unit-testing of just that module; al...Morgan Deters
2010-01-27test framework fixes; bug 13 closedMorgan Deters
2010-01-26Added test/regress/boolean.cvcTim King
2010-01-26fixes to build structure, util classes, lots of fixes to Node and NodeBuilder...Morgan Deters
2010-01-23Added pure PL regression tests. Mostly CNFTim King
2010-01-22Added regression testTim King
2009-12-17build system cleanup; test system separation into white-box, black-box, and p...Morgan Deters
2009-12-17support nonstandard, unconfigured builds (e.g., "./configure debug" followed ...Morgan Deters
2009-12-16Fixes to the build system:Morgan Deters
2009-12-11build fixes, configuration simplificationsMorgan Deters
2009-12-08check in automake/libtool/autoconf-generated files; add better file not found...Morgan Deters
2009-12-08broken formulaMorgan Deters
2009-12-07fixing a few broken build-related items, adding test casesMorgan Deters
2009-11-20fixes to build/test systemMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback