projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate more static uses of rewrite (#8040)
[cvc5.git] / src / parser /
2022-02-03 mudathirmahgoubAdd table.product operator (#8020) tree | commitdiff
2022-02-03 Aina NiemetzRename kind PLUS -> ADD. (#8036) tree | commitdiff
2022-02-03 Aina Niemetzapi: Rename kinds MINUS -> SUB and UMINUS -> NEG. ... tree | commitdiff
2022-02-02 Aina Niemetzapi: Rename mk<Value> functions for FP for consistency... tree | commitdiff
2022-02-02 mudathirmahgoubUpdate datatypes.rst (#8009) tree | commitdiff
2022-02-02 mudathirmahgoubFix parser issue with tuple_project operator (#8021) tree | commitdiff
2022-02-01 mudathirmahgoubAdd bag.filter operator (#8006) tree | commitdiff
2022-01-24 Abdalrhman MohamedEnable dump tester. (#7884) tree | commitdiff
2022-01-13 Andres NoetzliUnify abstract values and uninterpreted constants ... tree | commitdiff
2022-01-10 Aina Niemetzapi: Remove Sort::isComparableTo(). (#7903) tree | commitdiff
2022-01-05 Andrew ReynoldsProperly parse arithmetic values (#7876) tree | commitdiff
2022-01-04 mudathirmahgoubAdd bag.member operator to theory of bags (#7857) tree | commitdiff
2021-12-22 Andrew ReynoldsAdd support for incremental + interpolants (#7853) tree | commitdiff
2021-12-21 Andrew ReynoldsSupport get-abduct-next (#7850) tree | commitdiff
2021-12-20 Andrew ReynoldsAllow SyGuS subsolver to be reused in incremental mode... tree | commitdiff
2021-12-17 Andrew ReynoldsEliminate more uses of CONST_RATIONAL (#7816) tree | commitdiff
2021-12-13 Andrew ReynoldsFixes and additions for API for parametric datatypes... tree | commitdiff
2021-12-10 Abdalrhman MohamedMute `define-fun` command generated for named terms... tree | commitdiff
2021-12-07 Andrew ReynoldsAllow sygus in incremental mode (#7756) tree | commitdiff
2021-12-02 mudathirmahgoubadd bag.fold operator (#7718) tree | commitdiff
2021-12-01 Andrew ReynoldsRemove spurious assertion in parser (#7713) tree | commitdiff
2021-12-01 Andrew ReynoldsDefine sort undeclared (#7714) tree | commitdiff
2021-11-22 Gereon KremerRefactor IO stream manipulators (#7555) tree | commitdiff
2021-11-17 Andres NoetzliFix binding of quoted symbols in `define-fun` (#7655) tree | commitdiff
2021-11-15 Aina Niemetzapi: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632) tree | commitdiff
2021-11-13 mudathirmahgoubAdd operator set.map to theory of sets (#7641) tree | commitdiff
2021-11-12 mudathirmahgoubbags: Rename kinds with a more consistent naming scheme... tree | commitdiff
2021-11-12 Andres NoetzliRemove `ConstantMap<Rational>` (#7635) tree | commitdiff
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) tree | commitdiff
2021-11-10 Andrew ReynoldsFix parsing array constants (#7617) tree | commitdiff
2021-11-10 Aina Niemetzsets: Rename set.intersection to set.inter. (#7622) tree | commitdiff
2021-11-09 Aina Niemetzregex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match... tree | commitdiff
2021-11-09 Gereon KremerRemove antlr_tracing.h (#7608) tree | commitdiff
2021-11-08 Aina Niemetzsets: Rename kinds with a more consistent naming scheme... tree | commitdiff
2021-11-04 Gereon KremerRefactor cmake to build either static or shared (#7534) tree | commitdiff
2021-11-02 Andrew ReynoldsImprove syntax for fmf cardinality constraints (#7556) tree | commitdiff
2021-10-28 Gereon KremerCombine `--static` and `--static-binary` (#7520) tree | commitdiff
2021-10-28 Andrew V. JonesAdd support for checking if a `-Wno` flag exists before... tree | commitdiff
2021-10-28 Abdalrhman MohamedAdd a `define-fun` command for each `:named` term.... tree | commitdiff
2021-10-28 Abdalrhman MohamedFix `(set-info <sexpr>)` parsing and printing bugs... tree | commitdiff
2021-10-27 Gereon KremerFix libpoly build on windows (#7502) tree | commitdiff
2021-10-21 Andrew ReynoldsMake cardinality constraint a nullary operator (#7333) tree | commitdiff
2021-10-21 Gereon KremerWorking on windows builds (#7381) tree | commitdiff
2021-10-20 Aina Niemetzapi: Add Solver::mkSepEmp(). (#7432) tree | commitdiff
2021-10-20 Andrew ReynoldsCorrectly parse uninterpreted constant values in get... tree | commitdiff
2021-10-20 Abdalrhman MohamedAvoid escaping `double-quotes` twice. (#7409) tree | commitdiff
2021-10-18 Abdalrhman MohamedMove check for experimental arrays features to `theory_... tree | commitdiff
2021-10-14 Andrew ReynoldsImprove parser for tuple select (#7364) tree | commitdiff
2021-10-11 Gereon KremerRestore compatibility with cmake 3.9 (#7329) tree | commitdiff
2021-10-01 Andrew ReynoldsFix ascription check for return types on ordinary funct... tree | commitdiff
2021-10-01 Aina NiemetzRename SmtEngine to SolverEngine. (#7282) tree | commitdiff
2021-09-30 Gereon KremerRefactor our static builds (#7251) tree | commitdiff
2021-09-30 Andrew ReynoldsSimplify the syntax and representation of the separatio... tree | commitdiff
2021-09-29 Abdalrhman MohamedRemove support for extended `(check-sat <term>)` comman... tree | commitdiff
2021-09-29 Andrew ReynoldsUpdate the syntax for tuples in smt2 (#7265) tree | commitdiff
2021-09-22 Mathias PreinerRemove CVC language support (#7219) tree | commitdiff
2021-09-22 Andrew ReynoldsMinimal fixing version for tuple update parsing (#7228) tree | commitdiff
2021-09-14 Andrew ReynoldsAdd get-difficulty to the API (#7194) tree | commitdiff
2021-09-14 Andrew ReynoldsSupport sygus version 2.1 command assume (#7081) tree | commitdiff
2021-09-01 Gereon KremerNo longer use direct access to options in driver (... tree | commitdiff
2021-08-30 mudathirmahgoubAdd kind BAG_MAP and its type rule to bags (#6503) tree | commitdiff
2021-08-27 Gereon KremerHandle languages as strings in driver (#7074) tree | commitdiff
2021-08-26 Gereon KremerConsolidate language types (#7065) tree | commitdiff
2021-08-23 Aina Niemetzapi: Require size argument for mkBitVector. (#6998) tree | commitdiff
2021-08-20 Andrew ReynoldsSimplify how user-provided quantifier attributes are... tree | commitdiff
2021-08-20 Andrew ReynoldsSupport sygus standard command syntax set-feature ... tree | commitdiff
2021-08-03 Andrew ReynoldsRemove "inUnsatCore" flag throughout (#6964) tree | commitdiff
2021-07-07 Aina NiemetzRename operator pow2 to int.pow2. (#6849) tree | commitdiff
2021-06-26 yoni206pow2 -- final changes (#6800) tree | commitdiff
2021-06-23 Haniel Barbosa[parser] [hol] Fix parser check for allowing functions... tree | commitdiff
2021-06-15 Gereon KremerRemove public option wrappers (#6716) tree | commitdiff
2021-06-11 Haniel BarbosaBetter support for HOL parsing and set up (#6697) tree | commitdiff
2021-06-03 Andrew ReynoldsSimplify automatic set-logic in smt2 parser (#6678) tree | commitdiff
2021-06-02 Gereon KremerMove public wrapper functions out of options class... tree | commitdiff
2021-05-27 Andres NoetzliFix `str.replace_re` and `str.replace_re_all` (#6615) tree | commitdiff
2021-05-27 Aina NiemetzFP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD... tree | commitdiff
2021-05-21 Aina NiemetzBV: Rename BITVECTOR_PLUS to BITVECTOR_ADD. (#6589) tree | commitdiff
2021-05-20 Gereon KremerMinor improvements to the API (#6585) tree | commitdiff
2021-05-20 Gereon KremerAdd more getters for api::Term (#6496) tree | commitdiff
2021-05-19 Andres NoetzliImprove handling of `:named` attributes (#6549) tree | commitdiff
2021-05-14 Andres NoetzliDecouple parser creation from input selection (#6533) tree | commitdiff
2021-05-13 Andres NoetzliAlways parse streams with line buffer (#6532) tree | commitdiff
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) tree | commitdiff
2021-04-27 Gereon KremerUse std::hash for API types (#6432) tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-20 Andrew ReynoldsAdd instantiation pool feature to the API (#6358) tree | commitdiff
2021-04-19 Gereon KremerRemove linking against gmp and cln in tests and parser... tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-14 Aina NiemetzRename public and private headers in src/include. ... tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) tree | commitdiff
2021-04-09 Aina NiemetzRename CVC4__ header guards to CVC5__. (#6326) tree | commitdiff
2021-04-08 Andrew ReynoldsInitial support for parametric datatypes in sygus ... tree | commitdiff
2021-04-06 Andrew ReynoldsFix tptp parser for negative rational (#6297) tree | commitdiff
2021-04-06 Aina NiemetzNew C++ Api: Rename and move headers. (#6292) tree | commitdiff
2021-04-01 Andrew ReynoldsFix type rule for to_real (#6257) tree | commitdiff
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) tree | commitdiff
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) tree | commitdiff
2021-03-31 Gereon KremerRefactor GMP and Poly dependencies (#6245) tree | commitdiff
2021-03-31 Gereon KremerRefactor SymFPU dependency (#6218) tree | commitdiff
next