cvc5.git
2019-12-09 Andrew ReynoldsFix case of uninterpreted constant instantiation in...
2019-12-09 Andres NoetzliMake theory rewriters non-static (#3547)
2019-12-08 Andres Noetzli[Regressions] Require proof support for abduction ...
2019-12-07 Andres NoetzliSimplify rewrite for character matching (#3545)
2019-12-07 Andres NoetzliUse str.subtr in str.to.int/int.to.str reduction (...
2019-12-06 Andrew ReynoldsThrow exception instead of warning for approximate...
2019-12-06 Andres NoetzliAdd lemma for str.to.int/int.to.str (#3541)
2019-12-06 Andrew ReynoldsOptimize the rewriter for DT_SYGUS_EVAL (#3529)
2019-12-06 Andrew ReynoldsNew algorithm for interpolation and abduction based...
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535)
2019-12-06 Alex Ozdemir[proof] Eliminate side-condition from ER signature...
2019-12-06 Mathias Preinercontrib: Setup all dependencies in deps/ directory...
2019-12-06 Andrew ReynoldsIntroduce the Node-level Datatypes API (#3462)
2019-12-05 Andrew ReynoldsMake nonlinear solver intercept model assignments from...
2019-12-05 Andrew ReynoldsRefactor mode options for Unif+PI (#3531)
2019-12-05 Andres NoetzliBi-directional unrolling of R* regular expressions...
2019-12-05 makaimannAdd mkOp for a single Kind (#3522)
2019-12-05 Andrew ReynoldsFix the subtyping relation for functions (#3494)
2019-12-04 Andrew ReynoldsNew grammar construction modes for SyGuS (#3486)
2019-12-04 Andrew ReynoldsFix (#3530)
2019-12-04 Andrew ReynoldsFixes for SyGuS PBE + templated string concatenations...
2019-12-04 Andrew ReynoldsFix single invocation solution construction for multipl...
2019-12-04 Andres NoetzliFix corner case in model construction of strings (...
2019-12-03 Andrew ReynoldsImprove flexibility of lemma output in non-linear solve...
2019-12-03 Aina NiemetzFix clang-format file for brace wrapping with case...
2019-12-03 Andres NoetzliRewrite `str.contains` used for character matching...
2019-12-03 makaimannAdd isNullHelper to avoid calling API function isNull...
2019-12-03 makaimannMinor refactor: rename opterm_black to op_black (#3521)
2019-12-02 Andres Noetzli[SMT2 Printer] Quote symbols starting with digit (...
2019-12-02 makaimannOpTerm Refactor: Allow retrieving OpTerm used to create...
2019-12-02 Andrew Reynolds Update ownership policy for dynamic quantifiers splitt...
2019-12-02 Andrew ReynoldsFix case of higher-order + sygus inference (#3509)
2019-12-02 Andrew ReynoldsEnsure quantifiers options are set with --no-strings...
2019-12-01 Andres NoetzliPrevent ref count from reaching zero in BV instantiator...
2019-11-30 Haniel Barbosaimproving parsing error messages related to HOL (#3510)
2019-11-30 Andres NoetzliCompetition build: Skip parsing error regression (...
2019-11-30 Andrew ReynoldsFix fast SyGuS enumeration for interpreted constants...
2019-11-29 Andrew ReynoldsCheck free variables in assertions when using SyGuS...
2019-11-27 Andrew ReynoldsFix sygus inference for choice functions introduced...
2019-11-27 Haniel BarbosaEnable sygusRecFun by default and fixes SyGuS+RecFun...
2019-11-27 Andrew Reynolds Fix indexof range lemma (#3499)
2019-11-25 Andrew ReynoldsBetter front-end type checking for SyGuS (#3496)
2019-11-22 Andrew ReynoldsMinor refactoring of compute model value for nl (#3489)
2019-11-22 Haniel Barbosafixing stupid typo (#3488)
2019-11-21 Haniel Barbosahard limit for rec-fun eval (#3485)
2019-11-21 Andrew ReynoldsEvaluation unfolding for symbolic SyGuS constructors...
2019-11-20 Haniel BarbosaLazy evaluation via rec-funs of ITE expressions (...
2019-11-19 Andres NoetzliFix reduction of `sqrt` (#3478)
2019-11-19 Alex OzdemirAdd a few comments to ProofManager (#3477)
2019-11-19 Alex OzdemirSignature documentation update (#3476)
2019-11-18 Andres NoetzliUse -Wimplicit-fallthrough (#3464)
2019-11-18 Andrew ReynoldsUse standard sygus interface for abduction and rewrite...
2019-11-18 Andrew ReynoldsImprove interface for sygus datatype, fix utilities...
2019-11-18 Andrew ReynoldsUpdates to the unit tests, api, and examples for dataty...
2019-11-17 Andres NoetzliAdd support for ThreadSanitizer instrumentation (#3467)
2019-11-16 Andrew ReynoldsUse standard interface for sygus default grammar constr...
2019-11-15 Andrew ReynoldsIntroduce SyGuS datatype API (#3465)
2019-11-15 Andrew ReynoldsFix wrong kind in sygus version 1 parser (#3463)
2019-11-14 Alex OzdemirUse Shebang in cxxtestgen when appropriate (#3458)
2019-11-13 Andres NoetzliAllow (set-logic ...) after (reset) (#3457)
2019-11-13 Andrew ReynoldsDistinguish unknown status for model printing (#3454)
2019-11-13 Andrew ReynoldsRefactor non-linear extension for model-based refinemen...
2019-11-11 Andrew ReynoldsAdd missing utilities for Node-level Datatype API ...
2019-11-11 Andres NoetzliFix mkConst<RoundingMode>() for Python bindings (#3447)
2019-11-11 yoni206Update README according to the new website (#3438)
2019-11-11 Andrew ReynoldsEliminate remaining references to type/expr in datatype...
2019-11-10 Andrew ReynoldsFix bugs related to sygus higher-order + recursive...
2019-11-09 Andrew ReynoldsFixes in relations related to datatypes not passed...
2019-11-08 Mathias Preinercmake: Disable C++ GNU extensions. (#3446)
2019-11-06 Andrew ReynoldsMove more string utility functions (#3398)
2019-11-06 Andrew ReynoldsMigrate more datatype methods to the Node level (#3443)
2019-11-06 Andres Noetzli[Regressions] Remove leading whitespace in output ...
2019-11-06 Andrew ReynoldsSupport for SyGuS PBE + recursive functions (#3433)
2019-11-06 Andres NoetzliRemove casts to subclasses of Type in API (#3420)
2019-11-05 Andrew ReynoldsSeparate model object in non-linear extension (#3426)
2019-11-05 Andrew ReynoldsRefactor type matcher utility (#3439)
2019-11-05 Andres Noetzli[Regressions] Support for running w/ default args ...
2019-11-04 Andrew ReynoldsMake check synth solution robust to auxiliary assertion...
2019-11-04 Andrew ReynoldsFix ho extensionality in collect model info (#3435)
2019-11-04 Andrew ReynoldsAvoid non-well-founded sygus grammars (#3434)
2019-11-04 Andrew ReynoldsMake getSynthSolution return a Bool (#3306)
2019-11-04 Andrew ReynoldsEliminate deprecated utility function from sygus (...
2019-11-01 Andrew ReynoldsFix non-termination in datatype type enumerator (#3369)
2019-11-01 Andres NoetzliFix and refactor TheoryStrings::checkFlatForms() (...
2019-11-01 Andrew ReynoldsEagerly beta reduce during sygus to builtin term conver...
2019-11-01 Andrew ReynoldsRename datatypes sygus solver (#3417)
2019-10-31 Mathias PreinerFix Unimplemented() macros missed in #3366. (#3424)
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
2019-10-30 Andrew ReynoldsSplit some generic utilities from the non-linear extens...
2019-10-28 Andrew ReynoldsFix for non-linear models (#3410)
2019-10-28 Andres NoetzliFix integer division rewrite (#3415)
2019-10-27 Andrew ReynoldsFix collect model info for higher-order (#3409)
2019-10-27 Andres NoetzliFix global-declarations support (#3403)
2019-10-23 Andrew ReynoldsFixes for SyGuS + regular expressions (#3313)
2019-10-23 Andrew ReynoldsRefactoring skolems for sets (#3381)
2019-10-22 Aina NiemetzNodeValue: Eliminate redundant NBITS macros. (#3400)
2019-10-20 Andrew V. JonesCleaning-up the declaration of wrapped functions/method...
2019-10-18 makaimannUpdate overflow check to handle negative numbers (...
2019-10-17 Andrew Reynolds Move datatype utility functions to own file (#3397)
2019-10-16 Andrew ReynoldsSolver state for theory of strings (#3181)
next