projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixes for SyGuS + regular expressions (#3313)
[cvc5.git] / src /
2019-10-23 Andrew ReynoldsFixes for SyGuS + regular expressions (#3313) tree | commitdiff
2019-10-23 Andrew ReynoldsRefactoring skolems for sets (#3381) tree | commitdiff
2019-10-22 Aina NiemetzNodeValue: Eliminate redundant NBITS macros. (#3400) tree | commitdiff
2019-10-20 Andrew V. JonesCleaning-up the declaration of wrapped functions/method... tree | commitdiff
2019-10-18 makaimannUpdate overflow check to handle negative numbers (... tree | commitdiff
2019-10-17 Andrew Reynolds Move datatype utility functions to own file (#3397) tree | commitdiff
2019-10-16 Andrew ReynoldsSolver state for theory of strings (#3181) tree | commitdiff
2019-10-15 Andres NoetzliFix line numbers in templates (#3391) tree | commitdiff
2019-10-15 Andres NoetzliFix OOB access (#3383) 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-14 Andrew ReynoldsMinor refactor in strings rewriter (#3387) 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-11 Andres NoetzliAdd support for UBSan instrumentation (#3382) tree | commitdiff
2019-10-11 Aina NiemetzMake order of theories explicit in the source code... tree | commitdiff
2019-10-10 Andrew ReynoldsWarning instead of assertion for failing propagating... tree | commitdiff
2019-10-09 Aina NiemetzNodeValue: Use 'using' instead of 'typedef'. (#3374) tree | commitdiff
2019-10-09 Aina NiemetzNodeValue: Use fixed width return type for getRefCount... tree | commitdiff
2019-10-09 Aina NiemetzReorder NodeValue class according to our code style... 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 Piotr Trojanekprefer prefix ++ operator for iterators tree | commitdiff
2019-10-08 Piotr Trojanekpass parameters by reference where it affects performance 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-08 Andres Noetzli[SMT2 Parser] Move code of `rewriterulesCommand` (... tree | commitdiff
2019-10-06 Andrew ReynoldsFix str to int reduction (#3358) tree | commitdiff
2019-10-04 Andrew ReynoldsAvoid duplicate lemmas in datatypes (#3310) tree | commitdiff
2019-10-03 yoni206Disable proofs for unsupported logics (#3327) tree | commitdiff
2019-10-03 Andres NoetzliAdd missing type definitions to CDHashMap iterator... tree | commitdiff
2019-10-03 Andres Noetzli[SMT2 Parser] Move code of `sygusCommand` (#3335) tree | commitdiff
2019-10-03 Aina NiemetzFix compiler warning. (#3348) 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 ReynoldsAdd help for sygus 2.0 (#3318) 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-29 Andres NoetzliIntroduce template classes for simple type rules (... 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 Andres NoetzliMake substitution index context-independent (#2474) 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 ReynoldsFix printing of instantiation patterns (#3305) 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-18 Andrew ReynoldsMinor cleaning (#3295) tree | commitdiff
2019-09-17 Andrew Reynolds Encapsulate relevant domain (#3293) tree | commitdiff
2019-09-17 Andrew ReynoldsAvoid computing cardinality when constructing models... tree | commitdiff
2019-09-17 Andrew ReynoldsRemove parameterized check (#3290) tree | commitdiff
2019-09-16 Andrew ReynoldsRemove equality inference option for quantifiers (... tree | commitdiff
2019-09-16 Andrew ReynoldsMove specific attributes out of term util (#3279) tree | commitdiff
2019-09-16 Andrew ReynoldsSygus type info class (#3187) tree | commitdiff
2019-09-16 Andrew Reynolds Fix HO model construction for functions having Boolean... tree | commitdiff
2019-09-16 Andrew ReynoldsMove virtual term substitution utilities to own file... tree | commitdiff
2019-09-16 Andrew ReynoldsReturn RecoverableModalException when model is not... tree | commitdiff
2019-09-16 Aina NiemetzFix compiler warning in options.cpp. (#3284) tree | commitdiff
2019-09-16 Andrew ReynoldsInitialize fields in sets inference manager (#3289) tree | commitdiff
2019-09-16 Aina Niemetzparser: Improve error message for unrecognized input... tree | commitdiff
2019-09-13 Andrew ReynoldsDisallow let in sygus grammars, check for free variable... tree | commitdiff
2019-09-13 Andrew ReynoldsMove higher-order matching predicate (#3280) tree | commitdiff
2019-09-13 Andrew ReynoldsSplit, refactor and document the theory of sets (#3085) tree | commitdiff
2019-09-12 Andrew Reynolds Rename UF with cardinality extension (#3241) tree | commitdiff
2019-09-12 Andrew ReynoldsUpdate to standard implementation of contains term... tree | commitdiff
2019-09-12 Andrew Reynolds Fix default grammar construction for arrays when no... tree | commitdiff
2019-09-12 Andrew ReynoldsEncapsulate synth engine (#3271) tree | commitdiff
2019-09-12 Andrew ReynoldsRefactoring finite bounds in Quantifiers Engine (#3261) tree | commitdiff
2019-09-11 Ken MatsuiFix not to output all warnings (#2778) tree | commitdiff
2019-09-11 Andrew ReynoldsFix type assertion in getSynthSolutions (#3252) tree | commitdiff
2019-09-11 Andrew ReynoldsInfrastructure for instantiation rewriter (#3262) tree | commitdiff
2019-09-11 Andrew ReynoldsFix constructor type printing (#3246) tree | commitdiff
2019-09-10 Andrew ReynoldsFix issue related to enum in cegqi (#3267) tree | commitdiff
2019-09-09 Andrew ReynoldsFix issue in cegqi related to enum (#3265) tree | commitdiff
2019-09-07 Andrew ReynoldsRemove portfolio (#3236) tree | commitdiff
2019-09-06 Mathias PreinerRemove parsing/printing of meta-info command. (#3260) tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-09-06 Andrew ReynoldsMake CEGQI term type to enum (#3256) tree | commitdiff
2019-09-06 Andrew Reynolds Model API for domain elements (#3243) tree | commitdiff
2019-09-05 Andrew ReynoldsExplicitly pass current sygus solution to exclude ... tree | commitdiff
2019-09-05 Andrew ReynoldsRefactoring CEGQI interface (#3239) tree | commitdiff
2019-09-04 Andrew ReynoldsTowards incremental SyGuS in SMT engine (#3195) tree | commitdiff
2019-09-04 yoni206More details in substitution function documentation... tree | commitdiff
2019-09-04 Andrew ReynoldsMove getCounterexampleLiteral out of term utilities... tree | commitdiff
2019-09-04 Mathias PreinerFix DAGification for printer. (#3233) tree | commitdiff
2019-09-04 Andrew Reynolds Fixes related to destructing null (#3231) tree | commitdiff
2019-08-30 Andres NoetzliFix out-of-bounds access in regexp inclusion test ... 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-28 Andrew ReynoldsRemoving comments related to issues (#3232) tree | commitdiff
2019-08-28 Andrew ReynoldsFixes for get-abduct (#3229) tree | commitdiff
next