summaryrefslogtreecommitdiff
path: root/src/printer
AgeCommit message (Expand)Author
2018-05-08Infrastructure for approximations in model output (#1884)Andrew Reynolds
2018-05-08Support for str.<= and str.< (#1882)Andrew Reynolds
2018-05-07Add support for str.code (#1821)Andrew Reynolds
2018-05-05Fix handling of TO_REAL in cvc printer (#1876)Andrew Reynolds
2018-05-04Remove special case for record selector printing. (#1875)Andrew Reynolds
2018-05-04Do not print tuples. (#1874)Andrew Reynolds
2018-05-03Fix printing of multiple datatypes (#1872)Andres Noetzli
2018-05-02Fix cvc printer for nullary constructors (#1856)Andrew Reynolds
2018-05-02Remove (dummy) SMT1 printer (#1854)Andres Noetzli
2018-05-02Initial support for string standard in smt lib 2.6 (#1848)Andrew Reynolds
2018-03-09Printers are now managed as unique_ptr (fix mem leak). (#1654)Aina Niemetz
2018-03-09Add support for SMT-LIB v2.5 command get-unsat-assumptions (#1653)Aina Niemetz
2018-03-05Add support for check-sat-assuming. (#1637)Aina Niemetz
2018-02-07Add remaining transcendental functions (#1551)Andrew Reynolds
2018-02-05Cleaning up the printing of theory model representative sets. (#1538)Tim King
2017-12-27Rel smt parser (#1446)Arjun Viswanathan
2017-12-06Add command for define-fun-rec and add to API (#1412)Andrew Reynolds
2017-12-03Normalize grammars - 2 (#1420)Haniel Barbosa
2017-11-28Removing throw specifiers from internal Printer hierarchy. (#1393)Tim King
2017-11-22Converting defined functions and let expressions from Sygus grammars to lambd...Haniel Barbosa
2017-11-22Sygus Lambda Grammars (#1390)Andrew Reynolds
2017-11-15Sygus print callbacks (#1348)Andrew Reynolds
2017-11-10Printing for higher-order (#1347)Andrew Reynolds
2017-11-09Higher-order prep (#1338)Andrew Reynolds
2017-10-27Refactor theory model (#1236)Andrew Reynolds
2017-10-18Tptp unsat cores (#1228)Andrew Reynolds
2017-10-18Strings API escape sequences (#1245)Andrew Reynolds
2017-10-11Move unsat core names to smt engine (#1192)Andrew Reynolds
2017-10-09Split term database (#1206)Andrew Reynolds
2017-10-02Add 5 FP kinds for partial to total fn conversion (#1128)Martin
2017-09-19Fix issue #1074, improve non-fatal error handling (#1075)Andres Noetzli
2017-09-18Floating point symfpu support (#1103)Martin
2017-09-05Remove support for conversions between uint32/uint16 and string. (#1069)Andrew Reynolds
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
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-06-21Properly handle subtypes in smt2 printer.ajreynol
2017-05-30print only labeled assertions as part of the unsat coreguykatzz
2017-05-25Quote unsat core names if applicable, fixes bug 816.ajreynol
2017-04-20Merge pull request #149 from PaulMeng/masterAndrew Reynolds
2017-04-20Minor fixes.ajreynol
2017-04-20Support for relational operators identity and join imagePaul Meng
2017-04-14Fix nullary operator printers, minor.ajreynol
2017-04-02Adding a model based axiom instantiation scheme for multiplication. Merge com...Tim King
2017-03-20fixed cvc4 parser for set complementPaul Meng
2017-03-16Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ...ajreynol
2017-03-07More fixes for printing/parsing sets, fix kind name.ajreynol
2017-03-06Support for set compliment and universe set. Simplify approach for sep.nil no...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback