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

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

2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw
2019-04-16	Andres Noetzli	Make bv{add,mul,and,or,xor,xnor} left-associative ...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-11-27	Andres Noetzli	Reduce lookahead when parsing string literals (#2721)	blob \| commitdiff \| raw \| diff to current
2018-10-18	Haniel Barbosa	Introducing internal commands for SyGuS commands (...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Haniel Barbosa	Makes SyGuS parsing more robust in invariant problems...	blob \| commitdiff \| raw \| diff to current
2018-08-09	Aina Niemetz	Plug solver API object into parser. (#2240)	blob \| commitdiff \| raw \| diff to current
2018-07-14	Andrew Reynolds	sygusComp2018: update semantics for declare-fun in...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-05	Andres Noetzli	Only enable transcendentals if logic is N[I]RAT (#2052)	blob \| commitdiff \| raw \| diff to current
2018-05-29	Andres Noetzli	Make user's SMT2 version override file version (#2004)	blob \| commitdiff \| raw \| diff to current
2018-05-29	Andres Noetzli	Track input language in a single place (#2003)	blob \| commitdiff \| raw \| diff to current
2018-05-03	Andrew Reynolds	Initial support for string standard in smt lib 2.6...	blob \| commitdiff \| raw \| diff to current
2018-03-05	Mathias Preiner	Enable -Wsuggest-override by default. (#1643)	blob \| commitdiff \| raw \| diff to current
2018-01-06	Tim King	Removing throw specifiers from src/parser/. (#1486)	blob \| commitdiff \| raw \| diff to current
2017-12-07	Andrew Reynolds	Add command for define-fun-rec and add to API (#1412)	blob \| commitdiff \| raw \| diff to current
2017-11-24	Andrew Reynolds	Ho parsing and regressions (#1350)	blob \| commitdiff \| raw \| diff to current
2017-11-22	Andrew Reynolds	Sygus Lambda Grammars (#1390)	blob \| commitdiff \| raw \| diff to current
2017-10-11	Andrew Reynolds	Move unsat core names to smt engine (#1192)	blob \| commitdiff \| raw \| diff to current
2017-10-03	Andrew Reynolds	Op overload parser (#1162)	blob \| commitdiff \| raw \| diff to current
2017-07-21	Tim King	Merge branch 'master' into cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-07-21	Tim King	Moving from the gnu extensions for hash maps to the...	blob \| commitdiff \| raw \| diff to current
2017-07-10	ajreynol	Merge datatype shared selectors/sygus comp 2017 branch...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-03-16	ajreynol	Parsing support for SMT LIB 2.6. Minor fixes for printi...	blob \| commitdiff \| raw \| diff to current
2016-11-16	Clark Barrett	Merge pull request #108 from timothy-king/smt2-parser...	blob \| commitdiff \| raw \| diff to current
2016-11-14	Tim King	Adding garbage collection for the Smt2 Parser for Comma...	blob \| commitdiff \| raw \| diff to current
2016-11-01	ajreynol	Revert change to datatypes API for passing pointers...	blob \| commitdiff \| raw \| diff to current
2016-11-01	ajreynol	Working memory leak free version, changes interface...	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-06-20	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-06-17	ajreynol	Support for separation logic. Enable cbqi by default...	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-01-28	Tim King	Adding listeners to Options.	blob \| commitdiff \| raw \| diff to current
2015-07-31	ajreynol	Sygus support for inductive datatypes.	blob \| commitdiff \| raw \| diff to current
2015-07-28	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2015-07-20	ajreynol	Squashed merge of SygusComp 2015 branch.	blob \| commitdiff \| raw \| diff to current
2015-06-11	ajreynol	Handle duplicate operators in sygus grammars. Parse...	blob \| commitdiff \| raw \| diff to current
2015-06-11	ajreynol	Update experimental scripts. Support top-level non...	blob \| commitdiff \| raw \| diff to current
2015-06-10	ajreynol	Support for printing solutions involving LetGTerm sygus...	blob \| commitdiff \| raw \| diff to current
2015-06-10	ajreynol	Parse support for sygus LetGTerm.	blob \| commitdiff \| raw \| diff to current
2015-06-03	ajreynol	Refactoring of sygus parsing, properly parse Constant...	blob \| commitdiff \| raw \| diff to current
2015-05-12	barrettcw	Merge pull request #74 from finnhaedicke/namespace_minisat	blob \| commitdiff \| raw \| diff to current
2015-05-11	ajreynol	Allow sygus with no syntactic restrictions for LIA...	blob \| commitdiff \| raw \| diff to current
2015-05-11	ajreynol	Support for arbitrary constants/variables in Sygus...	blob \| commitdiff \| raw \| diff to current
2015-02-06	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2015-01-20	ajreynol	Handle miniscoping of conjunctions in synthesis propert...	blob \| commitdiff \| raw \| diff to current
2015-01-16	ajreynol	Linearize multiplication by constants in sygus grammars...	blob \| commitdiff \| raw \| diff to current
2015-01-16	ajreynol	Allow uninterpreted/defined functions in Sygus grammars...	blob \| commitdiff \| raw \| diff to current
2015-01-14	Morgan Deters	sygus input language and benchmark	blob \| commitdiff \| raw \| diff to current
2014-12-04	Martin Brain	Floating point infrastructure.	blob \| commitdiff \| raw \| diff to current
2014-11-10	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-05	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-23	Morgan Deters	Parsing and infrastructure support for SMT-LIBv2.5...	blob \| commitdiff \| raw \| diff to current
2014-10-17	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-16	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-09	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-02	Morgan Deters	Merge branch '1.4.x'.	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-27	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-26	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-09-17	Kshitij Bansal	Merge branch '1.4.x' while ignoring commit 8d5eb49.	blob \| commitdiff \| raw \| diff to current
2014-09-17	Kshitij Bansal	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-08-26	Morgan Deters	Improved SMT-LIBv2 language support for unsat cores.	blob \| commitdiff \| raw \| diff to current
2014-08-22	Morgan Deters	Unsat core infrastruture and API (SMT-LIB compliance...	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-06-04	Morgan Deters	SMT strict mode now disallows N-ary use of concat,...	blob \| commitdiff \| raw \| diff to current
2014-04-06	Tim King	Merge pull request #21 from pcc/ite-fix	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-19	Morgan Deters	Minor usability fixes related to SMT-LIB compliance.	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-07	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-03-05	Kshitij Bansal	Merge pull request #14 from kbansal/sets-parserchanges	blob \| commitdiff \| raw \| diff to current
2014-03-05	Kshitij Bansal	Don't tokenize SET_THEORY operators in smt2 parser	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-13	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-09-11	Tianyi Liang	Theory of strings.	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-19	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-19	Morgan Deters	Give a more useful parse error message for "undeclared...	blob \| commitdiff \| raw \| diff to current
2013-06-04	Morgan Deters	File inclusion in Smt2 parser.	blob \| commitdiff \| raw \| diff to current
2013-06-03	Morgan Deters	Merge tag 'casc24'	blob \| commitdiff \| raw \| diff to current
next

RSS Atom