summaryrefslogtreecommitdiff
path: root/src/parser
AgeCommit message (Expand)Author
2021-12-02add bag.fold operator (#7718)mudathirmahgoub
2021-12-01Remove spurious assertion in parser (#7713)Andrew Reynolds
2021-12-01Define sort undeclared (#7714)Andrew Reynolds
2021-11-22Refactor IO stream manipulators (#7555)Gereon Kremer
2021-11-17Fix binding of quoted symbols in `define-fun` (#7655)Andres Noetzli
2021-11-15api: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632)Aina Niemetz
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-12Remove `ConstantMap<Rational>` (#7635)Andres Noetzli
2021-11-10api: Add Solver::mkRegexpAll(). (#7614)Aina Niemetz
2021-11-10Fix parsing array constants (#7617)Andrew Reynolds
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-09Remove antlr_tracing.h (#7608)Gereon Kremer
2021-11-08sets: Rename kinds with a more consistent naming scheme. (#7595)Aina Niemetz
2021-11-04Refactor cmake to build either static or shared (#7534)Gereon Kremer
2021-11-02Improve syntax for fmf cardinality constraints (#7556)Andrew Reynolds
2021-10-28Combine `--static` and `--static-binary` (#7520)Gereon Kremer
2021-10-28Add support for checking if a `-Wno` flag exists before using it (#7514)Andrew V. Jones
2021-10-28Add a `define-fun` command for each `:named` term. (#7308)Abdalrhman Mohamed
2021-10-28Fix `(set-info <sexpr>)` parsing and printing bugs. (#7427)Abdalrhman Mohamed
2021-10-27Fix libpoly build on windows (#7502)Gereon Kremer
2021-10-21Make cardinality constraint a nullary operator (#7333)Andrew Reynolds
2021-10-21Working on windows builds (#7381)Gereon Kremer
2021-10-20api: Add Solver::mkSepEmp(). (#7432)Aina Niemetz
2021-10-20Correctly parse uninterpreted constant values in get-value (#7393)Andrew Reynolds
2021-10-20Avoid escaping `double-quotes` twice. (#7409)Abdalrhman Mohamed
2021-10-18Move check for experimental arrays features to `theory_arrays.cpp`. (#7391)Abdalrhman Mohamed
2021-10-14Improve parser for tuple select (#7364)Andrew Reynolds
2021-10-11Restore compatibility with cmake 3.9 (#7329)Gereon Kremer
2021-10-01Fix ascription check for return types on ordinary functions (#7290)Andrew Reynolds
2021-09-30Rename SmtEngine to SolverEngine. (#7282)Aina Niemetz
2021-09-30Refactor our static builds (#7251)Gereon Kremer
2021-09-30Simplify the syntax and representation of the separation logic empty heap con...Andrew Reynolds
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-22Remove CVC language support (#7219)Mathias Preiner
2021-09-22Minimal fixing version for tuple update parsing (#7228)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-01No longer use direct access to options in driver (#7094)Gereon Kremer
2021-08-30Add kind BAG_MAP and its type rule to bags (#6503)mudathirmahgoub
2021-08-27Handle languages as strings in driver (#7074)Gereon Kremer
2021-08-26Consolidate language types (#7065)Gereon Kremer
2021-08-23api: Require size argument for mkBitVector. (#6998)Aina Niemetz
2021-08-20Simplify how user-provided quantifier attributes are handled (#6963)Andrew Reynolds
2021-08-19Support sygus standard command syntax set-feature (#7040)Andrew Reynolds
2021-08-03Remove "inUnsatCore" flag throughout (#6964)Andrew Reynolds
2021-07-07Rename operator pow2 to int.pow2. (#6849)Aina Niemetz
2021-06-25pow2 -- final changes (#6800)yoni206
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback