Age | Commit message (Expand) | Author |
2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
2011-04-18 | This commit merges the branch arithmetic/propagation-again into trunk. | Tim King |
2011-04-18 | Partial merge from datatypes-merge branch: | Morgan Deters |
2011-04-12 | another small fix to "make dist" that can lead to a misconfigured tarball | Morgan Deters |
2011-04-08 | Added util class | Clark Barrett |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2011-03-03 | resurrecting triple.h from r1023 (after which it was removed) | Morgan Deters |
2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
2010-10-22 | removing unused functionality from util; related to bug #222 | Morgan Deters |
2010-10-22 | Merging main/getopt.cpp, main/usage.h, and smt/options.h in | Christopher L. Conway |
2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
2010-10-08 | * (define-fun...) now has proper type checking in non-debug builds | Morgan Deters |
2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
2010-09-27 | - This update adds DynamicArray<T>. This is a bare bones heap allocated arra... | Tim King |
2010-07-29 | Adding configuration_private.h to allow inlining of configuration checks | Christopher L. Conway |
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-07-02 | Merges the cln-test branch into the main branch. | Tim King |
2010-06-30 | checking in CC module interface for reference. | Morgan Deters |
2010-06-30 | * theory "tree" rewriting implemented and works | Morgan Deters |
2010-06-18 | Merging the statistics branch into the main trunk. I'll go over how to use th... | 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-12 | Adding class Smt2 to handle declaration of logic and theory symbols | Christopher L. Conway |
2010-05-04 | Adding general support for SMT2 set-info command | Christopher L. Conway |
2010-04-14 | Marging from types 404:415, changes: Massive | Dejan Jovanović |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-26 | Added GMP backed Rational and Integer classes, and white box tests for them. ... | Tim King |
2010-02-22 | fix bug 22 (remove tracing from non-trace builds; remove all output | Morgan Deters |
2010-02-04 | minor interface changes to TheoryEngine/Theory after meeting and conversation... | Morgan Deters |
2010-02-04 | src/expr/kind.h is now automatically generated. | Morgan Deters |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-09 | some fixes and organizational adjustments to assert code, parsers/lexers, and... | Morgan Deters |
2009-12-08 | work on propositional layer, expression builder support for large expressions... | Morgan Deters |
2009-11-25 | additional work on parser hookup, configuration + build | Morgan Deters |
2009-11-23 | fixups, file comments | Morgan Deters |
2009-11-20 | fixes to build/test system | Morgan Deters |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |
2009-11-17 | ignored items | Morgan Deters |