cvc5.git
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...
2019-08-03 Andrew ReynoldsFix printing issue related to nested quotes (#3154)
2019-08-03 Haniel BarbosaCollapse @ chains in SMT2 printer (#3140)
2019-08-02 Mathias PreinerUpdate CaDiCaL to version 1.0.3. (#3137)
2019-08-02 Andrew ReynoldsFlip the polarity of the argument of get-abduct (#3153)
2019-08-02 Mathias PreinerAdd better Python detection for contrib scripts. (...
2019-08-02 Andrew Reynolds Move basic sygus enumerator to its own file (#3149)
2019-08-02 Andrew ReynoldsRemove simplification specialized for sygus si solution...
2019-08-02 Andrew ReynoldsSupport default sygus grammar for strings (#3148)
2019-08-02 Andrew ReynoldsThrow option exception when track inst lemmas is not...
2019-08-02 Andrew ReynoldsFix solution filtering for streaming abducts (#3143)
2019-08-02 Mathias PreinerFix BVGauss unit tests. (#3142)
2019-08-02 Andrew ReynoldsEnable sygus logic when produce-abducts is true (#3144)
2019-08-02 makaimannUse python realpath instead of relying on shell realpat...
2019-08-01 Mathias PreinerFix memory leak in rewriter (debug mode). (#3141)
2019-08-01 Andrew ReynoldsMove some generic utilities out of quantifiers (#3139)
2019-08-01 Andrew Reynolds Regular expression intersection modes (#3134)
2019-07-31 Haniel BarbosaParsing THF and adding several regressions (#3131)
2019-07-31 yoni206adding bv_gauss unit test to build files (#3135)
2019-07-31 Andrew ReynoldsAdd some missing cases in evaluator (#3133)
2019-07-31 Andrew ReynoldsEager conflict detection in strings based on constant...
2019-07-30 Andrew Reynolds Track solver execution mode (#3132)
2019-07-30 Haniel BarbosaCode to activate hoelim preprocessing pass (#3129)
2019-07-30 Andrew ReynoldsMinor improvement for rewriter for str.replace (#3124)
2019-07-30 Andrew Reynolds Handle RE intersections modulo equality (#3120)
2019-07-30 Haniel BarbosaRemove hard coded option for TPTP regressions in run_re...
2019-07-29 Andrew ReynoldsModel blocker feature (#3112)
2019-07-29 Andrew ReynoldsSupport get-abduct smt2 command (#3122)
2019-07-29 Andrew ReynoldsFix match trie for polymorphic operators (#3125)
2019-07-29 yoni206Refactoring of bit-vector elimination rules (#3105)
2019-07-27 Andrew ReynoldsMinor improvement to term canonizer (#3123)
2019-07-26 Andrew ReynoldsInput user grammar in sygus abduct (#3119)
2019-07-25 Andrew ReynoldsSplit infer info data structure in strings (#3107)
2019-07-24 Haniel Barbosaadding runscripts for syguscomp2019 (#3118)
2019-07-24 Andrew ReynoldsMinor refactoring of regexp operation (#3116)
2019-07-24 Andrew Reynolds Fix null node when using no-strings-lazy-pp (#3114)
2019-07-24 Andrew Reynolds Move string util functions (#3115)
2019-07-23 Andrew ReynoldsFix sygus datatype parsing in sygus v1 format (#3113)
2019-07-23 Andrew ReynoldsFix help messages (#3096)
2019-07-23 yoni206Get operators in node (#3094)
2019-07-22 Andres NoetzliAvoid move constructor of std::fstream for GCC < 5...
2019-07-19 yoni206SyGuS grammar refactor (#3100)
2019-07-19 Andrew ReynoldsFixes for sygus with datatypes (#3103)
2019-07-19 Andrew ReynoldsFix case of unfolding negative membership in reg exp...
2019-07-18 Andrew V. JonesRemoving forward-declaration of undefined function...
2019-07-18 Andrew ReynoldsBasic rewrites for tolower/toupper (#3095)
2019-07-17 Andrew ReynoldsMinor clean in strings. (#3093)
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092)
2019-07-15 Andrew Reynolds Add string rewrite to distribute character stars over...
2019-07-08 Andrew ReynoldsTowards refactoring relations (#3078)
2019-07-06 Andrew ReynoldsRefactor strings to use an inference manager object...
2019-07-02 Andrew ReynoldsUse unique_ptr for UF modules (#3080)
2019-07-02 Alex OzdemirOptimize DRAT optimization: clause matching (#3074)
2019-07-01 Andrew ReynoldsRefactoring of relevance vector in quantifiers (#3070)
2019-07-01 Andrew ReynoldsSupport sygus version 2 format (#3066)
next