| Age | Commit message (Expand) | Author |
|---|
| 2018-03-05 | Add support for check-sat-assuming. (#1637) | Aina Niemetz |
| 2018-02-20 | Minor fixes and additions for transcendental functions (#1612) | Andrew Reynolds |
| 2017-12-27 | Rel smt parser (#1446) | Arjun Viswanathan |
| 2017-12-10 | Fix issue 1433. (#1435) | Andrew Reynolds |
| 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-10-20 | Make Sygus conjectures higher-order (#1244) | Andrew Reynolds |
| 2017-10-18 | Strings API escape sequences (#1245) | Andrew Reynolds |
| 2017-10-11 | Move unsat core names to smt engine (#1192) | Andrew Reynolds |
| 2017-10-09 | Split term database (#1206) | Andrew Reynolds |
| 2017-10-05 | Minor change to how SyGus commands are translated to SmtEngine commands. This... | Andrew Reynolds |
| 2017-10-03 | Op overload parser (#1162) | Andrew Reynolds |
| 2017-09-18 | Floating point symfpu support (#1103) | Martin |
| 2017-09-14 | Remove unhandled subtypes (#1098) | Andrew Reynolds |
| 2017-08-04 | Set default language to smt lib 2.6 (including as a base language for sygus),... | ajreynol |
| 2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
| 2017-07-20 | Fix a few bugs related to sygus. | ajreynol |
| 2017-07-17 | Remove PtrCloser (#198) | Andres Noetzli |
| 2017-07-10 | Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ... | ajreynol |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2017-07-07 | Use new copyright header format. | Mathias Preiner |
| 2017-07-05 | Non-linear supported in ALL logics. Minor fixes for set logic with sygus. | ajreynol |
| 2017-06-16 | Parse 'is', 'match' differently for non-DT input | Andres Noetzli |
| 2017-05-16 | Avoid tokenizing FP tokens in non-FP input | Andres Noetzli |
| 2017-04-28 | Minor fixes | ajreynol |
| 2017-04-24 | Fix parsing selectors for nullary constructors in smtlib 2.6 format. | ajreynol |
| 2017-04-12 | Add nullary operator metakind. | ajreynol |
| 2017-03-22 | Work on new approach for sygus involving conditional solutions. Refactoring o... | ajreynol |
| 2017-03-16 | More fixes, features to examples. | ajreynol |
| 2017-03-16 | Minor fixes, always expand applications of lambdas at preprocess. | ajreynol |
| 2017-03-16 | Support for SMT LIB 2.6 syntax declare-datatype and match. | ajreynol |
| 2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
| 2017-03-15 | Allow 0 argument recursive functions. Fixes bug 782. | ajreynol |
| 2017-03-06 | Support for set compliment and universe set. Simplify approach for sep.nil no... | ajreynol |
| 2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
| 2016-11-18 | Add support for set-logic ALL, fix compiler error in GCC 6.1 | Clark Barrett |
| 2016-11-13 | Adding garbage collection for the Smt2 Parser for Commands when exceptions ar... | Tim King |
| 2016-11-02 | Fix a few obvious memory leaks in sygus and quantifiers. Minor fix cvc3_compat. | ajreynol |
| 2016-11-01 | Revert change to Datatypes API to return vector of DatatypeTypes, as before. ... | ajreynol |
| 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-09-14 | Support for unique variable generation in node manager. | ajreynol |
| 2016-06-17 | Cleanup from last commit, treat sep.nil as variable kind. | ajreynol |
| 2016-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
| 2016-05-15 | Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. En... | ajreynol |
| 2016-05-06 | Minor clean up, fixes related to sygus. | ajreynol |
| 2016-05-05 | Compute term indices lazily in TermDb. Optimization for qcf to recognize irre... | ajreynol |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-03-08 | Extend synthesis solver to handle single invocation with additional universal... | ajreynol |
| 2016-02-16 | Public interface for quantifier elimination. Minor changes to datatypes rewr... | ajreynol |
