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