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

[cvc5.git] / src / parser / smt2 / Smt2.g

2010-10-06	Morgan Deters	declare-sort, define-sort working but not thoroughly...	blob \| commitdiff \| raw
2010-10-05	Morgan Deters	parser and core support for SMT-LIBv2 commands get...	blob \| commitdiff \| raw \| diff to current
2010-07-27	Christopher L. Conway	Moving EQ->IFF handling from TheoryEngine to parser...	blob \| commitdiff \| raw \| diff to current
2010-07-08	Christopher L. Conway	Adding missing operators in SMT2 parser: UMINUS, DIVISI...	blob \| commitdiff \| raw \| diff to current
2010-07-06	Christopher L. Conway	Adding Array types to SMT2 parser	blob \| commitdiff \| raw \| diff to current
2010-07-06	Morgan Deters	Fixes for doubled-statistics (bug 171), a fix to muzzle...	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-30	Morgan Deters	* theory "tree" rewriting implemented and works	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	Morgan Deters	** Don't fear the files-changed list, almost all change...	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-06-01	Christopher L. Conway	Fixing failing test in r521	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	true and false are only defined if the core theory...	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
2010-05-07	Christopher L. Conway	Tightening lexer rules for numerals in SMT v2	blob \| commitdiff \| raw \| diff to current
2010-05-06	Christopher L. Conway	Adding --strict-parsing option	blob \| commitdiff \| raw \| diff to current
2010-05-06	Christopher L. Conway	Adding AntlrInput::tokenTextSubstr	blob \| commitdiff \| raw \| diff to current
2010-05-06	Christopher L. Conway	Adding bit-vector constants in SMT2	blob \| commitdiff \| raw \| diff to current
2010-05-04	Christopher L. Conway	Minor change to SMT v2 grammar	blob \| commitdiff \| raw \| diff to current
2010-05-04	Christopher L. Conway	Adding general support for SMT2 set-info command	blob \| commitdiff \| raw \| diff to current
2010-05-04	Christopher L. Conway	Handling SMT 2.0 symbols and info flags	blob \| commitdiff \| raw \| diff to current
2010-05-01	Christopher L. Conway	Fixing private/public header warnings in parser library	blob \| commitdiff \| raw \| diff to current
2010-04-29	Christopher L. Conway	(Not) Handling parameterized sorts in SMT v2	blob \| commitdiff \| raw \| diff to current
2010-04-29	Christopher L. Conway	First draft implementation of SMT v2 parser	blob \| commitdiff \| raw \| diff to current

RSS Atom