| 2011-09-23 |
Morgan Deters | interface cleanup, java bindings work |
commit | commitdiff | tree |
| 2011-09-21 |
Morgan Deters | Java binding now working. Some interface types still... |
commit | commitdiff | tree |
| 2011-09-21 |
Morgan Deters | considerable bindings interface work, some improvements... |
commit | commitdiff | tree |
| 2011-09-20 |
Morgan Deters | fix build |
commit | commitdiff | tree |
| 2011-09-20 |
Morgan Deters | Merge from "swig" branch: language binding for Java... |
commit | commitdiff | tree |
| 2011-09-18 |
Morgan Deters | cleaned up the mechanism for library versioning |
commit | commitdiff | tree |
| 2011-09-17 |
Morgan Deters | --show-debug-tags and --show-trace-tags now supported... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | dump define-funs correctly with "--dump declarations... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | include example theory (former "UF-Tim") that's include... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | final(?) documentation fixes |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix up more documentation |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | some minor fixes to the cvc3 compatibility library... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | new, improved doxygen config file |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix serious issue with copyright-updating script |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix numerous documentation issues; doxygen complains... |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix an oversight in the language printers |
commit | commitdiff | tree |
| 2011-09-16 |
Morgan Deters | fix debian build without breaking anything (i hope) |
commit | commitdiff | tree |
| 2011-09-15 |
Dejan Jovanović | tim's fixes for context-dependent pre-registration |
commit | commitdiff | tree |
| 2011-09-15 |
Dejan Jovanović | adding --show-debug-tags to list all available debug... |
commit | commitdiff | tree |
| 2011-09-15 |
Dejan Jovanović | additional stuff for sharing, |
commit | commitdiff | tree |
| 2011-09-07 |
Dejan Jovanović | fixes for uf/equality engine from the quantifiers branc... |
commit | commitdiff | tree |
| 2011-09-03 |
Morgan Deters | this should fix the build; doxygen documentation now... |
commit | commitdiff | tree |
| 2011-09-03 |
Morgan Deters | Disable a warning to address bug 277. (This doesn... |
commit | commitdiff | tree |
| 2011-09-03 |
Dejan Jovanović | removing an assert i forgot to remove that andy found |
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Ensure that assignment gestures through CDMap iterators... |
commit | commitdiff | tree |
| 2011-09-02 |
Morgan Deters | Partial merge of integers work; this is simple B&B... |
commit | commitdiff | tree |
| 2011-09-02 |
Dejan Jovanović | * Changing pre-registration to be context dependent... |
commit | commitdiff | tree |
| 2011-08-30 |
Dejan Jovanović | Fixin the SAT solver for Andy. Even if a SAT lemma... |
commit | commitdiff | tree |
| 2011-08-27 |
Dejan Jovanović | Removing Theory::registerTerm() as discussed in the... |
commit | commitdiff | tree |
| 2011-08-25 |
Dejan Jovanović | Fixing the broken unit tests |
commit | commitdiff | tree |
| 2011-08-24 |
Dejan Jovanović | Simplification of the preregister and register throught... |
commit | commitdiff | tree |
| 2011-08-23 |
Dejan Jovanović | some uf cleanup |
commit | commitdiff | tree |
| 2011-08-17 |
Dejan Jovanović | new implementation of lemmas on demand |
commit | commitdiff | tree |
| 2011-07-12 |
Morgan Deters | forgot to reflect naming change in makefile. fixed |
commit | commitdiff | tree |
| 2011-07-12 |
Morgan Deters | fix bug 272, array unsoundness, and some array cleanup |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | remove some array regressions from "make check" so... |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | status of examples |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | new array bugs ? |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | fixing out of place typename (error on g++ 4.4.3-4ubuntu5) |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | submission script |
commit | commitdiff | tree |
| 2011-07-11 |
Clark Barrett | Adding static_fact_manager |
commit | commitdiff | tree |
| 2011-07-11 |
Clark Barrett | Clark's work on array theory - can now solve all QF_AX... |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | fix some confusing debug output (bogus counter) |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | mark the new minimized benchmark as unsat |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | if running in QF_AX, equalities over terms of uninterpr... |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | minimized example |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | array benchmarks |
commit | commitdiff | tree |
| 2011-07-11 |
Dejan Jovanović | adding disequality propagation |
commit | commitdiff | tree |
| 2011-07-11 |
Morgan Deters | merge from symmetry branch |
commit | commitdiff | tree |
| 2011-07-10 |
Clark Barrett | Reverting mistaken check-in |
commit | commitdiff | tree |
| 2011-07-10 |
Dejan Jovanović | changing the sat solver remove clauses constants |
commit | commitdiff | tree |
| 2011-07-10 |
Clark Barrett | Fixed bug in default solve - wasn't returning when... |
commit | commitdiff | tree |
| 2011-07-10 |
Dejan Jovanović | another typo |
commit | commitdiff | tree |
| 2011-07-10 |
Dejan Jovanović | yet another uf bug fix, hopefully the last |
commit | commitdiff | tree |
| 2011-07-10 |
Dejan Jovanović | another bugfix for uf |
commit | commitdiff | tree |
| 2011-07-09 |
Dejan Jovanović | some immediate bug fixes |
commit | commitdiff | tree |
| 2011-07-09 |
Morgan Deters | fix submission makefile |
commit | commitdiff | tree |
| 2011-07-09 |
Morgan Deters | minor fixups |
commit | commitdiff | tree |
| 2011-07-09 |
Dejan Jovanović | surprize surprize |
commit | commitdiff | tree |
| 2011-07-07 |
Dejan Jovanović | removing duplicate clauses in ite cnf conversion |
commit | commitdiff | tree |
| 2011-07-07 |
Morgan Deters | cudd-building prefs with --with-cudd / --without-cudd |
commit | commitdiff | tree |
| 2011-07-06 |
Dejan Jovanović | Fixing two bugs: |
commit | commitdiff | tree |
| 2011-07-05 |
Dejan Jovanović | missing test case |
commit | commitdiff | tree |
| 2011-07-05 |
Dejan Jovanović | updated preprocessing and rewriting input equalities... |
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | Allow (- x) for unary minus in SMT-LIBv1, in addition... |
commit | commitdiff | tree |
| 2011-06-30 |
Tim King | Changed the defaults for arithPivotThreshold and arithP... |
commit | commitdiff | tree |
| 2011-06-30 |
Tim King | Merging the playground branch upto r1957 into trunk. |
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | only use theory registration if (1) a theory requests... |
commit | commitdiff | tree |
| 2011-06-30 |
Morgan Deters | some things I had laying around in a directory but... |
commit | commitdiff | tree |
| 2011-06-29 |
Tim King | Fixed spelling mistake and documentation for --enable... |
commit | commitdiff | tree |
| 2011-06-18 |
Morgan Deters | Some fixes inspired by Fedora 15: |
commit | commitdiff | tree |
| 2011-06-06 |
Morgan Deters | compilation fix for x86 (from previous commit) |
commit | commitdiff | tree |
| 2011-06-06 |
Morgan Deters | Fix for Mac OS breakage (x86 didn't crash, but probably... |
commit | commitdiff | tree |
| 2011-06-03 |
Andrew Reynolds | fixed various bugs related to ambiguous parametric... |
commit | commitdiff | tree |
| 2011-06-03 |
Morgan Deters | datatypes work |
commit | commitdiff | tree |
| 2011-06-02 |
Morgan Deters | minor fix to build system for system tests |
commit | commitdiff | tree |
| 2011-06-02 |
Andrew Reynolds | added (temporary) support for ensuring that all ambiguo... |
commit | commitdiff | tree |
| 2011-06-01 |
Morgan Deters | minor fix, and better output for type errors |
commit | commitdiff | tree |
| 2011-06-01 |
Morgan Deters | type ascriptions (casts) for parameterized datatypes... |
commit | commitdiff | tree |
| 2011-05-31 |
Tim King | This commit contains the code for allowing arbitrary... |
commit | commitdiff | tree |
| 2011-05-28 |
Morgan Deters | fix unit test linking issue |
commit | commitdiff | tree |
| 2011-05-28 |
Morgan Deters | include subversion information used for each build... |
commit | commitdiff | tree |
| 2011-05-26 |
Morgan Deters | apply arithmetic static learner's miplibtrick in a... |
commit | commitdiff | tree |
| 2011-05-23 |
Morgan Deters | fixes for "make dist" and "make doc", minor cleanups |
commit | commitdiff | tree |
| 2011-05-23 |
Morgan Deters | Merge from arrays2 branch. |
commit | commitdiff | tree |
| 2011-05-14 |
Morgan Deters | fix production-build compiler warning |
commit | commitdiff | tree |
| 2011-05-14 |
Morgan Deters | re-add a removed Datatype constructor that was causing... |
commit | commitdiff | tree |
| 2011-05-14 |
Morgan Deters | reverting node manager change from 1881; also part... |
commit | commitdiff | tree |
| 2011-05-14 |
Morgan Deters | add AscriptionType stuff to support nullary parameteriz... |
commit | commitdiff | tree |
| 2011-05-13 |
Andrew Reynolds | added support for parametric datatypes, updated cvc... |
commit | commitdiff | tree |
| 2011-05-13 |
Morgan Deters | * fix for Mac OS (includes some ThreadLocal stuff copie... |
commit | commitdiff | tree |
| 2011-05-06 |
Tim King | Deleting dead code. |
commit | commitdiff | tree |
| 2011-05-06 |
Andrew Reynolds | added 10 benchmarks to regress/regress0/datatypes from... |
commit | commitdiff | tree |
| 2011-05-06 |
Andrew Reynolds | significant revisions/improvements to code for theory... |
commit | commitdiff | tree |
| 2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
commit | commitdiff | tree |
| 2011-05-05 |
Morgan Deters | luby sequence generator; can use to plot MiniSat's... |
commit | commitdiff | tree |
| 2011-05-04 |
Morgan Deters | Stronger support for zero-performance-penalty output... |
commit | commitdiff | tree |
| 2011-05-03 |
Morgan Deters | output fixes for performance |
commit | commitdiff | tree |
| 2011-05-02 |
Andrew Reynolds | minor updates to exp manager, fixed 32bit vs 64bit... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog