projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
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
2019-09-17 Andrew ReynoldsRemove parameterized check (#3290) commit | commitdiff | tree
2019-09-16 Andrew ReynoldsFix spurious meta-info in regression (#3294) commit | commitdiff | tree
2019-09-16 Andrew ReynoldsRemove equality inference option for quantifiers (... commit | commitdiff | tree
2019-09-16 Andrew ReynoldsMove specific attributes out of term util (#3279) commit | commitdiff | tree
2019-09-16 Andrew ReynoldsSygus type info class (#3187) commit | commitdiff | tree
2019-09-16 Andrew Reynolds Fix HO model construction for functions having Boolean... commit | commitdiff | tree
2019-09-16 Andrew ReynoldsMove virtual term substitution utilities to own file... commit | commitdiff | tree
2019-09-16 Andrew ReynoldsReturn RecoverableModalException when model is not... commit | commitdiff | tree
2019-09-16 Aina NiemetzFix compiler warning in options.cpp. (#3284) commit | commitdiff | tree
2019-09-16 Haniel BarbosaAdding new scripts for CASC/TPTP (#3291) commit | commitdiff | tree
2019-09-16 Andrew ReynoldsInitialize fields in sets inference manager (#3289) commit | commitdiff | tree
2019-09-16 Aina Niemetzparser: Improve error message for unrecognized input... commit | commitdiff | tree
2019-09-13 Andrew ReynoldsDisallow let in sygus grammars, check for free variable... commit | commitdiff | tree
2019-09-13 Andrew ReynoldsMove higher-order matching predicate (#3280) commit | commitdiff | tree
2019-09-13 Andrew ReynoldsSplit, refactor and document the theory of sets (#3085) commit | commitdiff | tree
2019-09-12 Andrew Reynolds Rename UF with cardinality extension (#3241) commit | commitdiff | tree
2019-09-12 Andrew ReynoldsUpdate to standard implementation of contains term... commit | commitdiff | tree
2019-09-12 Andrew Reynolds Fix default grammar construction for arrays when no... commit | commitdiff | tree
2019-09-12 Andrew ReynoldsEncapsulate synth engine (#3271) commit | commitdiff | tree
2019-09-12 Andrew ReynoldsRefactoring finite bounds in Quantifiers Engine (#3261) commit | commitdiff | tree
2019-09-11 Ken MatsuiFix not to output all warnings (#2778) commit | commitdiff | tree
2019-09-11 Andrew ReynoldsFix type assertion in getSynthSolutions (#3252) commit | commitdiff | tree
2019-09-11 Andrew ReynoldsInfrastructure for instantiation rewriter (#3262) commit | commitdiff | tree
2019-09-11 Andrew ReynoldsFix constructor type printing (#3246) commit | commitdiff | tree
2019-09-10 Andrew ReynoldsFix issue related to enum in cegqi (#3267) commit | commitdiff | tree
2019-09-09 Andrew ReynoldsFix issue in cegqi related to enum (#3265) commit | commitdiff | tree
2019-09-07 Andrew ReynoldsRemove portfolio (#3236) commit | commitdiff | tree
2019-09-06 Mathias PreinerRemove parsing/printing of meta-info command. (#3260) commit | commitdiff | tree
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) commit | commitdiff | tree
2019-09-06 Andrew ReynoldsMake CEGQI term type to enum (#3256) commit | commitdiff | tree
2019-09-06 Andrew Reynolds Model API for domain elements (#3243) commit | commitdiff | tree
2019-09-05 Andrew ReynoldsExplicitly pass current sygus solution to exclude ... commit | commitdiff | tree
2019-09-05 Andrew ReynoldsRefactoring CEGQI interface (#3239) commit | commitdiff | tree
2019-09-04 Andrew ReynoldsTowards incremental SyGuS in SMT engine (#3195) commit | commitdiff | tree
2019-09-04 yoni206More details in substitution function documentation... commit | commitdiff | tree
2019-09-04 Andrew ReynoldsMove getCounterexampleLiteral out of term utilities... commit | commitdiff | tree
2019-09-04 Mathias PreinerFix DAGification for printer. (#3233) commit | commitdiff | tree
2019-09-04 Andrew Reynolds Fixes related to destructing null (#3231) commit | commitdiff | tree
2019-09-04 Mathias PreinerRemove duplicate regression tests. (#3227) commit | commitdiff | tree
2019-08-30 Andres NoetzliFix out-of-bounds access in regexp inclusion test ... commit | commitdiff | tree
2019-08-30 Andrew ReynoldsUndo unintential change to FindCxxTest (#3240) commit | commitdiff | tree
2019-08-30 Andres NoetzliBetter heuristic for str.code/re.range (#3220) commit | commitdiff | tree
2019-08-30 Andres NoetzliInfer conflicts based on regular expression inclusion... commit | commitdiff | tree
2019-08-28 Andrew ReynoldsRemoving comments related to issues (#3232) commit | commitdiff | tree
2019-08-28 Andrew ReynoldsFixes for get-abduct (#3229) commit | commitdiff | tree
2019-08-26 Mathias PreinerMake contrib/get-* more robust. (#3198) commit | commitdiff | tree
2019-08-26 Andrew ReynoldsRemove unnecessary code from Cvc.g (#3213) commit | commitdiff | tree
2019-08-24 Piotr Trojanekfix misuse of iterator with a different container ... commit | commitdiff | tree
2019-08-24 Piotr Trojanekfix mismatch between "delete" and "new []" (#2795) commit | commitdiff | tree
2019-08-23 Andrew Reynolds Infer emptiness instead of splitting when a string... commit | commitdiff | tree
2019-08-23 Andrew Reynolds Fixes for sygus regressions (#3219) commit | commitdiff | tree
2019-08-23 Andrew ReynoldsDocument transition inference utility (#3207) commit | commitdiff | tree
2019-08-23 Andrew ReynoldsExclude redundant lemmas when tracking inst lemmas... commit | commitdiff | tree
2019-08-23 Andrew ReynoldsUpdate dynamic splitting strategy for quantifiers ... commit | commitdiff | tree
2019-08-23 Andrew ReynoldsFix argument in nonlinear extension. (#3216) commit | commitdiff | tree
2019-08-23 Andrew ReynoldsMinor update to term util (#3208) commit | commitdiff | tree
2019-08-23 Andrew Reynolds Pass synthesis conjecture to sygus modules (#3212) commit | commitdiff | tree
2019-08-22 Andrew Reynolds Local substitutions for context-depdendent simplificat... commit | commitdiff | tree
2019-08-20 Andrew ReynoldsFixes for sygus inference on quantifier free problems... commit | commitdiff | tree
2019-08-19 Aina NiemetzNew C++ API: Add checks for Solver::checkValid and... commit | commitdiff | tree
2019-08-18 Andrew ReynoldsContext-independent regular expression unfolding (... commit | commitdiff | tree
2019-08-18 Andrew Reynolds Cleaning make bound var in smt2 parser (#3192) commit | commitdiff | tree
2019-08-17 Andrew ReynoldsMove quantifiers relevance module inside E-matching... commit | commitdiff | tree
2019-08-17 Andrew ReynoldsMark symbols introduced by named attributes as defined... commit | commitdiff | tree
2019-08-15 Andrew Reynolds Fix for when to apply single invocation techniques... commit | commitdiff | tree
2019-08-15 Mathias Preinercmake: Use ExactVersion instead of SameMinorVersion... commit | commitdiff | tree
2019-08-14 Mathias PreinerRemove option --continued-execution. (#3189) commit | commitdiff | tree
2019-08-14 Andrew Reynolds Update to standard implementation of getting free... commit | commitdiff | tree
2019-08-14 Andrew ReynoldsCall separate SMT engine for single invocation sygus... commit | commitdiff | tree
2019-08-14 Mathias Preinercmake: Export CVC4 library interface. (#3179) commit | commitdiff | tree
2019-08-14 Andres NoetzliEnable Clang-Format for Java (#3064) commit | commitdiff | tree
2019-08-14 Andrew ReynoldsMinor cleaning of sygus term database (#3159) commit | commitdiff | tree
2019-08-14 Andrew ReynoldsFix issue related to higher-order purification in term... commit | commitdiff | tree
2019-08-14 Aina NiemetzSmtEngine: Reorganize class according to guidelines... commit | commitdiff | tree
2019-08-13 Aina NiemetzNew C++ API: Add checks and tests for Solver::simplify... commit | commitdiff | tree
2019-08-13 Aina NiemetzNew C++ API: Fix test names of solver_black unit test... commit | commitdiff | tree
2019-08-13 Aina NiemetzNew C++ API: Reorganize Solver code (move only). (... commit | commitdiff | tree
2019-08-13 Andrew Reynolds Track sygus variable to term relationship via attribut... commit | commitdiff | tree
2019-08-13 Andrew ReynoldsUpdate option to disable symbolic definitions in string... commit | commitdiff | tree
2019-08-13 Andrew ReynoldsAdd string rewrite involving allchar stars (#3167) commit | commitdiff | tree
next