projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-11-30 Andrew ReynoldsGeneralize eager length bound conflicts for regular... commit | commitdiff | tree
2021-11-30 Andrew ReynoldsProper check for first-class types in datatype subfield... commit | commitdiff | tree
2021-11-30 LachnittAlethe: Further Printer Implementation (#7675) commit | commitdiff | tree
2021-11-30 Lachnitt[proofs] Alethe: Implementation of Printer (#7674) commit | commitdiff | tree
2021-11-30 Gereon KremerRemove now unused dumping infrastructure (#7703) commit | commitdiff | tree
2021-11-30 Lachnitt[proofs] Alethe: Printer Specification (#7673) commit | commitdiff | tree
2021-11-29 Gereon KremerFix minor issues (#7704) commit | commitdiff | tree
2021-11-29 Mathias PreinerStart post-release for 0.0.4 commit | commitdiff | tree
2021-11-29 Mathias PreinerBump version to 0.0.4 commit | commitdiff | tree
2021-11-29 Sujit Kumar... Bug in printing parameter list in define_fun_to_string... commit | commitdiff | tree
2021-11-25 Gereon KremerConsolidate CI jobs (#7697) commit | commitdiff | tree
2021-11-25 Mathias PreinerGuard regression tests that require libpoly to pass... commit | commitdiff | tree
2021-11-25 Aina Niemetzapi: Refactor mkTerm for kinds with arity = 0. (#7699) commit | commitdiff | tree
2021-11-24 Aina Niemetzexamples: Update python api datatypes example. (#7692) commit | commitdiff | tree
2021-11-24 Andres NoetzliAlways enable API black box unit tests (#7696) commit | commitdiff | tree
2021-11-24 Mathias Preinercmake: Add option --[no]-static-binary. (#7695) commit | commitdiff | tree
2021-11-24 Mathias PreinerFix ANTLR3 config for i386 and aarch64 builds. (#7694) commit | commitdiff | tree
2021-11-24 Aina Niemetzexamples: Update Java datatypes example with recent... commit | commitdiff | tree
2021-11-24 Andres NoetzliRemove dependency of `TypeNode` on `Node` (#7690) commit | commitdiff | tree
2021-11-24 Andrew ReynoldsFix potential for cycles in trust substitutions (#7687) commit | commitdiff | tree
2021-11-24 Aina Niemetzexamples: Extend DT api example with APPLY_TESTER and... commit | commitdiff | tree
2021-11-24 Andres NoetzliMinor fixes (#7691) commit | commitdiff | tree
2021-11-24 Aina Niemetzapi: Fix creation of nary term kinds via Op. (#7688) commit | commitdiff | tree
2021-11-23 Andrew ReynoldsMake difficulty manager only consider lemmas at full... commit | commitdiff | tree
2021-11-23 Andrew ReynoldsEnable model-based reduction technique for strings... commit | commitdiff | tree
2021-11-23 Gereon KremerAdd kinds to python docs (#7672) commit | commitdiff | tree
2021-11-23 Gereon KremerPush output language inside the printing code (#7683) commit | commitdiff | tree
2021-11-23 mudathirmahgoubAdd rewrite rule for bag.card operator using bag.map... commit | commitdiff | tree
2021-11-23 yoni206Python API documentation: terms (#7659) commit | commitdiff | tree
2021-11-23 Andres NoetzliMake `node_value.h` not depend on `node_manager.h`... commit | commitdiff | tree
2021-11-22 Gereon KremerRefactor IO stream manipulators (#7555) commit | commitdiff | tree
2021-11-22 Andrew ReynoldsAdd rewrite for repeated re.allchar (#7681) commit | commitdiff | tree
2021-11-22 Gereon KremerSet proper system processor for arm64 toolchain (#7665) commit | commitdiff | tree
2021-11-22 Haniel Barbosa[prop] Remove unused #define in theory proxy (#7670) commit | commitdiff | tree
2021-11-22 Andrew ReynoldsImprove error for check theory assertions with model... commit | commitdiff | tree
2021-11-22 Andrew ReynoldsFix const RE test for internal regexp rv kind (#7678) commit | commitdiff | tree
2021-11-20 yoni206bv2int module: translation of more cases (#7653) commit | commitdiff | tree
2021-11-19 Andres Noetzli[API] Avoid copying values (#7666) commit | commitdiff | tree
2021-11-19 Andres NoetzliClean up relationship of metakind and node_manager... commit | commitdiff | tree
2021-11-19 Andrew ReynoldsRemove n-ary builder (#7671) commit | commitdiff | tree
2021-11-19 Mathias PreinerAllow negative denominator for CLN Rationals constructe... commit | commitdiff | tree
2021-11-18 Aina Niemetzapi: Fix categorization of DT kinds in kind maps. ... commit | commitdiff | tree
2021-11-18 Gereon KremerRefactor CAD option for linear model seed (#7657) commit | commitdiff | tree
2021-11-18 Haniel Barbosa[proofs] Fix trace in SatProofManager (#7664) commit | commitdiff | tree
2021-11-18 Lachnitt[proofs] Alethe: Rename DUPLICATED_LITERALS (#7661) commit | commitdiff | tree
2021-11-18 Aina Niemetzapi: Fix kind documentation for BAG_MAKE. (#7663) commit | commitdiff | tree
2021-11-17 Haniel BarbosaImprove naming in term canonization when handling HO... commit | commitdiff | tree
2021-11-17 Haniel Barbosa[sat] Fix indentation in "reason" (#7662) commit | commitdiff | tree
2021-11-17 Gereon KremerAdd documentation for z3py compatibility API (#7652) commit | commitdiff | tree
2021-11-17 Andrew ReynoldsPreparations for eliminating arithmetic subtyping ... commit | commitdiff | tree
2021-11-17 Andrew ReynoldsRevert change and clean datatypes cons candidate genera... commit | commitdiff | tree
2021-11-17 Gereon KremerImplement aggressive pruning in CAD solver (#7650) commit | commitdiff | tree
2021-11-17 Alex OzdemirUpdate Python packaging infrastructure (#7654) commit | commitdiff | tree
2021-11-17 Gereon Kremermake default and modes strings instead of enum values... commit | commitdiff | tree
2021-11-17 Andres NoetzliFix binding of quoted symbols in `define-fun` (#7655) commit | commitdiff | tree
2021-11-17 Alex OzdemirRemove documentation for --lib-only (#7648) commit | commitdiff | tree
2021-11-17 mudathirmahgoubUpdate SimpleVC.java (#7647) commit | commitdiff | tree
2021-11-16 yoni206Translating API tests to Python — part 1 (#7597) commit | commitdiff | tree
2021-11-16 mudathirmahgoubFix compile errors with java examples (#7646) commit | commitdiff | tree
2021-11-16 Haniel Barbosa[proofs] Make sure --proof-check=... is no-op when... commit | commitdiff | tree
2021-11-16 Andres NoetzliRefactor `metakind` (#7639) commit | commitdiff | tree
2021-11-15 Aina Niemetzapi: Rename BOUND_VAR_LIST to VARIABLE_LIST. (#7632) commit | commitdiff | tree
2021-11-15 Andres Noetzli[Strings] Minor refactor of eager solver (#7628) commit | commitdiff | tree
2021-11-15 mudathirmahgoubAdd documentation for theory_bags_type_rules.h (#7642) commit | commitdiff | tree
2021-11-13 Andres NoetzliSkip `str.code` inferences for sequence eqcs (#7644) commit | commitdiff | tree
2021-11-13 mudathirmahgoubFix type error for rewriting bag.map bag.union_disjoint... commit | commitdiff | tree
2021-11-13 mudathirmahgoubAdd operator set.map to theory of sets (#7641) commit | commitdiff | tree
2021-11-12 mudathirmahgoubbags: Rename kinds with a more consistent naming scheme... commit | commitdiff | tree
2021-11-12 Andrew Reynolds[proofs] Cancel SYMM in CDProof, throw an error for... commit | commitdiff | tree
2021-11-12 Andres NoetzliFix redundant definitions of `NodeValue::getConst`... commit | commitdiff | tree
2021-11-12 Andrew ReynoldsAdd some basic rewrites for regular expression intersec... commit | commitdiff | tree
2021-11-12 Andres NoetzliRemove `ConstantMap<Rational>` (#7635) commit | commitdiff | tree
2021-11-12 Gereon KremerVarious minor docs improvements (#7626) commit | commitdiff | tree
2021-11-11 Abdalrhman... Add an API method to get the raw name of a term. (... commit | commitdiff | tree
2021-11-11 Andrew ReynoldsGeneralize front-end checks to check for shadowed varia... commit | commitdiff | tree
2021-11-11 Andrew ReynoldsAdd lazy approach for handling lambdas in the HO extens... commit | commitdiff | tree
2021-11-11 Andrew ReynoldsFixes for update/nth over constant sequences (#7631) commit | commitdiff | tree
2021-11-10 Aina Niemetzapi: Add Solver::mkRegexpAll(). (#7614) commit | commitdiff | tree
2021-11-10 Lachnitt[proofs] Alethe: Translate of Arithmetic rules (#7613) commit | commitdiff | tree
2021-11-10 Lachnitt[proofs] Alethe: Translate INSTANTIATE rule (#7607) commit | commitdiff | tree
2021-11-10 Mathias Preinerdocs: Also create javadoc for generated Kind.java ... commit | commitdiff | tree
2021-11-10 mudathirmahgoubFix soundness issue of missing premises for count bag... commit | commitdiff | tree
2021-11-10 Mathias Preinerjava: Fix building cvc5.jar for cmake 3.16. (#7623) commit | commitdiff | tree
2021-11-10 Andrew ReynoldsFix parsing array constants (#7617) commit | commitdiff | tree
2021-11-10 Aina Niemetzsets: Rename set.intersection to set.inter. (#7622) commit | commitdiff | tree
2021-11-10 Aina NiemetzReorganize test/unit/api directory. (#7612) commit | commitdiff | tree
2021-11-09 Lachnitt[proofs] Alethe: Translate Further Equality rules ... commit | commitdiff | tree
2021-11-09 Lachnitt[proofs] Alethe: Translate Equality rules (#7605) commit | commitdiff | tree
2021-11-09 Andrew ReynoldsOnly eliminate lambdas in higher-order elimination... commit | commitdiff | tree
2021-11-09 Andrew ReynoldsMinor optimizations for term database (#7600) commit | commitdiff | tree
2021-11-09 Aina NiemetzClean up ctest configuration and CI test configuration... commit | commitdiff | tree
2021-11-09 Haniel Barbosa[proofs] Generalize trivial cycle detection in LazyCDPr... commit | commitdiff | tree
2021-11-09 Lachnitt[proofs] Alethe: Translate REORDERING rule (#7533) commit | commitdiff | tree
2021-11-09 Aina Niemetzsets: Update theory reference and smt2 examples. (... commit | commitdiff | tree
2021-11-09 Andrew ReynoldsPreparation for non-constant lambda models (#7604) commit | commitdiff | tree
2021-11-09 Gereon KremerMake secant points user context dependent (#7567) commit | commitdiff | tree
2021-11-09 Abdalrhman... Remove redundant rules for generating Java and Python... commit | commitdiff | tree
2021-11-09 Andrew ReynoldsAdd LFSC signature for strings (#7523) commit | commitdiff | tree
2021-11-09 Aina Niemetzregex: Rename REGEXP_EMPTY and REGEXP_SIGMA to match... commit | commitdiff | tree
2021-11-09 Gereon KremerRemove `CVC5Message` (#7610) commit | commitdiff | tree
next