Age | Commit message (Expand) | Author |
2011-10-29 | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g... | Morgan Deters |
2011-09-29 | build system fixes | Morgan Deters |
2011-09-28 | fixes for make dist ; make install | Morgan Deters |
2011-09-28 | better fix for #281, also fix issue with command line options not existing on... | Morgan Deters |
2011-09-28 | Regular expressions in shell scripts on MacOS are inconsistent... again. :-( ... | Morgan Deters |
2011-09-21 | Java binding now working. Some interface types still need some work (e.g. it... | Morgan Deters |
2011-09-20 | Merge from "swig" branch: language binding for Java is compiling and linking.... | Morgan Deters |
2011-09-17 | --show-debug-tags and --show-trace-tags now supported by Configuration API; a... | Morgan Deters |
2011-09-15 | adding --show-debug-tags to list all available debug tracing tags | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-09-02 | Partial merge of integers work; this is simple B&B and some pseudoboolean | Morgan Deters |
2011-08-24 | Simplification of the preregister and register throught a NodeVisitor class. ... | Dejan Jovanović |
2011-07-05 | updated preprocessing and rewriting input equalities into inequalities for LRA | Dejan Jovanović |
2011-06-03 | datatypes work | Morgan Deters |
2011-05-23 | Merge from arrays2 branch. | Morgan Deters |
2011-05-14 | add AscriptionType stuff to support nullary parameterized datatypes; also, re... | Morgan Deters |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-04-25 | Monday tasks: | Morgan Deters |
2011-04-25 | Weekend work. The main points: | Morgan Deters |
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 |