| Age | Commit message (Expand) | Author |
|---|
| 2018-07-14 | sygusComp2018: update semantics for declare-fun in sygus. (#2102) | Andrew Reynolds |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2018-06-04 | Only enable transcendentals if logic is N[I]RAT (#2052) | Andres Noetzli |
| 2018-05-29 | Make user's SMT2 version override file version (#2004) | Andres Noetzli |
| 2018-05-29 | Track input language in a single place (#2003) | Andres Noetzli |
| 2018-05-02 | Initial support for string standard in smt lib 2.6 (#1848) | Andrew Reynolds |
| 2018-03-05 | Enable -Wsuggest-override by default. (#1643) | Mathias Preiner |
| 2018-01-06 | Removing throw specifiers from src/parser/. (#1486) | Tim King |
| 2017-12-06 | Add command for define-fun-rec and add to API (#1412) | Andrew Reynolds |
| 2017-11-23 | Ho parsing and regressions (#1350) | Andrew Reynolds |
| 2017-11-22 | Sygus Lambda Grammars (#1390) | Andrew Reynolds |
| 2017-10-11 | Move unsat core names to smt engine (#1192) | Andrew Reynolds |
| 2017-10-03 | Op overload parser (#1162) | Andrew Reynolds |
| 2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
| 2017-07-10 | Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ... | ajreynol |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
| 2016-11-13 | Adding garbage collection for the Smt2 Parser for Commands when exceptions ar... | Tim King |
| 2016-11-01 | Revert change to datatypes API for passing pointers, instead make deep copy d... | ajreynol |
| 2016-11-01 | Working memory leak free version, changes interface to pointers. | ajreynol |
| 2016-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-01-28 | Adding listeners to Options. | Tim King |
| 2015-07-31 | Sygus support for inductive datatypes. | ajreynol |
| 2015-07-20 | Squashed merge of SygusComp 2015 branch. | ajreynol |
| 2015-06-11 | Handle duplicate operators in sygus grammars. Parse sygus quoted literals. A... | ajreynol |
| 2015-06-11 | Update experimental scripts. Support top-level non-terminals in sygus gramma... | ajreynol |
| 2015-06-10 | Support for printing solutions involving LetGTerm sygus. Bug fix define-fun w... | ajreynol |
| 2015-06-10 | Parse support for sygus LetGTerm. | ajreynol |
| 2015-06-03 | Refactoring of sygus parsing, properly parse Constant/Variable constructors. | ajreynol |
| 2015-05-11 | Allow sygus with no syntactic restrictions for LIA. Add regressions. | ajreynol |
| 2015-05-11 | Support for arbitrary constants/variables in Sygus grammars. | ajreynol |
| 2015-01-20 | Handle miniscoping of conjunctions in synthesis properties. Refactor constru... | ajreynol |
| 2015-01-16 | Linearize multiplication by constants in sygus grammars. Handle unary minus i... | ajreynol |
| 2015-01-16 | Allow uninterpreted/defined functions in Sygus grammars. Fix bug regarding de... | ajreynol |
| 2015-01-14 | sygus input language and benchmark | Morgan Deters |
| 2014-12-03 | Floating point infrastructure. | Martin Brain |
| 2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
| 2014-08-26 | Improved SMT-LIBv2 language support for unsat cores. | Morgan Deters |
| 2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-06-04 | SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor,... | Morgan Deters |
| 2014-03-19 | Minor usability fixes related to SMT-LIB compliance. | Morgan Deters |
| 2014-03-05 | Don't tokenize SET_THEORY operators in smt2 parser | Kshitij Bansal |
| 2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
| 2013-09-11 | Theory of strings. | Tianyi Liang |
| 2013-06-19 | Give a more useful parse error message for "undeclared variable -1". | Morgan Deters |
| 2013-06-04 | File inclusion in Smt2 parser. | Morgan Deters |
| 2013-05-28 | Standardize SMT-LIBv2 set of logics to use LogicInfo. | Morgan Deters |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
