summaryrefslogtreecommitdiff
path: root/src/util/Makefile.am
AgeCommit message (Expand)Author
2012-10-10Abstract values for SMT-LIB.Morgan Deters
2012-10-05Bug-related:Morgan Deters
2012-10-04Implemented array type enumerator, more fixes for modelsClark Barrett
2012-09-28fix distribution of cvc4_assert.iMorgan Deters
2012-09-28rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak...Morgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-08-20fixes for java bindingsMorgan Deters
2012-08-02array-store-all classMorgan Deters
2012-08-01fixes to some *clean targetsMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-27removing unecessary filesAndrew Reynolds
2012-07-17SMT-LIBv2 compliance updates:Morgan Deters
2012-07-14Type enumerator infrastructure and uninterpreted constant support. No suppor...Morgan Deters
2012-07-12merged fmf-devel branch, includes support for SMT2 command get-value and (ext...Andrew Reynolds
2012-05-18This commit removes the dead psuedoboolean code.Tim King
2012-05-11fix regex in Debug_tags and Trace_tags generation for Mac OSMorgan Deters
2012-05-11fix typo in sed lineMorgan Deters
2012-05-09--disable-tracing at configure time now disables Trace() and Debug() gestures...Morgan Deters
2012-05-09Fixing the debug tags generation and related methods in configuration.cpp tha...Dejan Jovanović
2012-04-27This merges in the branch cvc4/branches/arithmetic/matrix into trunk.Tim King
2012-03-09Some work on the dump infrastructure to support portfolio work.Morgan Deters
2012-03-01Partial merge from kind-backend branch, including Minisat and CNF work toMorgan Deters
2012-02-21don't require libboost_thread (its presence is detected at configure-time), a...Morgan Deters
2012-02-20fix "make dist"Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2011-10-29Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g...Morgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-28fixes for make dist ; make installMorgan Deters
2011-09-28better fix for #281, also fix issue with command line options not existing on...Morgan Deters
2011-09-28Regular expressions in shell scripts on MacOS are inconsistent... again. :-( ...Morgan Deters
2011-09-21Java binding now working. Some interface types still need some work (e.g. it...Morgan Deters
2011-09-20Merge 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-15adding --show-debug-tags to list all available debug tracing tagsDejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-09-02Partial merge of integers work; this is simple B&B and some pseudobooleanMorgan Deters
2011-08-24Simplification of the preregister and register throught a NodeVisitor class. ...Dejan Jovanović
2011-07-05updated preprocessing and rewriting input equalities into inequalities for LRADejan Jovanović
2011-06-03datatypes workMorgan Deters
2011-05-23Merge from arrays2 branch.Morgan Deters
2011-05-14add AscriptionType stuff to support nullary parameterized datatypes; also, re...Morgan Deters
2011-05-05Merge from nonclausal-simplification-v2 branch:Morgan Deters
2011-04-25Monday tasks:Morgan Deters
2011-04-25Weekend work. The main points:Morgan Deters
2011-04-23* reviewed BooleanSimplification, added documentation & unit testMorgan Deters
2011-04-18This commit merges the branch arithmetic/propagation-again into trunk.Tim King
2011-04-18Partial merge from datatypes-merge branch:Morgan Deters
2011-04-12another small fix to "make dist" that can lead to a misconfigured tarballMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback