projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
api: Rename get(Selector|Constructor)Term() to getTerm(). (#8537)
[cvc5.git] / src / parser / smt2 / smt2.cpp
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... blob | commitdiff | raw
2022-04-01 Andres Noetzli[API] Add mode argument for `Solver::blockModel()`... blob | commitdiff | raw | diff to current
2022-03-31 Andrew ReynoldsDo not export dt.size (#8483) blob | commitdiff | raw | diff to current
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref... blob | commitdiff | raw | diff to current
2022-03-29 Mathias PreinerIntroduce internal namespace and remove api namespace... blob | commitdiff | raw | diff to current
2022-03-26 Andrew ReynoldsFixes for API kind documentation (#8397) blob | commitdiff | raw | diff to current
2022-03-25 Mathias Preinerapi: Unify mkOp variants. (#8369) blob | commitdiff | raw | diff to current
2022-03-25 Andres Noetzli[Parser] Fix resolution of indexed symbols (#8383) blob | commitdiff | raw | diff to current
2022-03-25 Aina Niemetzapi: Rename kind NULL_EXPR to NULL_TERM. (#8402) blob | commitdiff | raw | diff to current
2022-03-22 Andres Noetzli[FP] Remove `FLOATINGPOINT_TO_FP_GENERIC` kind (#8334) blob | commitdiff | raw | diff to current
2022-03-22 Mathias Preinerapi: Unify mkTerm variants. (#8357) blob | commitdiff | raw | diff to current
2022-03-17 Andres Noetzli[Parser] Simplify `Smt2::addIndexedOperator()` (#8333) blob | commitdiff | raw | diff to current
2022-03-17 Gereon KremerReplace `Debug` by `Trace` (#7793) blob | commitdiff | raw | diff to current
2022-03-15 Aina NiemetzRename TO_FP operator kinds. (#8285) blob | commitdiff | raw | diff to current
2022-03-02 Andrew ReynoldsEliminate CDHashMap::insertAtContextLevelZero (#8173) blob | commitdiff | raw | diff to current
2022-02-04 Aina NiemetzFP: Rename tester kinds. (#8037) blob | commitdiff | raw | diff to current
2022-02-03 mudathirmahgoubAdd table.product operator (#8020) blob | commitdiff | raw | diff to current
2022-02-03 Aina NiemetzRename kind PLUS -> ADD. (#8036) blob | commitdiff | raw | diff to current
2022-02-03 Aina Niemetzapi: Rename kinds MINUS -> SUB and UMINUS -> NEG. ... blob | commitdiff | raw | diff to current
2022-02-02 Aina Niemetzapi: Rename mk<Value> functions for FP for consistency... blob | commitdiff | raw | diff to current
2022-02-02 mudathirmahgoubUpdate datatypes.rst (#8009) blob | commitdiff | raw | diff to current
2022-02-02 mudathirmahgoubFix parser issue with tuple_project operator (#8021) blob | commitdiff | raw | diff to current
2022-02-01 mudathirmahgoubAdd bag.filter operator (#8006) blob | commitdiff | raw | diff to current
2022-01-24 Abdalrhman MohamedEnable dump tester. (#7884) blob | commitdiff | raw | diff to current
2022-01-13 Andres NoetzliUnify abstract values and uninterpreted constants ... blob | commitdiff | raw | diff to current
2022-01-10 Aina Niemetzapi: Remove Sort::isComparableTo(). (#7903) blob | commitdiff | raw | diff to current
2022-01-05 Andrew ReynoldsProperly parse arithmetic values (#7876) blob | commitdiff | raw | diff to current
2022-01-04 mudathirmahgoubAdd bag.member operator to theory of bags (#7857) blob | commitdiff | raw | diff to current
2021-12-17 Andrew ReynoldsEliminate more uses of CONST_RATIONAL (#7816) blob | commitdiff | raw | diff to current
2021-12-02 mudathirmahgoubadd bag.fold operator (#7718) blob | commitdiff | raw | diff to current
2021-11-17 Andres NoetzliFix binding of quoted symbols in `define-fun` (#7655) blob | commitdiff | raw | diff to current
2021-11-13 mudathirmahgoubAdd operator set.map to theory of sets (#7641) blob | commitdiff | raw | diff to current
2021-11-12 mudathirmahgoubbags: Rename kinds with a more consistent naming scheme... blob | commitdiff | raw | diff to current
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) blob | commitdiff | raw | diff to current
2021-11-10 Andrew ReynoldsFix parsing array constants (#7617) blob | commitdiff | raw | diff to current
2021-11-10 Aina Niemetzsets: Rename set.intersection to set.inter. (#7622) blob | commitdiff | raw | diff to current
2021-11-09 Aina Niemetzregex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match... blob | commitdiff | raw | diff to current
2021-11-08 Aina Niemetzsets: Rename kinds with a more consistent naming scheme... blob | commitdiff | raw | diff to current
2021-11-02 Andrew ReynoldsImprove syntax for fmf cardinality constraints (#7556) blob | commitdiff | raw | diff to current
2021-10-21 Andrew ReynoldsMake cardinality constraint a nullary operator (#7333) blob | commitdiff | raw | diff to current
2021-10-20 Aina Niemetzapi: Add Solver::mkSepEmp(). (#7432) blob | commitdiff | raw | diff to current
2021-10-18 Abdalrhman MohamedMove check for experimental arrays features to `theory_... blob | commitdiff | raw | diff to current
2021-10-14 Andrew ReynoldsImprove parser for tuple select (#7364) blob | commitdiff | raw | diff to current
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) blob | commitdiff | raw | diff to current
2021-09-30 Andrew ReynoldsSimplify the syntax and representation of the separatio... blob | commitdiff | raw | diff to current
2021-09-22 Mathias PreinerRemove CVC language support (#7219) blob | commitdiff | raw | diff to current
2021-09-22 Andrew ReynoldsMinimal fixing version for tuple update parsing (#7228) blob | commitdiff | raw | diff to current
2021-09-01 Gereon KremerNo longer use direct access to options in driver (... blob | commitdiff | raw | diff to current
2021-08-30 mudathirmahgoubAdd kind BAG_MAP and its type rule to bags (#6503) blob | commitdiff | raw | diff to current
2021-08-27 Gereon KremerHandle languages as strings in driver (#7074) blob | commitdiff | raw | diff to current
2021-08-26 Gereon KremerConsolidate language types (#7065) blob | commitdiff | raw | diff to current
2021-07-07 Aina NiemetzRename operator pow2 to int.pow2. (#6849) blob | commitdiff | raw | diff to current
2021-06-26 yoni206pow2 -- final changes (#6800) blob | commitdiff | raw | diff to current
2021-06-23 Haniel Barbosa[parser] [hol] Fix parser check for allowing functions... blob | commitdiff | raw | diff to current
2021-06-15 Gereon KremerRemove public option wrappers (#6716) blob | commitdiff | raw | diff to current
2021-06-11 Haniel BarbosaBetter support for HOL parsing and set up (#6697) blob | commitdiff | raw | diff to current
2021-06-03 Andrew ReynoldsSimplify automatic set-logic in smt2 parser (#6678) blob | commitdiff | raw | diff to current
2021-06-02 Gereon KremerMove public wrapper functions out of options class... blob | commitdiff | raw | diff to current
2021-05-27 Andres NoetzliFix `str.replace_re` and `str.replace_re_all` (#6615) blob | commitdiff | raw | diff to current
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD... blob | commitdiff | raw | diff to current
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) blob | commitdiff | raw | diff to current
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) blob | commitdiff | raw | diff to current
2021-05-19 Andres NoetzliImprove handling of `:named` attributes (#6549) blob | commitdiff | raw | diff to current
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) blob | commitdiff | raw | diff to current
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) blob | commitdiff | raw | diff to current
2021-04-19 Gereon KremerRemove linking against gmp and cln in tests and parser... blob | commitdiff | raw | diff to current
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-10 Mathias PreinerUse Assert instead of assert. (#6095) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-03-06 Mathias PreinerRemove SMT-LIB 2.5 and 2.0 support. (#6068) blob | commitdiff | raw | diff to current
2021-03-03 mudathirmahgoubAdd tuple projection operator (#5904) blob | commitdiff | raw | diff to current
2021-02-08 Andrew ReynoldsRemove support for inst closure (#5874) blob | commitdiff | raw | diff to current
2021-01-21 Andrew ReynoldsAdd div, mod, abs in non-strict parsing mode (#5793) blob | commitdiff | raw | diff to current
2021-01-20 Aina NiemetzSMT2 parser: Do not add non-linear symbols for linear... blob | commitdiff | raw | diff to current
2021-01-08 mudathirmahgoubAdd bags inference generator (#5731) blob | commitdiff | raw | diff to current
2020-12-16 Andrew ReynoldsUse uint64 utility when parsing tuple selectors in... blob | commitdiff | raw | diff to current
2020-12-03 Andrew ReynoldsRefactor handling of global declarations (#5577) blob | commitdiff | raw | diff to current
2020-11-30 Abdalrhman MohamedEliminate uses of SExpr from the parser. (#5496) blob | commitdiff | raw | diff to current
2020-11-18 Andrew ReynoldsUse symbol manager for get assignment (#5451) blob | commitdiff | raw | diff to current
2020-11-16 Andrew ReynoldsCleaning up scopes in preparation for symbol manager... blob | commitdiff | raw | diff to current
2020-11-09 Andrew ReynoldsAdd symbol manager (#5380) blob | commitdiff | raw | diff to current
2020-11-05 mudathirmahgoubRemove mkSingleton from the API (#5366) blob | commitdiff | raw | diff to current
2020-10-29 mudathirmahgoubAdd mkInteger to the API (#5274) blob | commitdiff | raw | diff to current
2020-10-27 Abdalrhman MohamedRefactor DeclareSygusVarCommand and SynthFunCommand... blob | commitdiff | raw | diff to current
2020-10-27 mudathirmahgoubAdd DUPICATE_REMOVAL operator to bags (#5336) blob | commitdiff | raw | diff to current
2020-10-09 Andres Noetzlireset-assertions: Remove all non-global symbols in... blob | commitdiff | raw | diff to current
2020-10-07 Aina NiemetzNew C++ API: Rename Term::isConst() to Term::isValue... blob | commitdiff | raw | diff to current
2020-10-06 mudathirmahgoubAdd operators bag.from_set, bag.to_set to the theory... blob | commitdiff | raw | diff to current
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179) blob | commitdiff | raw | diff to current
2020-09-23 Abdalrhman MohamedRefactor Commands to use the Public API. (#5105) blob | commitdiff | raw | diff to current
2020-09-22 mudathirmahgoubAdd skeleton for theory of bags (multisets) (#5100) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-09-09 mudathirmahgoubAdd is_singleton operator to the theory of sets (#5033) blob | commitdiff | raw | diff to current
2020-09-02 Andres Noetzli[API] Fix Python Examples (#4943) blob | commitdiff | raw | diff to current
2020-08-26 Andrew ReynoldsReplace Expr-level datatype with Node-level DType ... blob | commitdiff | raw | diff to current
2020-08-04 Abdalrhman MohamedModify the smt2 parser to use the Sygus grammar. (... blob | commitdiff | raw | diff to current
next