summaryrefslogtreecommitdiff
path: root/src/parser
AgeCommit message (Expand)Author
2018-06-25Updated copyright headers.Aina Niemetz
2018-06-04Only 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-29Track input language in a single place (#2003)Andres Noetzli
2018-05-22Parse error for sygus grammar term with multiple let bodies (#1961)Andrew Reynolds
2018-05-21Improvements in parsing and printing related to mixed int/real (#1879)Andrew Reynolds
2018-05-08Support for str.<= and str.< (#1882)Andrew Reynolds
2018-05-07Add support for str.code (#1821)Andrew Reynolds
2018-05-03Fix redundant internalPush calls. (#1865)Mathias Preiner
2018-05-02Support HORN logic string (#1849)Andrew Reynolds
2018-05-02Initial support for string standard in smt lib 2.6 (#1848)Andrew Reynolds
2018-04-08Check free variables in assertions (#1737)Andrew Reynolds
2018-04-08Do not introduce uinterpreted constants in TPTP parser (#1743)Andrew Reynolds
2018-04-06Add define rec fun to cvc parser (#1738)Arjun Viswanathan
2018-04-02Remove references to nyu (#1721)Clark Barrett
2018-03-09Add support for SMT-LIB v2.5 command get-unsat-assumptions (#1653)Aina Niemetz
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-03-05Add support for check-sat-assuming. (#1637)Aina Niemetz
2018-02-27Remove unused code in pushDefineFunRecScop in smt2.cpp. (#1627)Aina Niemetz
2018-02-20Minor fixes and additions for transcendental functions (#1612)Andrew Reynolds
2018-02-08Inlining line_buffered_input to avoid warning about unused variables in produ...Tim King
2018-02-07Fixing more inconsistent usages of override. (#1575)Tim King
2018-02-07Add remaining transcendental functions (#1551)Andrew Reynolds
2018-01-09Cleaning up throw specifiers on Exception and subclasses. (#1475)Tim King
2018-01-06Removing throw specifiers from src/parser/. (#1486)Tim King
2017-12-27Rel smt parser (#1446)Arjun Viswanathan
2017-12-10Fix issue 1433. (#1435)Andrew Reynolds
2017-12-06Add command for define-fun-rec and add to API (#1412)Andrew Reynolds
2017-12-01Fix reset-assertions (#1413)Andres Noetzli
2017-12-01Refactor and generalize PBE strategies (#1410)Andrew Reynolds
2017-11-29Simplifying the conditions in checkLetBinding to avoid using iterator… (#1372)Tim King
2017-11-23Ho parsing and regressions (#1350)Andrew Reynolds
2017-11-22Sygus Lambda Grammars (#1390)Andrew Reynolds
2017-11-19Removing an unused variable from SygusInput. Resolves CID 1362932. (#1392)Tim King
2017-11-07Initializing Smt1::d_logic in all cases. This was resolved by extending the L...Tim King
2017-11-07 Removing an unused member from Tptp. Initializing members of Tptp. (#1326)Tim King
2017-11-05Make higher-order a flag in logic info. (#1318)Andrew Reynolds
2017-11-03Suppport SAT logic (#1310)Andrew Reynolds
2017-10-27Modify LDFLAGS to support shared libraries for Win (#1280)Andres Noetzli
2017-10-20Make Sygus conjectures higher-order (#1244)Andrew Reynolds
2017-10-18Tptp unsat cores (#1228)Andrew Reynolds
2017-10-18Strings API escape sequences (#1245)Andrew Reynolds
2017-10-12Sygus logics (#1226)Andrew Reynolds
2017-10-11Move unsat core names to smt engine (#1192)Andrew Reynolds
2017-10-09Split term database (#1206)Andrew Reynolds
2017-10-05Fix typo in comment.Clark Barrett
2017-10-05Minor change to how SyGus commands are translated to SmtEngine commands. This...Andrew Reynolds
2017-10-03Op overload parser (#1162)Andrew Reynolds
2017-09-27Fix seeking for buffered input (#1145)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback