Age | Commit message (Expand) | Author |
2011-09-29 | Some base infrastructure for user push/pop; a few bugfixes to user push/pop a... | Morgan Deters |
2011-09-29 | some test fixes | Morgan Deters |
2011-09-21 | Java binding now working. Some interface types still need some work (e.g. it... | Morgan Deters |
2011-09-21 | considerable bindings interface work, some improvements to build | Morgan Deters |
2011-09-16 | some minor fixes to the cvc3 compatibility library and test case | Morgan Deters |
2011-09-15 | additional stuff for sharing, | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-09-02 | Partial merge of integers work; this is simple B&B and some pseudoboolean | Morgan Deters |
2011-08-25 | Fixing the broken unit tests | Dejan Jovanović |
2011-08-17 | new implementation of lemmas on demand | Dejan Jovanović |
2011-07-12 | forgot to reflect naming change in makefile. fixed | Morgan Deters |
2011-07-12 | fix bug 272, array unsoundness, and some array cleanup | Morgan Deters |
2011-07-11 | remove some array regressions from "make check" so nightly regressions run | Morgan Deters |
2011-07-11 | status of examples | Morgan Deters |
2011-07-11 | new array bugs ? | Morgan Deters |
2011-07-11 | mark the new minimized benchmark as unsat | Morgan Deters |
2011-07-11 | if running in QF_AX, equalities over terms of uninterpreted sort go to arrays... | Morgan Deters |
2011-07-11 | minimized example | Morgan Deters |
2011-07-11 | array benchmarks | Morgan Deters |
2011-07-11 | merge from symmetry branch | Morgan Deters |
2011-07-09 | minor fixups | Morgan Deters |
2011-07-09 | surprize surprize | Dejan Jovanović |
2011-07-05 | missing test case | Dejan Jovanović |
2011-07-05 | updated preprocessing and rewriting input equalities into inequalities for LRA | Dejan Jovanović |
2011-06-30 | only use theory registration if (1) a theory requests it, or (2) if there's m... | Morgan Deters |
2011-06-30 | some things I had laying around in a directory but never got committed; minor... | Morgan Deters |
2011-06-02 | minor fix to build system for system tests | Morgan Deters |
2011-06-02 | added (temporary) support for ensuring that all ambiguously typed constructor... | Andrew Reynolds |
2011-05-31 | This commit contains the code for allowing arbitrary equalities in the theory... | Tim King |
2011-05-23 | fixes for "make dist" and "make doc", minor cleanups | Morgan Deters |
2011-05-23 | Merge from arrays2 branch. | Morgan Deters |
2011-05-13 | * fix for Mac OS (includes some ThreadLocal stuff copied in from portfolio | Morgan Deters |
2011-05-06 | added 10 benchmarks to regress/regress0/datatypes from paper | Andrew Reynolds |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-05-04 | Stronger support for zero-performance-penalty output, and fixes and | Morgan Deters |
2011-05-02 | adding some previously-failing "bug" test cases for bitvectors | Morgan Deters |
2011-05-02 | updating bv regressions | Dejan Jovanović |
2011-05-02 | more minor fixes related to last few commits | Morgan Deters |
2011-05-02 | fix broken build; sorry, all! | Morgan Deters |
2011-05-01 | minor fixes, plus experimental readline support in InteractiveShell | Morgan Deters |
2011-04-25 | Monday tasks: | Morgan Deters |
2011-04-25 | small unit test fix; was broken only in non-assertion, non-CLN builds | Morgan Deters |
2011-04-25 | Weekend work. The main points: | Morgan Deters |
2011-04-23 | fix for parser/tests for ANTLR 3.2 (it was working fine on 3.3) | Morgan Deters |
2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
2011-04-23 | make run_regression script robust to DOS newlines :( | Morgan Deters |
2011-04-20 | numerous bugfixes | Morgan Deters |
2011-04-20 | incorrect usage of C++ std::string caused a test to fail | Morgan Deters |
2011-04-20 | Minor mixed-bag commit. Expected performance impact negligible. | Morgan Deters |
2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |