summaryrefslogtreecommitdiff
path: root/src/printer
AgeCommit message (Expand)Author
2021-11-13Add operator set.map to theory of sets (#7641)mudathirmahgoub
2021-11-12bags: Rename kinds with a more consistent naming scheme (#7611)mudathirmahgoub
2021-11-11Add an API method to get the raw name of a term. (#7618)Abdalrhman Mohamed
2021-11-10sets: Rename set.intersection to set.inter. (#7622)Aina Niemetz
2021-11-09regex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match SMT-LIB. (#7609)Aina Niemetz
2021-11-08sets: Rename kinds with a more consistent naming scheme. (#7595)Aina Niemetz
2021-11-04Add -o sygus-grammar to print auto-generated SyGuS grammars (#7573)Andrew Reynolds
2021-11-04Replace the old dump infrastructure (#7572)Andrew Reynolds
2021-11-02Move `fmf.card` printing code. (#7559)Abdalrhman Mohamed
2021-11-02Add printing methods for some commands. (#7557)Abdalrhman Mohamed
2021-10-28Fix `(set-info <sexpr>)` parsing and printing bugs. (#7427)Abdalrhman Mohamed
2021-10-21Make cardinality constraint a nullary operator (#7333)Andrew Reynolds
2021-10-20Avoid escaping `double-quotes` twice. (#7409)Abdalrhman Mohamed
2021-10-06Avoid calling `quoteSymbol` multiple times. (#7307)Abdalrhman Mohamed
2021-09-30Rename SmtEngine to SolverEngine. (#7282)Aina Niemetz
2021-09-30Rename files smt_engine.(cpp|h) to solver_engine.(cpp|h). (#7279)Aina Niemetz
2021-09-30Print `str.is_digit` and `int.pow2` correctly. (#7276)Abdalrhman Mohamed
2021-09-30[Printer] Only quote `set-info` value if necessary (#7262)Andres Noetzli
2021-09-29Remove support for extended `(check-sat <term>)` command. (#7270)Abdalrhman Mohamed
2021-09-29Update the syntax for tuples in smt2 (#7265)Andrew Reynolds
2021-09-23Use `|` to print quoted strings in `set-info` command. (#7240)Abdalrhman Mohamed
2021-09-22Remove CVC language support (#7219)Mathias Preiner
2021-09-22Minimal fixing version for tuple update parsing (#7228)Andrew Reynolds
2021-09-18Fix printer for datatype udpater (#7208)Andrew Reynolds
2021-09-14Add get-difficulty to the API (#7194)Andrew Reynolds
2021-09-14Support sygus version 2.1 command assume (#7081)Andrew Reynolds
2021-09-14Utilities in preparation for print benchmark utility (#7190)Andrew Reynolds
2021-09-01Print response to get-model using the API (#7084)Andrew Reynolds
2021-08-30Add kind BAG_MAP and its type rule to bags (#6503)mudathirmahgoub
2021-08-27Add missing methods to Solver API for models (#7052)Andrew Reynolds
2021-08-26Consolidate language types (#7065)Gereon Kremer
2021-08-24Miscellaneous changes from proof-new (#7042)Andrew Reynolds
2021-08-22Simplify model printing modes (#7049)Andrew Reynolds
2021-08-04Add optional debug information for dumping instantiations (#6950)Andrew Reynolds
2021-08-04Refactor managed streams (#6934)Gereon Kremer
2021-07-30Simplify smt2 printer (#6954)Andrew Reynolds
2021-07-26Miscellaneous fixes from proof-new (#6914)Andrew Reynolds
2021-07-14Fix models for sequences of infinite element type (#6870)Andrew Reynolds
2021-07-02Fix rewriter for negative constant seq.nth (#6827)Andrew Reynolds
2021-06-28Rename internal string kinds to match API (#6797)Andrew Reynolds
2021-06-25pow2 -- final changes (#6800)yoni206
2021-06-09Fixes related to printing tuples, define-fun commands in smt2 (#6679)Andrew Reynolds
2021-06-07Remove `Options::wasSetByUser()` (#6682)Gereon Kremer
2021-06-02Fixes for printing define-fun-rec (#6673)Andrew Reynolds
2021-05-27Fix `str.replace_re` and `str.replace_re_all` (#6615)Andres Noetzli
2021-05-27FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD. (#6628)Aina Niemetz
2021-05-26 More precise includes of `Node` constants (#6617)Andres Noetzli
2021-05-21Update to sygus standard output for check-synth responses (#6521)Andrew Reynolds
2021-05-21BV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589)Aina Niemetz
2021-05-18Fix smt2 printing (#6558)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback