projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2021-12-03 Gereon KremerFix a few broken links (#7734) commit | commitdiff | tree
2021-12-03 Andrew ReynoldsCheck constructor is used in APPLY_CONSTRUCTOR (#7737) commit | commitdiff | tree
2021-12-03 Andrew ReynoldsProper error for using constructor in multiple datatype... commit | commitdiff | tree
2021-12-02 Gereon KremerAdd explicit 64bit getters for Integer class (#7728) commit | commitdiff | tree
2021-12-02 Gereon KremerRemove void as possible option type (#7731) commit | commitdiff | tree
2021-12-02 Gereon KremerCheck docs for broken links before uploading (#7729) commit | commitdiff | tree
2021-12-02 Andrew ReynoldsFixes for sygus-rr-synth-input (#7716) commit | commitdiff | tree
2021-12-02 Haniel Barbosa[proofs] Fix a trace in SAT proof manager (#7732) commit | commitdiff | tree
2021-12-02 mudathirmahgoubadd bag.fold operator (#7718) commit | commitdiff | tree
2021-12-02 Gereon KremerAdd unit tests for api::Solver::setOption() (#7708) commit | commitdiff | tree
2021-12-01 Mathias Preinerapi: Add missing bit-width 0 check to mkBVFromStrHelper... commit | commitdiff | tree
2021-12-01 Haniel Barbosa[proofs] Add method to CDProof to obtain number of... commit | commitdiff | tree
2021-12-01 Lachnitt[proofs] Alethe: Add finalize function to insert missin... commit | commitdiff | tree
2021-12-01 Andrew ReynoldsImprovements for get-difficulty (#7720) commit | commitdiff | tree
2021-12-01 Gereon KremerAdd the first example for z3pycompat (#7722) commit | commitdiff | tree
2021-12-01 mudathirmahgoubEnable Java examples (#7702) commit | commitdiff | tree
2021-12-01 LachnittAlethe: Add function that adds final steps to proof... commit | commitdiff | tree
2021-12-01 yoni206Translating API tests to Python — part 2 (#7651) commit | commitdiff | tree
2021-12-01 Gereon KremerUse new token for docs-release (#7709) commit | commitdiff | tree
2021-12-01 Andrew ReynoldsRemove spurious assertion in parser (#7713) commit | commitdiff | tree
2021-12-01 Andrew ReynoldsDefine sort undeclared (#7714) commit | commitdiff | tree
2021-11-30 yoni206Translating more cpp API unit tests to python (#7669) commit | commitdiff | tree
2021-11-30 Gereon KremerAlways run update-pr (#7719) commit | commitdiff | tree
2021-11-30 Gereon KremerExtend docs example extension (#7717) commit | commitdiff | tree
2021-11-30 Mathias PreinerChange CVC4 urls to cvc5. (#7706) commit | commitdiff | tree
2021-11-30 Andrew ReynoldsAdd rewrite for is_int pi (#7711) commit | commitdiff | tree
2021-11-30 Alex OzdemirScaffold the idiomatic API's documentation (#7715) commit | commitdiff | tree
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
next