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

2012-06-07	Morgan Deters	LogicInfo locking implemented, and some initialization...	blob \| commitdiff \| raw
2012-06-04	Clark Barrett	Added preprocessing pass that propagates unconstrained...	blob \| commitdiff \| raw \| diff to current
2012-04-27	Morgan Deters	fix parser logic-handling oversights: QF_UFBV should...	blob \| commitdiff \| raw \| diff to current
2012-04-11	Morgan Deters	merge from arrays-clark branch	blob \| commitdiff \| raw \| diff to current
2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	blob \| commitdiff \| raw \| diff to current
2011-10-20	Morgan Deters	add support for QF_AUFLIA and QF_AUFLIRA logic strings...	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-04-20	Morgan Deters	Tuesday end-of-day commit.	blob \| commitdiff \| raw \| diff to current
2010-10-31	Morgan Deters	enable dependence graphs in doxygen; fix lots of doxyge...	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-07-02	Morgan Deters	re-generated comment headers of source files	blob \| commitdiff \| raw \| diff to current
2010-06-30	Christopher L. Conway	Parsing support for SMT divisions: LRA, QF_UFLIA, QF_UF...	blob \| commitdiff \| raw \| diff to current
2010-06-15	Morgan Deters	(minor) fix for file documentation	blob \| commitdiff \| raw \| diff to current
2010-06-04	Christopher L. Conway	Adding QF_SAT to SMT parsers	blob \| commitdiff \| raw \| diff to current
2010-06-04	Christopher L. Conway	Missing files in last commit	blob \| commitdiff \| raw \| diff to current

RSS Atom