summaryrefslogtreecommitdiff
path: root/src/expr/command.cpp
AgeCommit message (Expand)Author
2013-04-01update copyrightsMorgan Deters
2013-03-21Add the ability to "mute" commands, needed for SMT-LIB compliance.Morgan Deters
2013-02-20Some exception specification fixes in SmtEngine/Command infrastructureMorgan Deters
2012-11-27fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.Kshitij Bansal
2012-11-27First chunk of boolean-terms support.Morgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-09* make Model class private (as discussed at meeting today)Morgan Deters
2012-10-05Bug-related:Morgan Deters
2012-10-05BoolExpr removed and replaced with ExprDejan Jovanović
2012-09-28Some fixes to portfolioKshitij Bansal
2012-09-26Finish off SEXPR kind work.Morgan Deters
2012-09-26The Tuesday Afternoon Catch-All Commit (TACAC):Morgan Deters
2012-09-19General subscriber infrastructure for NodeManager, as discussed in theMorgan Deters
2012-09-15minor interface improvements, compliance fixesMorgan Deters
2012-09-08Single driver for both sequential and portfolioKshitij Bansal
2012-09-04Accepted some patches from the Multicore Programming Group at Imperial Colleg...Morgan Deters
2012-08-31merge from fmf-devel branch. more updates to models: now with collectModelIn...Andrew Reynolds
2012-08-24fix get-value output in a couple ways; this fixes bug #378Morgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-08-06Cleanup of some command stuff, fixes broken Java build.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-27Merge quantifiers2-trunk:François Bobot
2012-07-18more compliance fixes for SMT-LIBv2Morgan Deters
2012-07-17SMT-LIBv2 compliance updates:Morgan Deters
2012-07-12merged fmf-devel branch, includes support for SMT2 command get-value and (ext...Andrew Reynolds
2012-07-08minor SMT-LIBv2 compliance issuesMorgan Deters
2012-06-14some changes to make CVC4 work nicely with trace executor for application tra...Morgan Deters
2012-06-09Dagification of output expressions.Morgan Deters
2012-06-08Extend Printer infrastructure also to the "Result" class, meaning that differ...Morgan Deters
2012-06-07Adding EchoCommand and associated printer and parser rules:Morgan Deters
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-22Fixes to documentation / fixes for MacOSMorgan Deters
2012-02-20portfolio mergeMorgan Deters
2012-02-13proper handling of improper get-valueMorgan Deters
2011-11-22More language bindings work:Morgan Deters
2011-10-29Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g...Morgan Deters
2011-09-16dump define-funs correctly with "--dump declarations", whether the function i...Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-07-11merge from symmetry branchMorgan Deters
2011-07-05updated preprocessing and rewriting input equalities into inequalities for LRADejan Jovanović
2011-05-05Merge from nonclausal-simplification-v2 branch:Morgan Deters
2011-05-01minor fixes, plus experimental readline support in InteractiveShellMorgan Deters
2011-04-18more work on CVC languageMorgan Deters
2011-04-18Partial merge from datatypes-merge branch:Morgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-11-08cleanup, documentation, SMT-LIBv2 complianceMorgan Deters
2010-10-26GetValueCommand now gives a TUPLE as output, with the first operand the input...Morgan Deters
2010-10-10additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...Morgan Deters
2010-10-09support for SMT-LIBv2 :named attributes, and attributes in general; zero-ary ...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback