Age | Commit message (Expand) | Author |
2010-02-22 | resolve bug 32; public-facing interface functions in expr package must set cu... | Morgan Deters |
2010-02-11 | Adding precedence regressions | Christopher L. Conway |
2010-02-09 | Changes to the CNF conversion and the SAT solver. All regression pass now, an... | Dejan Jovanović |
2010-02-08 | Fixing the test case, it had a unary or. The cnf converter should be adapted ... | Dejan Jovanović |
2010-02-06 | Preliminary support for types in parser | Christopher L. Conway |
2010-02-04 | fix run_regression script | Morgan Deters |
2010-02-04 | assign expected-status to regressions | Morgan Deters |
2010-02-04 | build system for multi-level regressions | Morgan Deters |
2010-02-04 | Moved regressions into various levels based on running time. | Tim King |
2010-02-04 | test infrastructure updated for multiple-level regressions | Morgan Deters |
2010-02-03 | Adding functions/predicates to SMT grammar | Christopher L. Conway |
2010-02-03 | simple ITE parsing | Dejan Jovanović |
2010-02-03 | Enabled more regress tests. Takes 26s on my machine to run a make -k check in... | Tim King |
2010-02-03 | some more tests for the context. | Dejan Jovanović |
2010-02-01 | Added this test back to avoid make check problems. | Tim King |
2010-01-29 | fixed CNF conversion, and more modular; CNF conversion command line option; v... | Morgan Deters |
2010-01-28 | Removing Makefile.in's | Christopher L. Conway |
2010-01-27 | support "make check" in src/ subdirs for unit-testing of just that module; al... | Morgan Deters |
2010-01-27 | test framework fixes; bug 13 closed | Morgan Deters |
2010-01-26 | Added test/regress/boolean.cvc | Tim King |
2010-01-26 | fixes to build structure, util classes, lots of fixes to Node and NodeBuilder... | Morgan Deters |
2010-01-23 | Added pure PL regression tests. Mostly CNF | Tim King |
2010-01-22 | Added regression test | Tim King |
2009-12-17 | build system cleanup; test system separation into white-box, black-box, and p... | Morgan Deters |
2009-12-17 | support nonstandard, unconfigured builds (e.g., "./configure debug" followed ... | Morgan Deters |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-11 | build fixes, configuration simplifications | Morgan Deters |
2009-12-08 | check in automake/libtool/autoconf-generated files; add better file not found... | Morgan Deters |
2009-12-08 | broken formula | Morgan Deters |
2009-12-07 | fixing a few broken build-related items, adding test cases | Morgan Deters |
2009-11-20 | fixes to build/test system | Morgan Deters |