| Age | Commit message (Expand) | Author |
|---|
| 2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
| 2013-09-11 | Theory of strings. | Tianyi Liang |
| 2013-06-06 | IDL example theory (to be used with --use-theory=idl). | Dejan Jovanović |
| 2013-05-02 | * splitLemma to request atoms | Dejan Jovanović |
| 2013-04-30 | add decision_attributes.h for make dist | Kshitij Bansal |
| 2013-03-26 | moving bv before arrays | Dejan Jovanović |
| 2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
| 2012-12-01 | remove instantiator framework | Morgan Deters |
| 2012-11-17 | * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT... | Morgan Deters |
| 2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
| 2012-07-31 | Moving some instantiation-related stuff from src/theory to src/theory/quantif... | Morgan Deters |
| 2012-07-31 | Options merge. This commit: | Morgan Deters |
| 2012-07-27 | merging fmf-devel branch, includes refactored datatype theory, updates to mod... | Andrew Reynolds |
| 2012-07-27 | Merge quantifiers2-trunk: | François Bobot |
| 2012-07-14 | Type enumerator infrastructure and uninterpreted constant support. No suppor... | Morgan Deters |
| 2012-07-12 | merged fmf-devel branch, includes support for SMT2 command get-value and (ext... | Andrew Reynolds |
| 2012-06-16 | changing theoryOf in shared mode with arrays to move equalities to arrays | Dejan Jovanović |
| 2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
| 2012-06-04 | Added preprocessing pass that propagates unconstrained values - solves all of | Clark Barrett |
| 2012-05-30 | remove unused/broken check build target | Morgan Deters |
| 2012-05-11 | Added some ITE rewrites, | Clark Barrett |
| 2012-04-28 | New LogicInfo functionality. | Morgan Deters |
| 2012-02-25 | Refactored CnfStream to work with the bv theory Bitblaster: | Liana Hadarean |
| 2011-09-16 | include example theory (former "UF-Tim") that's included in the dist but not ... | Morgan Deters |
| 2011-09-15 | additional stuff for sharing, | Dejan Jovanović |
| 2011-07-05 | updated preprocessing and rewriting input equalities into inequalities for LRA | Dejan Jovanović |
| 2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
| 2011-04-25 | Weekend work. The main points: | Morgan Deters |
| 2011-04-18 | Partial merge from datatypes-merge branch: | Morgan Deters |
| 2011-04-04 | Merging the satliteral-before-prereg branch into trunk. Theory preregistratio... | Tim King |
| 2011-02-28 | Review of mktheorytraits, mkrewriter, and recent changes to other mk* scripts... | Morgan Deters |
| 2011-02-26 | Merge from theory-break-dependences branch to break Theory and TheoryEngine d... | Morgan Deters |
| 2011-01-05 | fix for build errors | Dejan Jovanović |
| 2011-01-05 | Commit for the theory engine and rewriter changes. Changes are substantial an... | Dejan Jovanović |
| 2010-11-15 | fix some things with the build system (make dist, make install, make check) | Morgan Deters |
| 2010-07-07 | Added shared term manager. Basic mechanism for identifying shared terms is | Clark Barrett |
| 2010-07-04 | make dist && make distcheck functional, other fixes | Morgan Deters |
| 2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
| 2010-06-30 | * theory "tree" rewriting implemented and works | Morgan Deters |
| 2010-06-29 | Merging the unate-propagator branch into the trunk. This is a big update so ... | Tim King |
| 2010-06-15 | fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas) | Morgan Deters |
| 2010-06-15 | remove warnings about unknown #pragma GCC diagnostic on older compilers | Morgan Deters |
| 2010-05-03 | theory detection fixes; fixes build breakage when you delete build directories | Morgan Deters |
| 2010-04-14 | * Better dependency tracking for unit test building and linking, and | Morgan Deters |
| 2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
| 2010-04-01 | PARSER STUFF: | Morgan Deters |
| 2010-03-30 | Highlights of this commit are: | Morgan Deters |
| 2010-03-15 | This checkin resolves bug #57. | Morgan Deters |
| 2010-03-12 | * src/context/cdmap.h: rename orderedIterator to iterator, do away | Morgan Deters |
| 2010-02-26 | * test/unit/context/context_black.h: Test CDList<>. In particular, | Morgan Deters |
