| 2010-02-08 |
Dejan Jovanović | Fixing the test case, it had a unary or. The cnf conver... |
commit | commitdiff | tree |
| 2010-02-08 |
Dejan Jovanović | Push/Pop parsing and commands |
commit | commitdiff | tree |
| 2010-02-08 |
Dejan Jovanović | Moving the template stuff back into the header in order... |
commit | commitdiff | tree |
| 2010-02-07 |
Christopher... | Documenting type.h/cpp |
commit | commitdiff | tree |
| 2010-02-06 |
Morgan Deters | force sorting of AC_CONFIG_FILES, otherwise different... |
commit | commitdiff | tree |
| 2010-02-06 |
Christopher... | Preliminary support for types in parser |
commit | commitdiff | tree |
| 2010-02-05 |
Morgan Deters | final fixes to addsourcedir source-directory-Makefile... |
commit | commitdiff | tree |
| 2010-02-05 |
Morgan Deters | auto-generated list of AC_CONFIG_FILES so that you... |
commit | commitdiff | tree |
| 2010-02-05 |
Morgan Deters | automatic generator script for sourcedir Makefiles... |
commit | commitdiff | tree |
| 2010-02-05 |
Morgan Deters | remove the last vestiges of support for "make build... |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | minor interface changes to TheoryEngine/Theory after... |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | fix run_regression script |
commit | commitdiff | tree |
| 2010-02-04 |
Dejan Jovanović | beautification of the prop engine |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | assign expected-status to regressions |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | build system for multi-level regressions |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | remove warnings from use of __gnu_cxx::hash_map<>;... |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
commit | commitdiff | tree |
| 2010-02-04 |
Tim King | Changed mapping from atoms to literals in the prop... |
commit | commitdiff | tree |
| 2010-02-04 |
Tim King | Moved regressions into various levels based on running... |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | test infrastructure updated for multiple-level regressions |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | minor cleanup; give the main driver a different exit... |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | src/expr/kind.h is now automatically generated. |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | added bool and arith theory makefiles to AC_CONFIG_FILE... |
commit | commitdiff | tree |
| 2010-02-04 |
Morgan Deters | Added theory output channel interfaces and "Interrupted... |
commit | commitdiff | tree |
| 2010-02-04 |
Tim King | Fixes to the cnf converter. Also a barebones utility... |
commit | commitdiff | tree |
| 2010-02-03 |
Christopher... | Adding extra test to parser |
commit | commitdiff | tree |
| 2010-02-03 |
Dejan Jovanović | adding an option to minisat to not do any debug checks... |
commit | commitdiff | tree |
| 2010-02-03 |
Christopher... | Fixing bad commit |
commit | commitdiff | tree |
| 2010-02-03 |
Christopher... | Adding functions/predicates to SMT grammar |
commit | commitdiff | tree |
| 2010-02-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system... |
commit | commitdiff | tree |
| 2010-02-03 |
Dejan Jovanović | ELSEIF support and parser debugging with '-d parser' |
commit | commitdiff | tree |
| 2010-02-03 |
Dejan Jovanović | simple ITE parsing |
commit | commitdiff | tree |
| 2010-02-03 |
Tim King | By popular demand, I also added a printAst to Expr. |
commit | commitdiff | tree |
| 2010-02-03 |
Tim King | I hacked in a temporary way to restart minisat for... |
commit | commitdiff | tree |
| 2010-02-03 |
Tim King | Within node I added printAst(..) for general purpose... |
commit | commitdiff | tree |
| 2010-02-03 |
Tim King | Enabled more regress tests. Takes 26s on my machine... |
commit | commitdiff | tree |
| 2010-02-03 |
Dejan Jovanović | context_mm testing |
commit | commitdiff | tree |
| 2010-02-03 |
Dejan Jovanović | some more tests for the context. |
commit | commitdiff | tree |
| 2010-02-02 |
Dejan Jovanović | (no commit message) |
commit | commitdiff | tree |
| 2010-02-02 |
Clark Barrett | Fixed bug in context code |
commit | commitdiff | tree |
| 2010-02-02 |
Dejan Jovanović | for tim |
commit | commitdiff | tree |
| 2010-02-02 |
Dejan Jovanović | beginings of test for CDO. one fail |
commit | commitdiff | tree |
| 2010-02-02 |
Dejan Jovanović | Rethrow rewrite in antlr_parser. Taking LT(0) to locate... |
commit | commitdiff | tree |
| 2010-02-02 |
Tim King | Switched cnf conversion to go through CnfStream. |
commit | commitdiff | tree |
| 2010-02-02 |
Christopher... | Minor changes to parser |
commit | commitdiff | tree |
| 2010-02-02 |
Dejan Jovanović | Adding support for escapes in string literals (strings... |
commit | commitdiff | tree |
| 2010-02-02 |
Clark Barrett | Fixed compile errors |
commit | commitdiff | tree |
| 2010-02-02 |
Clark Barrett | Updates to context: |
commit | commitdiff | tree |
| 2010-02-01 |
Dejan Jovanović | Fixing the CVC grammar for parsing Boolean expressions... |
commit | commitdiff | tree |
| 2010-02-01 |
Morgan Deters | fix node manager code (bugzilla #15, comment #2) in... |
commit | commitdiff | tree |
| 2010-02-01 |
Tim King | Added this test back to avoid make check problems. |
commit | commitdiff | tree |
| 2010-01-30 |
Morgan Deters | cnf conversion (variable-introducing), cleanups, fixes... |
commit | commitdiff | tree |
| 2010-01-30 |
Tim King | Checking in small test fixes for node_black |
commit | commitdiff | tree |
| 2010-01-29 |
Dejan Jovanović | fixing the last context build problem, it compiles now |
commit | commitdiff | tree |
| 2010-01-29 |
Clark Barrett | one more bug |
commit | commitdiff | tree |
| 2010-01-29 |
Clark Barrett | Fixed compile errors |
commit | commitdiff | tree |
| 2010-01-29 |
Christopher... | Adding Makefile.in to svn:ignore |
commit | commitdiff | tree |
| 2010-01-29 |
Christopher... | Adding Makefile.in to svn:ignore |
commit | commitdiff | tree |
| 2010-01-29 |
Christopher... | Fixing boolean operator precedences |
commit | commitdiff | tree |
| 2010-01-29 |
Clark Barrett | Update of context module |
commit | commitdiff | tree |
| 2010-01-29 |
Morgan Deters | fixed CNF conversion, and more modular; CNF conversion... |
commit | commitdiff | tree |
| 2010-01-28 |
Christopher... | Removing Makefile.in's |
commit | commitdiff | tree |
| 2010-01-28 |
Christopher... | Replacing hand-coded autogen.sh with buildconf version |
commit | commitdiff | tree |
| 2010-01-27 |
Morgan Deters | support "make check" in src/ subdirs for unit-testing... |
commit | commitdiff | tree |
| 2010-01-27 |
Morgan Deters | test framework fixes; bug 13 closed |
commit | commitdiff | tree |
| 2010-01-27 |
Tim King | Added additional tests to node_black.h. CVC4 currently... |
commit | commitdiff | tree |
| 2010-01-26 |
Tim King | Undoing stupid commit mistake. Rolling back to -r... |
commit | commitdiff | tree |
| 2010-01-26 |
Tim King | Added test/regress/boolean.cvc |
commit | commitdiff | tree |
| 2010-01-26 |
Morgan Deters | cnf conversion |
commit | commitdiff | tree |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
commit | commitdiff | tree |
| 2010-01-25 |
Morgan Deters | minor fixes to scoped-context node manager |
commit | commitdiff | tree |
| 2010-01-25 |
Morgan Deters | scoped node managers |
commit | commitdiff | tree |
| 2010-01-23 |
Tim King | Added pure PL regression tests. Mostly CNF |
commit | commitdiff | tree |
| 2010-01-22 |
Tim King | Added regression test |
commit | commitdiff | tree |
| 2010-01-19 |
Morgan Deters | minor changes to Theory |
commit | commitdiff | tree |
| 2010-01-05 |
Christopher... | Changes to configure.ac from code review |
commit | commitdiff | tree |
| 2009-12-18 |
Dejan Jovanović | More fixes fot the parser tests. |
commit | commitdiff | tree |
| 2009-12-18 |
Dejan Jovanović | Changing some deatils on the parser. Now we know we... |
commit | commitdiff | tree |
| 2009-12-18 |
Dejan Jovanović | More fixes |
commit | commitdiff | tree |
| 2009-12-18 |
Morgan Deters | numerous fixes to nodes; more coming |
commit | commitdiff | tree |
| 2009-12-18 |
Christopher... | Updated parser tests, which are all kinds of FAIL |
commit | commitdiff | tree |
| 2009-12-18 |
Dejan Jovanović | Changes to the parser tests to make them compile. |
commit | commitdiff | tree |
| 2009-12-18 |
Morgan Deters | more build system fix-ups |
commit | commitdiff | tree |
| 2009-12-18 |
Dejan Jovanović | Lots of parser changes to make Chris happy. Yet more... |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | more build system fix-ups |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
commit | commitdiff | tree |
| 2009-12-17 |
Christopher... | Adding more parser tests |
commit | commitdiff | tree |
| 2009-12-17 |
Christopher... | Adding more parser tests |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | coding standard fix on SmtEngine; fix recursive make |
commit | commitdiff | tree |
| 2009-12-17 |
Christopher... | CvcParserBlack and supporting Makefile changes |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | + test infrastructure fixes |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | add system regression testing infrastructure |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | fix typos in Makefile.am for unit testing |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | addressed some concerns raised by Clark in bug #6 ... |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | making config/mkbuilddir executable |
commit | commitdiff | tree |
| 2009-12-17 |
Clark Barrett | Minor changes from code review |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | build system cleanup; test system separation into white... |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | testing infrastructure fixes |
commit | commitdiff | tree |
| 2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog