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

[cvc5.git] / src / parser / smt / smt.cpp

2012-06-12	Morgan Deters	Fix to SMT-LIBv1 parser: QF_UF declares sort "U", but...	blob \| commitdiff \| raw
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	blob \| commitdiff \| raw \| diff to current
2012-06-07	Morgan Deters	LogicInfo locking implemented, and some initialization...	blob \| commitdiff \| raw \| diff to current
2012-06-04	Clark Barrett	Added preprocessing pass that propagates unconstrained...	blob \| commitdiff \| raw \| diff to current
2012-05-15	Morgan Deters	Fix QF_AUFLIA (resolves bug #331).	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-10-19	Tim King	Adding support for QF_UFLIA to the smt2 parser.	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
2011-01-05	Dejan Jovanović	Commit for the theory engine and rewriter changes....	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-06	Morgan Deters	declare-sort, define-sort working but not thoroughly...	blob \| commitdiff \| raw \| diff to current
2010-10-04	Morgan Deters	remove/shuffle some #include dependencies; fix some...	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-09-20	Dejan Jovanović	bitvector rewriting for the core theory and testcases	blob \| commitdiff \| raw \| diff to current
2010-07-08	Christopher L. Conway	Fixing Array type in SMT v1.2	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-14	Christopher L. Conway	Adding array select/store to SMT v1 and v2 parsers	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