projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Distinguish unknown status for model printing (#3454)
[cvc5.git] / test /
2019-11-10 Andrew ReynoldsFix bugs related to sygus higher-order + recursive... tree | commitdiff
2019-11-06 Andres Noetzli[Regressions] Remove leading whitespace in output ... tree | commitdiff
2019-11-06 Andrew ReynoldsSupport for SyGuS PBE + recursive functions (#3433) tree | commitdiff
2019-11-05 Andres Noetzli[Regressions] Support for running w/ default args ... tree | commitdiff
2019-11-04 Andrew ReynoldsAvoid non-well-founded sygus grammars (#3434) tree | commitdiff
2019-11-04 Andrew ReynoldsMake getSynthSolution return a Bool (#3306) tree | commitdiff
2019-11-01 Andrew ReynoldsFix non-termination in datatype type enumerator (#3369) tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-10-28 Andrew ReynoldsFix for non-linear models (#3410) tree | commitdiff
2019-10-28 Andres NoetzliFix integer division rewrite (#3415) tree | commitdiff
2019-10-27 Andres NoetzliFix global-declarations support (#3403) tree | commitdiff
2019-10-23 Andrew ReynoldsFixes for SyGuS + regular expressions (#3313) tree | commitdiff
2019-10-18 makaimannUpdate overflow check to handle negative numbers (... tree | commitdiff
2019-10-15 Andres NoetzliFix regression (#3393) tree | commitdiff
2019-10-14 Andres NoetzliDisable regression test for competition build (#3388) tree | commitdiff
2019-10-14 Andrew ReynoldsRemove benchmark (#3389) tree | commitdiff
2019-10-14 Andrew ReynoldsSupport UF in default sygus grammars (#3319) tree | commitdiff
2019-10-14 Andrew ReynoldsApply sygus repair constant techniques restricted to... tree | commitdiff
2019-10-14 Andrew ReynoldsEnsure lemmas from sygus repair const are guarded ... tree | commitdiff
2019-10-13 Andrew ReynoldsEliminate negative constant coefficients in div/mod... tree | commitdiff
2019-10-11 Andrew ReynoldsCheck that logic is set when synth-fun command is encou... tree | commitdiff
2019-10-10 Mathias Preinertest: Add TS_UTILS_EXPECT_ABORT macro for unit tests... tree | commitdiff
2019-10-09 Andres NoetzliAvoid printing success for `--force-logic` (#3363) tree | commitdiff
2019-10-09 Aina NiemetzNew C++ API: Term: Add missing checks for null. (#3364) tree | commitdiff
2019-10-08 Andrew ReynoldsLimit cases of sygus inference based on type (#3370) tree | commitdiff
2019-10-08 Andrew ReynoldsFix method for getting arithmetic function definition... tree | commitdiff
2019-10-08 Andres Noetzli[CVC Parser] Add support for regular expressions (... tree | commitdiff
2019-10-08 Andres NoetzliDisallow --proof and --incremental (#3332) tree | commitdiff
2019-10-08 Ying ShengMake ackermannization generally applicable rather than... tree | commitdiff
2019-10-08 Aina NiemetzNew C++ API: Add Term::getId(). (#3360) tree | commitdiff
2019-10-06 Andrew ReynoldsFix typo in regression (#3359) tree | commitdiff
2019-10-06 Andrew ReynoldsFix str to int reduction (#3358) tree | commitdiff
2019-10-03 yoni206Disable proofs for unsupported logics (#3327) tree | commitdiff
2019-10-01 Andrew ReynoldsTrivial solve method for single invocation sygus (... tree | commitdiff
2019-09-30 Andres NoetzliAdd rewrite for splitting equalities (#2957) tree | commitdiff
2019-09-30 Andrew ReynoldsAvoid cases of empty sygus grammars (#3301) tree | commitdiff
2019-09-29 Andrew ReynoldsFail single invocation techniques when utility inferenc... tree | commitdiff
2019-09-28 Andrew ReynoldsSupport smt2 language "match" term (#3258) tree | commitdiff
2019-09-27 Andrew ReynoldsFix case of disjunctive conclusion in strings (#3254) tree | commitdiff
2019-09-27 Andrew ReynoldsCVC print support for recoverable failure (#3323) tree | commitdiff
2019-09-25 Andrew Reynolds Fix off by one error in strings flat form explanation... tree | commitdiff
2019-09-25 Andrew ReynoldsAdd isParameterized function to Expr (#3303) tree | commitdiff
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) tree | commitdiff
2019-09-25 Andrew ReynoldsReturn choice functions for approximate values in get... tree | commitdiff
2019-09-19 Andrew ReynoldsSupport context-(in)dependent decision strategies.... tree | commitdiff
2019-09-19 makaimannAdd support for creating constant arrays to the new... tree | commitdiff
2019-09-18 Andrew ReynoldsDecouple fmf-bound and finite-model-find (#3297) tree | commitdiff
2019-09-17 Andrew ReynoldsAvoid computing cardinality when constructing models... tree | commitdiff
2019-09-16 Andrew ReynoldsFix spurious meta-info in regression (#3294) tree | commitdiff
2019-09-16 Andrew ReynoldsRemove equality inference option for quantifiers (... tree | commitdiff
2019-09-16 Andrew Reynolds Fix HO model construction for functions having Boolean... tree | commitdiff
2019-09-13 Andrew ReynoldsDisallow let in sygus grammars, check for free variable... tree | commitdiff
2019-09-12 Andrew Reynolds Fix default grammar construction for arrays when no... tree | commitdiff
2019-09-11 Andrew ReynoldsFix constructor type printing (#3246) tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-09-04 Mathias PreinerRemove duplicate regression tests. (#3227) tree | commitdiff
2019-08-30 Andres NoetzliBetter heuristic for str.code/re.range (#3220) tree | commitdiff
2019-08-30 Andres NoetzliInfer conflicts based on regular expression inclusion... tree | commitdiff
2019-08-23 Andrew Reynolds Infer emptiness instead of splitting when a string... tree | commitdiff
2019-08-23 Andrew ReynoldsExclude redundant lemmas when tracking inst lemmas... tree | commitdiff
2019-08-23 Andrew ReynoldsUpdate dynamic splitting strategy for quantifiers ... tree | commitdiff
2019-08-22 Andrew Reynolds Local substitutions for context-depdendent simplificat... tree | commitdiff
2019-08-20 Andrew ReynoldsFixes for sygus inference on quantifier free problems... tree | commitdiff
2019-08-19 Aina NiemetzNew C++ API: Add checks for Solver::checkValid and... tree | commitdiff
2019-08-18 Andrew ReynoldsContext-independent regular expression unfolding (... tree | commitdiff
2019-08-14 Andrew Reynolds Update to standard implementation of getting free... tree | commitdiff
2019-08-13 Aina NiemetzNew C++ API: Add checks and tests for Solver::simplify... tree | commitdiff
2019-08-13 Aina NiemetzNew C++ API: Fix test names of solver_black unit test... tree | commitdiff
2019-08-13 Andrew ReynoldsAdd string rewrite involving allchar stars (#3167) tree | commitdiff
2019-08-13 Andrew ReynoldsProperly implement logic info for separation logic... tree | commitdiff
2019-08-13 Andrew ReynoldsImplement check abduct feature (#3152) tree | commitdiff
2019-08-11 makaimannNew C++ API: Add templated getIndices method for OpTerm... tree | commitdiff
2019-08-08 Mathias PreinerFix issues with Ninja build system and add configure... tree | commitdiff
2019-08-07 Aina NiemetzNew C++ API: Add checks and tests for push/pop. (#3121) tree | commitdiff
2019-08-06 Andrew ReynoldsProperly parse qualified identifiers (#3111) tree | commitdiff
2019-08-04 Mathias PreinerFix regression script for incremental SMT-LIB v2 benchm... tree | commitdiff
2019-08-02 Mathias PreinerUpdate CaDiCaL to version 1.0.3. (#3137) tree | commitdiff
2019-08-02 Andrew ReynoldsFlip the polarity of the argument of get-abduct (#3153) tree | commitdiff
2019-08-02 Andrew ReynoldsRemove simplification specialized for sygus si solution... tree | commitdiff
2019-08-02 Andrew ReynoldsSupport default sygus grammar for strings (#3148) tree | commitdiff
2019-08-02 Andrew ReynoldsFix solution filtering for streaming abducts (#3143) tree | commitdiff
2019-08-02 Mathias PreinerFix BVGauss unit tests. (#3142) tree | commitdiff
2019-08-02 Andrew ReynoldsEnable sygus logic when produce-abducts is true (#3144) tree | commitdiff
2019-08-01 Andrew Reynolds Regular expression intersection modes (#3134) tree | commitdiff
2019-07-31 Haniel BarbosaParsing THF and adding several regressions (#3131) tree | commitdiff
2019-07-31 yoni206adding bv_gauss unit test to build files (#3135) tree | commitdiff
2019-07-30 Andrew ReynoldsMinor improvement for rewriter for str.replace (#3124) tree | commitdiff
2019-07-30 Andrew Reynolds Handle RE intersections modulo equality (#3120) tree | commitdiff
2019-07-30 Haniel BarbosaRemove hard coded option for TPTP regressions in run_re... tree | commitdiff
2019-07-29 Andrew ReynoldsModel blocker feature (#3112) tree | commitdiff
2019-07-29 Andrew ReynoldsSupport get-abduct smt2 command (#3122) tree | commitdiff
2019-07-24 Andrew Reynolds Fix null node when using no-strings-lazy-pp (#3114) tree | commitdiff
2019-07-23 Andrew ReynoldsFix sygus datatype parsing in sygus v1 format (#3113) tree | commitdiff
2019-07-23 yoni206Get operators in node (#3094) tree | commitdiff
2019-07-19 Andrew ReynoldsFixes for sygus with datatypes (#3103) tree | commitdiff
2019-07-19 Andrew ReynoldsFix case of unfolding negative membership in reg exp... tree | commitdiff
2019-07-18 Andrew ReynoldsBasic rewrites for tolower/toupper (#3095) tree | commitdiff
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092) tree | commitdiff
2019-07-15 Andrew Reynolds Add string rewrite to distribute character stars over... tree | commitdiff
2019-06-27 Andrew ReynoldsVariable elimination rewrite for quantified strings... tree | commitdiff
next