summaryrefslogtreecommitdiff
path: root/src/expr/command.cpp
AgeCommit message (Expand)Author
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