| 2010-02-22 |
Cesare Tinelli | * Add virtual destructors to CnfStream, Theory, OutputC... |
tree | commitdiff |
| 2010-02-17 |
Tim King | Initial draft of TheoryUF. Should compile without probl... |
tree | commitdiff |
| 2010-02-10 |
Morgan Deters | note on setup(); for discussion at 2010.02.11 meeting |
tree | commitdiff |
| 2010-02-04 |
Morgan Deters | minor interface changes to TheoryEngine/Theory after... |
tree | commitdiff |
| 2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
tree | commitdiff |
| 2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
tree | commitdiff |
| 2010-02-04 |
Morgan Deters | Added theory output channel interfaces and "Interrupted... |
tree | commitdiff |
| 2010-01-29 |
Morgan Deters | fixed CNF conversion, and more modular; CNF conversion... |
tree | commitdiff |
| 2010-01-28 |
Christopher L. Conway | Removing Makefile.in's |
tree | commitdiff |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
tree | commitdiff |
| 2010-01-19 |
Morgan Deters | minor changes to Theory |
tree | commitdiff |
| 2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
tree | commitdiff |
| 2009-12-17 |
Morgan Deters | build system cleanup; test system separation into white... |
tree | commitdiff |
| 2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
tree | commitdiff |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
tree | commitdiff |
| 2009-12-11 |
Morgan Deters | build fixes, configuration simplifications |
tree | commitdiff |
| 2009-12-10 |
Dejan Jovanović | killing expr into node... |
tree | commitdiff |
| 2009-12-10 |
Morgan Deters | cleanups, assert work, add a stubbed uf theory, fix... |
tree | commitdiff |
| 2009-12-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files... |
tree | commitdiff |
| 2009-12-08 |
Morgan Deters | work on propositional layer, expression builder support... |
tree | commitdiff |
| 2009-11-24 |
Morgan Deters | configure option adjustments as per 11/24 meeting;... |
tree | commitdiff |
| 2009-11-23 |
Morgan Deters | fixups, file comments |
tree | commitdiff |
| 2009-11-20 |
Morgan Deters | fixes to build/test system |
tree | commitdiff |
| 2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
tree | commitdiff |
| 2009-11-17 |
Morgan Deters | ignored items |
tree | commitdiff |
| 2009-11-17 |
Morgan Deters | from meeting |
tree | commitdiff |
|
projects / cvc5.git / history