2012-07-31 |
Morgan Deters | Moving some instantiation-related stuff from src/theory... |
blob | commitdiff | raw |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-07-27 |
Andrew Reynolds | merging fmf-devel branch, includes refactored datatype... |
blob | commitdiff | raw | diff to current |
2012-07-27 |
François Bobot | Merge quantifiers2-trunk: |
blob | commitdiff | raw | diff to current |
2012-07-14 |
Morgan Deters | Type enumerator infrastructure and uninterpreted consta... |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Andrew Reynolds | merged fmf-devel branch, includes support for SMT2... |
blob | commitdiff | raw | diff to current |
2012-06-16 |
Dejan Jovanović | changing theoryOf in shared mode with arrays to move... |
blob | commitdiff | raw | diff to current |
2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
blob | commitdiff | raw | diff to current |
2012-06-04 |
Clark Barrett | Added preprocessing pass that propagates unconstrained... |
blob | commitdiff | raw | diff to current |
2012-05-30 |
Morgan Deters | remove unused/broken check build target |
blob | commitdiff | raw | diff to current |
2012-05-11 |
Clark Barrett | Added some ITE rewrites, |
blob | commitdiff | raw | diff to current |
2012-04-28 |
Morgan Deters | New LogicInfo functionality. |
blob | commitdiff | raw | diff to current |
2012-02-25 |
Liana Hadarean | Refactored CnfStream to work with the bv theory Bitblaster: |
blob | commitdiff | raw | diff to current |
2011-09-16 |
Morgan Deters | include example theory (former "UF-Tim") that's include... |
blob | commitdiff | raw | diff to current |
2011-09-15 |
Dejan Jovanović | additional stuff for sharing, |
blob | commitdiff | raw | diff to current |
2011-07-05 |
Dejan Jovanović | updated preprocessing and rewriting input equalities... |
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 | Weekend work. The main points: |
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-04 |
Tim King | Merging the satliteral-before-prereg branch into trunk... |
blob | commitdiff | raw | diff to current |
2011-02-28 |
Morgan Deters | Review of mktheorytraits, mkrewriter, and recent change... |
blob | commitdiff | raw | diff to current |
2011-02-26 |
Morgan Deters | Merge from theory-break-dependences branch to break... |
blob | commitdiff | raw | diff to current |
2011-01-05 |
Dejan Jovanović | fix for build errors |
blob | commitdiff | raw | diff to current |
2011-01-05 |
Dejan Jovanović | Commit for the theory engine and rewriter changes.... |
blob | commitdiff | raw | diff to current |
2010-11-15 |
Morgan Deters | fix some things with the build system (make dist, make... |
blob | commitdiff | raw | diff to current |
2010-07-07 |
Clark Barrett | Added shared term manager. Basic mechanism for identif... |
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-06-30 |
Morgan Deters | * theory "tree" rewriting implemented and works |
blob | commitdiff | raw | diff to current |
2010-06-29 |
Tim King | Merging the unate-propagator branch into the 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-03 |
Morgan Deters | theory detection fixes; fixes build breakage when you... |
blob | commitdiff | raw | diff to current |
2010-04-14 |
Morgan Deters | * Better dependency tracking for unit test building... |
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-30 |
Morgan Deters | Highlights of this commit are: |
blob | commitdiff | raw | diff to current |
2010-03-15 |
Morgan Deters | This checkin resolves bug #57. |
blob | commitdiff | raw | diff to current |
2010-03-12 |
Morgan Deters | * src/context/cdmap.h: rename orderedIterator to iterat... |
blob | commitdiff | raw | diff to current |
2010-02-26 |
Morgan Deters | * test/unit/context/context_black.h: Test CDList<>... |
blob | commitdiff | raw | diff to current |
2010-02-25 |
Morgan Deters | * src/expr/node.h: add a copy constructor. Apparently... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | Added theory output channel interfaces and "Interrupted... |
blob | commitdiff | raw | diff to current |
2009-12-16 |
Morgan Deters | Fixes to the build system: |
blob | commitdiff | raw | diff to current |
2009-12-10 |
Morgan Deters | cleanups, assert work, add a stubbed uf theory, fix... |
blob | commitdiff | raw | diff to current |
2009-12-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files... |
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 |
|