| 2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw |
| 2011-10-05 |
Morgan Deters | minor visibility fixes |
blob | commitdiff | raw | diff to current |
| 2011-09-20 |
Morgan Deters | Merge from "swig" branch: language binding for Java... |
blob | commitdiff | raw | diff to current |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
| 2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
blob | commitdiff | raw | diff to current |
| 2011-05-04 |
Morgan Deters | Stronger support for zero-performance-penalty output... |
blob | commitdiff | raw | diff to current |
| 2011-05-03 |
Morgan Deters | output fixes for performance |
blob | commitdiff | raw | diff to current |
| 2011-04-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation... |
blob | commitdiff | raw | diff to current |
| 2011-03-30 |
Dejan Jovanović | adding CVC4:: qualifier to the #define for debugging... |
blob | commitdiff | raw | diff to current |
| 2011-03-30 |
Morgan Deters | Add Valuation::getSatValue() so that theories can acces... |
blob | commitdiff | raw | diff to current |
| 2011-03-17 |
Tim King | Fix for the bug introduced in 1477. The stuff that... |
blob | commitdiff | raw | diff to current |
| 2011-03-17 |
Dejan Jovanović | push and pop manipulators for output stream so that... |
blob | commitdiff | raw | diff to current |
| 2010-10-03 |
Morgan Deters | file header documentation regenerated with contributors... |
blob | commitdiff | raw | diff to current |
| 2010-07-06 |
Morgan Deters | Fixes for doubled-statistics (bug 171), a fix to muzzle... |
blob | commitdiff | raw | diff to current |
| 2010-07-04 |
Morgan Deters | Considerably simplified the way output streams are... |
blob | commitdiff | raw | diff to current |
| 2010-07-04 |
Morgan Deters | fix to production build |
blob | commitdiff | raw | diff to current |
| 2010-07-04 |
Morgan Deters | With "-d extra-checking", rewrites are now checked... |
blob | commitdiff | raw | diff to current |
| 2010-06-29 |
Morgan Deters | add --default-expr-depth=N command line parameter,... |
blob | commitdiff | raw | diff to current |
| 2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
| 2010-05-04 |
Christopher L. Conway | Disabling semantic checks in competition mode. |
blob | commitdiff | raw | diff to current |
| 2010-04-09 |
Morgan Deters | added experimental "make lcov" target (it runs only... |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
| 2010-03-16 |
Morgan Deters | * test/unit/Makefile.am, test/unit/expr/attribute_white.h, |
blob | commitdiff | raw | diff to current |
| 2010-03-15 |
Morgan Deters | This checkin resolves bug #57. |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefi... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | fix bug 22 (remove tracing from non-trace builds; remov... |
blob | commitdiff | raw | diff to current |
| 2010-02-19 |
Morgan Deters | specialized implementation for boolean node attributes... |
blob | commitdiff | raw | diff to current |
| 2010-02-12 |
Dejan Jovanović | Fix to compile out Debug(...) << ... statements in... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
blob | commitdiff | raw | diff to current |
| 2010-02-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system... |
blob | commitdiff | raw | diff to current |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | + test infrastructure fixes |
blob | commitdiff | raw | diff to current |
| 2009-12-08 |
Morgan Deters | work on propositional layer, expression builder support... |
blob | commitdiff | raw | diff to current |
| 2009-12-03 |
Morgan Deters | parsing/expr/command/result/various other fixes |
blob | commitdiff | raw | diff to current |
| 2009-11-24 |
Morgan Deters | configure option adjustments as per 11/24 meeting;... |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history