| 2012-03-09 |
Morgan Deters | Some work on the dump infrastructure to support portfol... |
blob | commitdiff | raw |
| 2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
| 2012-02-21 |
Morgan Deters | don't require libboost_thread (its presence is detected... |
blob | commitdiff | raw | diff to current |
| 2012-02-20 |
Morgan Deters | fix "make dist" |
blob | commitdiff | raw | diff to current |
| 2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
| 2011-10-29 |
Morgan Deters | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF... |
blob | commitdiff | raw | diff to current |
| 2011-09-29 |
Morgan Deters | build system fixes |
blob | commitdiff | raw | diff to current |
| 2011-09-28 |
Morgan Deters | fixes for make dist ; make install |
blob | commitdiff | raw | diff to current |
| 2011-09-28 |
Morgan Deters | better fix for #281, also fix issue with command line... |
blob | commitdiff | raw | diff to current |
| 2011-09-28 |
Morgan Deters | Regular expressions in shell scripts on MacOS are incon... |
blob | commitdiff | raw | diff to current |
| 2011-09-21 |
Morgan Deters | Java binding now working. Some interface types still... |
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-17 |
Morgan Deters | --show-debug-tags and --show-trace-tags now supported... |
blob | commitdiff | raw | diff to current |
| 2011-09-15 |
Dejan Jovanović | adding --show-debug-tags to list all available debug... |
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-09-02 |
Morgan Deters | Partial merge of integers work; this is simple B&B... |
blob | commitdiff | raw | diff to current |
| 2011-08-24 |
Dejan Jovanović | Simplification of the preregister and register throught... |
blob | commitdiff | raw | diff to current |
| 2011-07-05 |
Dejan Jovanović | updated preprocessing and rewriting input equalities... |
blob | commitdiff | raw | diff to current |
| 2011-06-03 |
Morgan Deters | datatypes work |
blob | commitdiff | raw | diff to current |
| 2011-05-23 |
Morgan Deters | Merge from arrays2 branch. |
blob | commitdiff | raw | diff to current |
| 2011-05-14 |
Morgan Deters | add AscriptionType stuff to support nullary parameteriz... |
blob | commitdiff | raw | diff to current |
| 2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
blob | commitdiff | raw | diff to current |
| 2011-04-25 |
Morgan Deters | Monday tasks: |
blob | commitdiff | raw | diff to current |
| 2011-04-25 |
Morgan Deters | Weekend work. The main points: |
blob | commitdiff | raw | diff to current |
| 2011-04-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation... |
blob | commitdiff | raw | diff to current |
| 2011-04-18 |
Tim King | This commit merges the branch arithmetic/propagation... |
blob | commitdiff | raw | diff to current |
| 2011-04-18 |
Morgan Deters | Partial merge from datatypes-merge branch: |
blob | commitdiff | raw | diff to current |
| 2011-04-12 |
Morgan Deters | another small fix to "make dist" that can lead to a... |
blob | commitdiff | raw | diff to current |
| 2011-04-08 |
Clark Barrett | Added util class |
blob | commitdiff | raw | diff to current |
| 2011-03-15 |
Morgan Deters | Merge from cudd branch. This mostly just adds support... |
blob | commitdiff | raw | diff to current |
| 2011-03-03 |
Morgan Deters | resurrecting triple.h from r1023 (after which it was... |
blob | commitdiff | raw | diff to current |
| 2010-11-09 |
Dejan Jovanović | Lemmas on demand work, push-pop, some cleanup. |
blob | commitdiff | raw | diff to current |
| 2010-10-22 |
Morgan Deters | removing unused functionality from util; related to... |
blob | commitdiff | raw | diff to current |
| 2010-10-22 |
Christopher L. Conway | Merging main/getopt.cpp, main/usage.h, and smt/options... |
blob | commitdiff | raw | diff to current |
| 2010-10-10 |
Morgan Deters | additional model gen and SMT-LIBv2 compliance work... |
blob | commitdiff | raw | diff to current |
| 2010-10-08 |
Morgan Deters | * (define-fun...) now has proper type checking in non... |
blob | commitdiff | raw | diff to current |
| 2010-09-27 |
ACSYS | add workaround for systems (i.e., Mac OS X) that don... |
blob | commitdiff | raw | diff to current |
| 2010-09-27 |
Tim King | - This update adds DynamicArray<T>. This is a bare... |
blob | commitdiff | raw | diff to current |
| 2010-07-29 |
Christopher L. Conway | Adding configuration_private.h to allow inlining of... |
blob | commitdiff | raw | diff to current |
| 2010-07-04 |
Morgan Deters | make dist && make distcheck functional, other fixes |
blob | commitdiff | raw | diff to current |
| 2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
blob | commitdiff | raw | diff to current |
| 2010-07-02 |
Tim King | Merges the cln-test branch into the main branch. |
blob | commitdiff | raw | diff to current |
| 2010-06-30 |
Morgan Deters | checking in CC module interface for reference. |
blob | commitdiff | raw | diff to current |
| 2010-06-30 |
Morgan Deters | * theory "tree" rewriting implemented and works |
blob | commitdiff | raw | diff to current |
| 2010-06-18 |
Tim King | Merging the statistics branch into the main trunk.... |
blob | commitdiff | raw | diff to current |
| 2010-06-15 |
Morgan Deters | fix last commit gcc options (-wunknown-pragmas ==>... |
blob | commitdiff | raw | diff to current |
| 2010-06-15 |
Morgan Deters | remove warnings about unknown #pragma GCC diagnostic... |
blob | commitdiff | raw | diff to current |
| 2010-05-12 |
Christopher L. Conway | Adding class Smt2 to handle declaration of logic and... |
blob | commitdiff | raw | diff to current |
| 2010-05-04 |
Christopher L. Conway | Adding general support for SMT2 set-info command |
blob | commitdiff | raw | diff to current |
| 2010-04-14 |
Dejan Jovanović | Marging from types 404:415, changes: Massive |
blob | commitdiff | raw | diff to current |
| 2010-04-04 |
Morgan Deters | * Node::isAtomic() now looks at an "atomic" attribute... |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
| 2010-03-26 |
Tim King | Added GMP backed Rational and Integer classes, and... |
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-04 |
Morgan Deters | minor interface changes to TheoryEngine/Theory after... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | src/expr/kind.h is now automatically generated. |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
blob | commitdiff | raw | diff to current |
| 2009-12-09 |
Morgan Deters | some fixes and organizational adjustments to assert... |
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-11-25 |
Morgan Deters | additional work on parser hookup, configuration + build |
blob | commitdiff | raw | diff to current |
| 2009-11-23 |
Morgan Deters | fixups, file comments |
blob | commitdiff | raw | diff to current |
| 2009-11-20 |
Morgan Deters | fixes to build/test system |
blob | commitdiff | raw | diff to current |
| 2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
blob | commitdiff | raw | diff to current |
| 2009-11-17 |
Morgan Deters | ignored items |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history