summaryrefslogtreecommitdiff
path: root/src/expr/command.cpp
AgeCommit message (Expand)Author
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
2010-10-07SMT-LIBv2 (define-fun...) command now functional; does eager expansion at pre...Morgan Deters
2010-10-05parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti...Morgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-04-06* Add some protected ContextObj accessors for ContextObj-derived classes:Morgan Deters
2010-03-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan Deters
2010-02-08Push/Pop parsing and commandsDejan Jovanović
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04src/expr/kind.h is now automatically generated.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback