summaryrefslogtreecommitdiff
path: root/src/expr/command.h
AgeCommit message (Expand)Author
2010-11-08cleanup, documentation, SMT-LIBv2 complianceMorgan Deters
2010-10-10additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...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-05-04Adding general support for SMT2 set-info commandChristopher L. Conway
2010-04-29First draft implementation of SMT v2 parserChristopher L. Conway
2010-04-14Marging from types 404:415, changes: MassiveDejan Jovanović
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-02-08Push/Pop parsing and commandsDejan Jovanović
2010-02-06Preliminary support for types in parserChristopher L. Conway
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