Age | Commit message (Expand) | Author |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-03-30 | Removing unnecessary .gitignores | Christopher L. Conway |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
2010-03-12 | Fixing unnecessary construction of NOT nodes when generating conflict clause... | Dejan Jovanović |
2010-03-11 | Changing const TNode& to TNode in the CNF conversion + a new small benchmark ... | Dejan Jovanović |
2010-03-11 | Added some hand generated UF tests. Unfortunartely all of them work. Also fix... | Tim King |
2010-03-11 | Fix for the main bug that was bugging me -- Bug 49. The assertions queue in t... | Dejan Jovanović |
2010-03-10 | Adding preliminary let/flet support to SMT parser (Bug #51) | Christopher L. Conway |
2010-03-09 | Adding support for "distinct" builtin in SMT parser | Christopher L. Conway |
2010-03-09 | Adding the smallest of test cases from the smtlib. | Dejan Jovanović |
2010-03-09 | removing makefile.in | Dejan Jovanović |
2010-03-09 | one more simple test for uf | Dejan Jovanović |
2010-03-09 | (no commit message) | Dejan Jovanović |
2010-03-08 | adding simple-uf to the regressions, and the code that apparently solves it | Dejan Jovanović |
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 |