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

[cvc5.git] / src / parser / smt2 / smt2.h

2012-09-27	Morgan Deters	* Rename SMT parts (printer, parser) to SMT1	blob \| commitdiff \| raw
2012-08-16	Morgan Deters	The SmtEngine now ensures that setLogicInternal() is...	blob \| commitdiff \| raw \| diff to current
2012-07-18	Morgan Deters	more compliance fixes for SMT-LIBv2	blob \| commitdiff \| raw \| diff to current
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
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-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-06-04	Christopher L. Conway	Enabling RDL/IDL in SMT v1 and adding some simple tests	blob \| commitdiff \| raw \| diff to current
2010-06-01	Christopher L. Conway	Adding SMT v2 parsing support for: QF_IDL, QF_NIA,...	blob \| commitdiff \| raw \| diff to current
2010-05-12	Christopher L. Conway	Adding ParserBuilder, reducing visibility of Parser...	blob \| commitdiff \| raw \| diff to current
2010-05-12	Christopher L. Conway	Adding class Smt2 to handle declaration of logic and...	blob \| commitdiff \| raw \| diff to current

RSS Atom