summaryrefslogtreecommitdiff
path: root/src/parser
AgeCommit message (Expand)Author
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
2017-09-26Fixing Cid 1172009 (#1141)Tim King
2017-09-19Removing a potentially invalid comparison in the TPTP parser. (#1091)Tim King
2017-09-18Floating point symfpu support (#1103)Martin
2017-09-14Remove unhandled subtypes (#1098)Andrew Reynolds
2017-09-05Remove support for conversions between uint32/uint16 and string. (#1069)Andrew Reynolds
2017-08-25Added missing includes (algorithm).Aina Niemetz
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-07-29Add support for charat in native language, minor cleanup.ajreynol
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-20Fix a few bugs related to sygus.ajreynol
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-16Use CXXFLAGS when compiling parsers (#197)Andres Noetzli
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...ajreynol
2017-07-10Merge ntExt branch. Adds support for transcendental functions. Refactoring of...ajreynol
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Use new copyright header format.Mathias Preiner
2017-07-05Non-linear supported in ALL logics. Minor fixes for set logic with sygus.ajreynol
2017-06-30Minor change to trigger selection, fixes related to subtypes (in macros, cbqi...ajreynol
2017-06-16Fix stream parsingAndres Nötzli
2017-06-16Parse 'is', 'match' differently for non-DT inputAndres Noetzli
2017-05-16Avoid tokenizing FP tokens in non-FP inputAndres Noetzli
2017-04-28Minor fixesajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback