projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2019-11-11 yoni206Update README according to the new website (#3438) commit | commitdiff | tree
2019-11-11 Andrew ReynoldsEliminate remaining references to type/expr in datatype... commit | commitdiff | tree
2019-11-10 Andrew ReynoldsFix bugs related to sygus higher-order + recursive... commit | commitdiff | tree
2019-11-09 Andrew ReynoldsFixes in relations related to datatypes not passed... commit | commitdiff | tree
2019-11-08 Mathias Preinercmake: Disable C++ GNU extensions. (#3446) commit | commitdiff | tree
2019-11-06 Andrew ReynoldsMove more string utility functions (#3398) commit | commitdiff | tree
2019-11-06 Andrew ReynoldsMigrate more datatype methods to the Node level (#3443) commit | commitdiff | tree
2019-11-06 Andres Noetzli[Regressions] Remove leading whitespace in output ... commit | commitdiff | tree
2019-11-06 Andrew ReynoldsSupport for SyGuS PBE + recursive functions (#3433) commit | commitdiff | tree
2019-11-06 Andres NoetzliRemove casts to subclasses of Type in API (#3420) commit | commitdiff | tree
2019-11-05 Andrew ReynoldsSeparate model object in non-linear extension (#3426) commit | commitdiff | tree
2019-11-05 Andrew ReynoldsRefactor type matcher utility (#3439) commit | commitdiff | tree
2019-11-05 Andres Noetzli[Regressions] Support for running w/ default args ... commit | commitdiff | tree
2019-11-04 Andrew ReynoldsMake check synth solution robust to auxiliary assertion... commit | commitdiff | tree
2019-11-04 Andrew ReynoldsFix ho extensionality in collect model info (#3435) commit | commitdiff | tree
2019-11-04 Andrew ReynoldsAvoid non-well-founded sygus grammars (#3434) commit | commitdiff | tree
2019-11-04 Andrew ReynoldsMake getSynthSolution return a Bool (#3306) commit | commitdiff | tree
2019-11-04 Andrew ReynoldsEliminate deprecated utility function from sygus (... commit | commitdiff | tree
2019-11-01 Andrew ReynoldsFix non-termination in datatype type enumerator (#3369) commit | commitdiff | tree
2019-11-01 Andres NoetzliFix and refactor TheoryStrings::checkFlatForms() (... commit | commitdiff | tree
2019-11-01 Andrew ReynoldsEagerly beta reduce during sygus to builtin term conver... commit | commitdiff | tree
2019-11-01 Andrew ReynoldsRename datatypes sygus solver (#3417) commit | commitdiff | tree
2019-10-31 Mathias PreinerFix Unimplemented() macros missed in #3366. (#3424) commit | commitdiff | tree
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... commit | commitdiff | tree
2019-10-30 Andrew ReynoldsSplit some generic utilities from the non-linear extens... commit | commitdiff | tree
2019-10-28 Andrew ReynoldsFix for non-linear models (#3410) commit | commitdiff | tree
2019-10-28 Andres NoetzliFix integer division rewrite (#3415) commit | commitdiff | tree
2019-10-27 Andrew ReynoldsFix collect model info for higher-order (#3409) commit | commitdiff | tree
2019-10-27 Andres NoetzliFix global-declarations support (#3403) commit | commitdiff | tree
2019-10-23 Andrew ReynoldsFixes for SyGuS + regular expressions (#3313) commit | commitdiff | tree
2019-10-23 Andrew ReynoldsRefactoring skolems for sets (#3381) commit | commitdiff | tree
2019-10-22 Aina NiemetzNodeValue: Eliminate redundant NBITS macros. (#3400) commit | commitdiff | tree
2019-10-20 Andrew V. JonesCleaning-up the declaration of wrapped functions/method... commit | commitdiff | tree
2019-10-18 makaimannUpdate overflow check to handle negative numbers (... commit | commitdiff | tree
2019-10-17 Andrew Reynolds Move datatype utility functions to own file (#3397) commit | commitdiff | tree
2019-10-16 Andrew ReynoldsSolver state for theory of strings (#3181) commit | commitdiff | tree
2019-10-15 Andres NoetzliFix line numbers in templates (#3391) commit | commitdiff | tree
2019-10-15 Andres NoetzliRemove remaining references to Boost and Autotools... commit | commitdiff | tree
2019-10-15 Andres NoetzliFix OOB access (#3383) commit | commitdiff | tree
2019-10-15 Andres NoetzliFix regression (#3393) commit | commitdiff | tree
2019-10-14 Andres NoetzliDisable regression test for competition build (#3388) commit | commitdiff | tree
2019-10-14 Andrew ReynoldsRemove benchmark (#3389) commit | commitdiff | tree
2019-10-14 Andrew ReynoldsSupport UF in default sygus grammars (#3319) commit | commitdiff | tree
2019-10-14 Andrew ReynoldsApply sygus repair constant techniques restricted to... commit | commitdiff | tree
2019-10-14 Andrew ReynoldsEnsure lemmas from sygus repair const are guarded ... commit | commitdiff | tree
2019-10-14 Andrew ReynoldsMinor refactor in strings rewriter (#3387) commit | commitdiff | tree
2019-10-13 Andrew ReynoldsEliminate negative constant coefficients in div/mod... commit | commitdiff | tree
2019-10-11 Andrew ReynoldsCheck that logic is set when synth-fun command is encou... commit | commitdiff | tree
2019-10-11 Andres NoetzliAdd support for UBSan instrumentation (#3382) commit | commitdiff | tree
2019-10-11 Aina NiemetzMake order of theories explicit in the source code... commit | commitdiff | tree
2019-10-10 Andrew ReynoldsWarning instead of assertion for failing propagating... commit | commitdiff | tree
2019-10-10 Mathias Preinertest: Add TS_UTILS_EXPECT_ABORT macro for unit tests... commit | commitdiff | tree
2019-10-09 Aina NiemetzNodeValue: Use 'using' instead of 'typedef'. (#3374) commit | commitdiff | tree
2019-10-09 Aina NiemetzNodeValue: Use fixed width return type for getRefCount... commit | commitdiff | tree
2019-10-09 Aina NiemetzReorder NodeValue class according to our code style... commit | commitdiff | tree
2019-10-09 Andres NoetzliAvoid printing success for `--force-logic` (#3363) commit | commitdiff | tree
2019-10-09 Mathias Preinercmake: Fix include of CVC4JavaTargets.cmake. (#3373) commit | commitdiff | tree
2019-10-09 Aina NiemetzNew C++ API: Term: Add missing checks for null. (#3364) commit | commitdiff | tree
2019-10-08 Andrew ReynoldsLimit cases of sygus inference based on type (#3370) commit | commitdiff | tree
2019-10-08 Andrew ReynoldsFix method for getting arithmetic function definition... commit | commitdiff | tree
2019-10-08 Piotr Trojanekprefer prefix ++ operator for iterators commit | commitdiff | tree
2019-10-08 Piotr Trojanekpass parameters by reference where it affects performance commit | commitdiff | tree
2019-10-08 Andres Noetzli[CVC Parser] Add support for regular expressions (... commit | commitdiff | tree
2019-10-08 Andres NoetzliDisallow --proof and --incremental (#3332) commit | commitdiff | tree
2019-10-08 Ying ShengMake ackermannization generally applicable rather than... commit | commitdiff | tree
2019-10-08 Aina NiemetzBuild system: Add build type for incremental competitio... commit | commitdiff | tree
2019-10-08 Aina NiemetzNew C++ API: Add Term::getId(). (#3360) commit | commitdiff | tree
2019-10-08 Andres Noetzli[SMT2 Parser] Move code of `rewriterulesCommand` (... commit | commitdiff | tree
2019-10-06 Andrew ReynoldsFix typo in regression (#3359) commit | commitdiff | tree
2019-10-06 Andrew ReynoldsFix str to int reduction (#3358) commit | commitdiff | tree
2019-10-04 Andrew ReynoldsAvoid duplicate lemmas in datatypes (#3310) commit | commitdiff | tree
2019-10-03 yoni206Disable proofs for unsupported logics (#3327) commit | commitdiff | tree
2019-10-03 Aina NiemetzTravis: Reenable building and running of examples.... commit | commitdiff | tree
2019-10-03 Andres NoetzliAdd missing type definitions to CDHashMap iterator... commit | commitdiff | tree
2019-10-03 Andres Noetzli[SMT2 Parser] Move code of `sygusCommand` (#3335) commit | commitdiff | tree
2019-10-03 Aina NiemetzFix compiler warning. (#3348) commit | commitdiff | tree
2019-10-02 Andres Noetzli[SMT-COMP] Remove --unconstrained-simp for incremental... commit | commitdiff | tree
2019-10-01 Andrew ReynoldsTrivial solve method for single invocation sygus (... commit | commitdiff | tree
2019-09-30 Andres NoetzliAdd rewrite for splitting equalities (#2957) commit | commitdiff | tree
2019-09-30 Andrew ReynoldsAdd help for sygus 2.0 (#3318) commit | commitdiff | tree
2019-09-30 Andrew ReynoldsAvoid cases of empty sygus grammars (#3301) commit | commitdiff | tree
2019-09-29 Andrew ReynoldsFail single invocation techniques when utility inferenc... commit | commitdiff | tree
2019-09-29 Andres NoetzliIntroduce template classes for simple type rules (... commit | commitdiff | tree
2019-09-28 Andrew ReynoldsSupport smt2 language "match" term (#3258) commit | commitdiff | tree
2019-09-27 Andrew ReynoldsFix case of disjunctive conclusion in strings (#3254) commit | commitdiff | tree
2019-09-27 Andres NoetzliMake substitution index context-independent (#2474) commit | commitdiff | tree
2019-09-27 Andrew ReynoldsCVC print support for recoverable failure (#3323) commit | commitdiff | tree
2019-09-25 Andrew Reynolds Fix off by one error in strings flat form explanation... commit | commitdiff | tree
2019-09-25 Andrew ReynoldsAdd isParameterized function to Expr (#3303) commit | commitdiff | tree
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) commit | commitdiff | tree
2019-09-25 Mathias PreinerAdd Windows cross-compiling instructions to INSTALL... commit | commitdiff | tree
2019-09-25 Andrew ReynoldsFix printing of instantiation patterns (#3305) commit | commitdiff | tree
2019-09-25 Andrew ReynoldsReturn choice functions for approximate values in get... commit | commitdiff | tree
2019-09-19 Andrew ReynoldsSupport context-(in)dependent decision strategies.... commit | commitdiff | tree
2019-09-19 makaimannAdd support for creating constant arrays to the new... commit | commitdiff | tree
2019-09-18 Andrew ReynoldsDecouple fmf-bound and finite-model-find (#3297) commit | commitdiff | tree
2019-09-18 Andres NoetzliAdd run script for next SMT-COMP (#3298) commit | commitdiff | tree
2019-09-18 Andrew ReynoldsMinor cleaning (#3295) commit | commitdiff | tree
2019-09-17 Andrew Reynolds Encapsulate relevant domain (#3293) commit | commitdiff | tree
2019-09-17 Andrew ReynoldsAvoid computing cardinality when constructing models... commit | commitdiff | tree
next