git.libre-soc.org Git - cvc5.git/history

2011-10-29	Morgan Deters	Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF...	blob \| commitdiff \| raw
2011-09-16	Morgan Deters	dump define-funs correctly with "--dump declarations...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-07-11	Morgan Deters	merge from symmetry branch	blob \| commitdiff \| raw \| diff to current
2011-07-05	Dejan Jovanović	updated preprocessing and rewriting input equalities...	blob \| commitdiff \| raw \| diff to current
2011-05-05	Morgan Deters	Merge from nonclausal-simplification-v2 branch:	blob \| commitdiff \| raw \| diff to current
2011-05-01	Morgan Deters	minor fixes, plus experimental readline support in...	blob \| commitdiff \| raw \| diff to current
2011-04-18	Morgan Deters	more work on CVC language	blob \| commitdiff \| raw \| diff to current
2011-04-18	Morgan Deters	Partial merge from datatypes-merge branch:	blob \| commitdiff \| raw \| diff to current
2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw \| diff to current
2010-11-08	Morgan Deters	cleanup, documentation, SMT-LIBv2 compliance	blob \| commitdiff \| raw \| diff to current
2010-10-26	Morgan Deters	GetValueCommand now gives a TUPLE as output, with the...	blob \| commitdiff \| raw \| diff to current
2010-10-10	Morgan Deters	additional model gen and SMT-LIBv2 compliance work...	blob \| commitdiff \| raw \| diff to current
2010-10-09	Morgan Deters	support for SMT-LIBv2 :named attributes, and attributes...	blob \| commitdiff \| raw \| diff to current
2010-10-07	Morgan Deters	SMT-LIBv2 (define-fun...) command now functional; does...	blob \| commitdiff \| raw \| diff to current
2010-10-05	Morgan Deters	parser and core support for SMT-LIBv2 commands get...	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-04-06	Morgan Deters	* Add some protected ContextObj accessors for ContextOb...	blob \| commitdiff \| raw \| diff to current
2010-03-05	Morgan Deters	* public/private code untangled (smt/smt_engine.h no...	blob \| commitdiff \| raw \| diff to current
2010-02-08	Dejan Jovanović	Push/Pop parsing and commands	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	remove -- c++ -- emacs tag from source files (it...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	src/expr/kind.h is now automatically generated.	blob \| commitdiff \| raw \| diff to current

RSS Atom