projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2019-12-05 makaimannAdd mkOp for a single Kind (#3522) commit | commitdiff | tree
2019-12-05 Andrew ReynoldsFix the subtyping relation for functions (#3494) commit | commitdiff | tree
2019-12-04 Andrew ReynoldsNew grammar construction modes for SyGuS (#3486) commit | commitdiff | tree
2019-12-04 Andrew ReynoldsFix (#3530) commit | commitdiff | tree
2019-12-04 Andrew ReynoldsFixes for SyGuS PBE + templated string concatenations... commit | commitdiff | tree
2019-12-04 Andrew ReynoldsFix single invocation solution construction for multipl... commit | commitdiff | tree
2019-12-04 Andres NoetzliFix corner case in model construction of strings (... commit | commitdiff | tree
2019-12-03 Andrew ReynoldsImprove flexibility of lemma output in non-linear solve... commit | commitdiff | tree
2019-12-03 Aina NiemetzFix clang-format file for brace wrapping with case... commit | commitdiff | tree
2019-12-03 Andres NoetzliRewrite `str.contains` used for character matching... commit | commitdiff | tree
2019-12-03 makaimannAdd isNullHelper to avoid calling API function isNull... commit | commitdiff | tree
2019-12-03 makaimannMinor refactor: rename opterm_black to op_black (#3521) commit | commitdiff | tree
2019-12-02 Andres Noetzli[SMT2 Printer] Quote symbols starting with digit (... commit | commitdiff | tree
2019-12-02 makaimannOpTerm Refactor: Allow retrieving OpTerm used to create... commit | commitdiff | tree
2019-12-02 Andrew Reynolds Update ownership policy for dynamic quantifiers splitt... commit | commitdiff | tree
2019-12-02 Andrew ReynoldsFix case of higher-order + sygus inference (#3509) commit | commitdiff | tree
2019-12-02 Andrew ReynoldsEnsure quantifiers options are set with --no-strings... commit | commitdiff | tree
2019-12-01 Andres NoetzliPrevent ref count from reaching zero in BV instantiator... commit | commitdiff | tree
2019-11-30 Haniel Barbosaimproving parsing error messages related to HOL (#3510) commit | commitdiff | tree
2019-11-30 Andres NoetzliCompetition build: Skip parsing error regression (... commit | commitdiff | tree
2019-11-30 Andrew ReynoldsFix fast SyGuS enumeration for interpreted constants... commit | commitdiff | tree
2019-11-29 Andrew ReynoldsCheck free variables in assertions when using SyGuS... commit | commitdiff | tree
2019-11-27 Andrew ReynoldsFix sygus inference for choice functions introduced... commit | commitdiff | tree
2019-11-27 Haniel BarbosaEnable sygusRecFun by default and fixes SyGuS+RecFun... commit | commitdiff | tree
2019-11-27 Andrew Reynolds Fix indexof range lemma (#3499) commit | commitdiff | tree
2019-11-25 Andrew ReynoldsBetter front-end type checking for SyGuS (#3496) commit | commitdiff | tree
2019-11-22 Andrew ReynoldsMinor refactoring of compute model value for nl (#3489) commit | commitdiff | tree
2019-11-22 Haniel Barbosafixing stupid typo (#3488) commit | commitdiff | tree
2019-11-21 Haniel Barbosahard limit for rec-fun eval (#3485) commit | commitdiff | tree
2019-11-21 Andrew ReynoldsEvaluation unfolding for symbolic SyGuS constructors... commit | commitdiff | tree
2019-11-20 Haniel BarbosaLazy evaluation via rec-funs of ITE expressions (... commit | commitdiff | tree
2019-11-19 Andres NoetzliFix reduction of `sqrt` (#3478) commit | commitdiff | tree
2019-11-19 Alex OzdemirAdd a few comments to ProofManager (#3477) commit | commitdiff | tree
2019-11-19 Alex OzdemirSignature documentation update (#3476) commit | commitdiff | tree
2019-11-18 Andres NoetzliUse -Wimplicit-fallthrough (#3464) commit | commitdiff | tree
2019-11-18 Andrew ReynoldsUse standard sygus interface for abduction and rewrite... commit | commitdiff | tree
2019-11-18 Andrew ReynoldsImprove interface for sygus datatype, fix utilities... commit | commitdiff | tree
2019-11-18 Andrew ReynoldsUpdates to the unit tests, api, and examples for dataty... commit | commitdiff | tree
2019-11-17 Andres NoetzliAdd support for ThreadSanitizer instrumentation (#3467) commit | commitdiff | tree
2019-11-16 Andrew ReynoldsUse standard interface for sygus default grammar constr... commit | commitdiff | tree
2019-11-15 Andrew ReynoldsIntroduce SyGuS datatype API (#3465) commit | commitdiff | tree
2019-11-15 Andrew ReynoldsFix wrong kind in sygus version 1 parser (#3463) commit | commitdiff | tree
2019-11-14 Alex OzdemirUse Shebang in cxxtestgen when appropriate (#3458) commit | commitdiff | tree
2019-11-13 Andres NoetzliAllow (set-logic ...) after (reset) (#3457) commit | commitdiff | tree
2019-11-13 Andrew ReynoldsDistinguish unknown status for model printing (#3454) commit | commitdiff | tree
2019-11-13 Andrew ReynoldsRefactor non-linear extension for model-based refinemen... commit | commitdiff | tree
2019-11-11 Andrew ReynoldsAdd missing utilities for Node-level Datatype API ... commit | commitdiff | tree
2019-11-11 Andres NoetzliFix mkConst<RoundingMode>() for Python bindings (#3447) commit | commitdiff | tree
2019-11-11 yoni206Update README according to the new website (#3438) commit | commitdiff | tree
2019-11-11 Andrew ReynoldsEliminate remaining references to type/expr in datatype... commit | commitdiff | tree
2019-11-10 Andrew ReynoldsFix bugs related to sygus higher-order + recursive... commit | commitdiff | tree
2019-11-09 Andrew ReynoldsFixes in relations related to datatypes not passed... commit | commitdiff | tree
2019-11-08 Mathias Preinercmake: Disable C++ GNU extensions. (#3446) commit | commitdiff | tree
2019-11-06 Andrew ReynoldsMove more string utility functions (#3398) commit | commitdiff | tree
2019-11-06 Andrew ReynoldsMigrate more datatype methods to the Node level (#3443) commit | commitdiff | tree
2019-11-06 Andres Noetzli[Regressions] Remove leading whitespace in output ... commit | commitdiff | tree
2019-11-06 Andrew ReynoldsSupport for SyGuS PBE + recursive functions (#3433) commit | commitdiff | tree
2019-11-06 Andres NoetzliRemove casts to subclasses of Type in API (#3420) commit | commitdiff | tree
2019-11-05 Andrew ReynoldsSeparate model object in non-linear extension (#3426) commit | commitdiff | tree
2019-11-05 Andrew ReynoldsRefactor type matcher utility (#3439) commit | commitdiff | tree
2019-11-05 Andres Noetzli[Regressions] Support for running w/ default args ... commit | commitdiff | tree
2019-11-04 Andrew ReynoldsMake check synth solution robust to auxiliary assertion... commit | commitdiff | tree
2019-11-04 Andrew ReynoldsFix ho extensionality in collect model info (#3435) commit | commitdiff | tree
2019-11-04 Andrew ReynoldsAvoid non-well-founded sygus grammars (#3434) commit | commitdiff | tree
2019-11-04 Andrew ReynoldsMake getSynthSolution return a Bool (#3306) commit | commitdiff | tree
2019-11-04 Andrew ReynoldsEliminate deprecated utility function from sygus (... commit | commitdiff | tree
2019-11-01 Andrew ReynoldsFix non-termination in datatype type enumerator (#3369) commit | commitdiff | tree
2019-11-01 Andres NoetzliFix and refactor TheoryStrings::checkFlatForms() (... commit | commitdiff | tree
2019-11-01 Andrew ReynoldsEagerly beta reduce during sygus to builtin term conver... commit | commitdiff | tree
2019-11-01 Andrew ReynoldsRename datatypes sygus solver (#3417) commit | commitdiff | tree
2019-10-31 Mathias PreinerFix Unimplemented() macros missed in #3366. (#3424) commit | commitdiff | tree
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... commit | commitdiff | tree
2019-10-30 Andrew ReynoldsSplit some generic utilities from the non-linear extens... commit | commitdiff | tree
2019-10-28 Andrew ReynoldsFix for non-linear models (#3410) commit | commitdiff | tree
2019-10-28 Andres NoetzliFix integer division rewrite (#3415) commit | commitdiff | tree
2019-10-27 Andrew ReynoldsFix collect model info for higher-order (#3409) commit | commitdiff | tree
2019-10-27 Andres NoetzliFix global-declarations support (#3403) commit | commitdiff | tree
2019-10-23 Andrew ReynoldsFixes for SyGuS + regular expressions (#3313) commit | commitdiff | tree
2019-10-23 Andrew ReynoldsRefactoring skolems for sets (#3381) commit | commitdiff | tree
2019-10-22 Aina NiemetzNodeValue: Eliminate redundant NBITS macros. (#3400) commit | commitdiff | tree
2019-10-20 Andrew V. JonesCleaning-up the declaration of wrapped functions/method... commit | commitdiff | tree
2019-10-18 makaimannUpdate overflow check to handle negative numbers (... commit | commitdiff | tree
2019-10-17 Andrew Reynolds Move datatype utility functions to own file (#3397) commit | commitdiff | tree
2019-10-16 Andrew ReynoldsSolver state for theory of strings (#3181) commit | commitdiff | tree
2019-10-15 Andres NoetzliFix line numbers in templates (#3391) commit | commitdiff | tree
2019-10-15 Andres NoetzliRemove remaining references to Boost and Autotools... commit | commitdiff | tree
2019-10-15 Andres NoetzliFix OOB access (#3383) commit | commitdiff | tree
2019-10-15 Andres NoetzliFix regression (#3393) commit | commitdiff | tree
2019-10-14 Andres NoetzliDisable regression test for competition build (#3388) commit | commitdiff | tree
2019-10-14 Andrew ReynoldsRemove benchmark (#3389) commit | commitdiff | tree
2019-10-14 Andrew ReynoldsSupport UF in default sygus grammars (#3319) commit | commitdiff | tree
2019-10-14 Andrew ReynoldsApply sygus repair constant techniques restricted to... commit | commitdiff | tree
2019-10-14 Andrew ReynoldsEnsure lemmas from sygus repair const are guarded ... commit | commitdiff | tree
2019-10-14 Andrew ReynoldsMinor refactor in strings rewriter (#3387) commit | commitdiff | tree
2019-10-13 Andrew ReynoldsEliminate negative constant coefficients in div/mod... commit | commitdiff | tree
2019-10-11 Andrew ReynoldsCheck that logic is set when synth-fun command is encou... commit | commitdiff | tree
2019-10-11 Andres NoetzliAdd support for UBSan instrumentation (#3382) commit | commitdiff | tree
2019-10-11 Aina NiemetzMake order of theories explicit in the source code... commit | commitdiff | tree
2019-10-10 Andrew ReynoldsWarning instead of assertion for failing propagating... commit | commitdiff | tree
2019-10-10 Mathias Preinertest: Add TS_UTILS_EXPECT_ABORT macro for unit tests... commit | commitdiff | tree
next