projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2019-08-06 Haniel BarbosaScripts for CASC-27 (#3163) commit | commitdiff | tree
2019-08-06 Andrew ReynoldsFix drat signature wrt side condition return types... commit | commitdiff | tree
2019-08-05 Andrew ReynoldsRemove forward declarations in quantifiers engine ... commit | commitdiff | tree
2019-08-04 Mathias PreinerFix regression script for incremental SMT-LIB v2 benchm... commit | commitdiff | tree
2019-08-03 Andrew ReynoldsFix printing issue related to nested quotes (#3154) commit | commitdiff | tree
2019-08-03 Haniel BarbosaCollapse @ chains in SMT2 printer (#3140) commit | commitdiff | tree
2019-08-02 Mathias PreinerUpdate CaDiCaL to version 1.0.3. (#3137) commit | commitdiff | tree
2019-08-02 Andrew ReynoldsFlip the polarity of the argument of get-abduct (#3153) commit | commitdiff | tree
2019-08-02 Mathias PreinerAdd better Python detection for contrib scripts. (... commit | commitdiff | tree
2019-08-02 Andrew Reynolds Move basic sygus enumerator to its own file (#3149) commit | commitdiff | tree
2019-08-02 Andrew ReynoldsRemove simplification specialized for sygus si solution... commit | commitdiff | tree
2019-08-02 Andrew ReynoldsSupport default sygus grammar for strings (#3148) commit | commitdiff | tree
2019-08-02 Andrew ReynoldsThrow option exception when track inst lemmas is not... commit | commitdiff | tree
2019-08-02 Andrew ReynoldsFix solution filtering for streaming abducts (#3143) commit | commitdiff | tree
2019-08-02 Mathias PreinerFix BVGauss unit tests. (#3142) commit | commitdiff | tree
2019-08-02 Andrew ReynoldsEnable sygus logic when produce-abducts is true (#3144) commit | commitdiff | tree
2019-08-02 makaimannUse python realpath instead of relying on shell realpat... commit | commitdiff | tree
2019-08-01 Mathias PreinerFix memory leak in rewriter (debug mode). (#3141) commit | commitdiff | tree
2019-08-01 Andrew ReynoldsMove some generic utilities out of quantifiers (#3139) commit | commitdiff | tree
2019-08-01 Andrew Reynolds Regular expression intersection modes (#3134) commit | commitdiff | tree
2019-07-31 Haniel BarbosaParsing THF and adding several regressions (#3131) commit | commitdiff | tree
2019-07-31 yoni206adding bv_gauss unit test to build files (#3135) commit | commitdiff | tree
2019-07-31 Andrew ReynoldsAdd some missing cases in evaluator (#3133) commit | commitdiff | tree
2019-07-31 Andrew ReynoldsEager conflict detection in strings based on constant... commit | commitdiff | tree
2019-07-30 Andrew Reynolds Track solver execution mode (#3132) commit | commitdiff | tree
2019-07-30 Haniel BarbosaCode to activate hoelim preprocessing pass (#3129) commit | commitdiff | tree
2019-07-30 Andrew ReynoldsMinor improvement for rewriter for str.replace (#3124) commit | commitdiff | tree
2019-07-30 Andrew Reynolds Handle RE intersections modulo equality (#3120) commit | commitdiff | tree
2019-07-30 Haniel BarbosaRemove hard coded option for TPTP regressions in run_re... commit | commitdiff | tree
2019-07-29 Andrew ReynoldsModel blocker feature (#3112) commit | commitdiff | tree
2019-07-29 Andrew ReynoldsSupport get-abduct smt2 command (#3122) commit | commitdiff | tree
2019-07-29 Andrew ReynoldsFix match trie for polymorphic operators (#3125) commit | commitdiff | tree
2019-07-29 yoni206Refactoring of bit-vector elimination rules (#3105) commit | commitdiff | tree
2019-07-27 Andrew ReynoldsMinor improvement to term canonizer (#3123) commit | commitdiff | tree
2019-07-26 Andrew ReynoldsInput user grammar in sygus abduct (#3119) commit | commitdiff | tree
2019-07-25 Andrew ReynoldsSplit infer info data structure in strings (#3107) commit | commitdiff | tree
2019-07-24 Haniel Barbosaadding runscripts for syguscomp2019 (#3118) commit | commitdiff | tree
2019-07-24 Andrew ReynoldsMinor refactoring of regexp operation (#3116) commit | commitdiff | tree
2019-07-24 Andrew Reynolds Fix null node when using no-strings-lazy-pp (#3114) commit | commitdiff | tree
2019-07-24 Andrew Reynolds Move string util functions (#3115) commit | commitdiff | tree
2019-07-23 Andrew ReynoldsFix sygus datatype parsing in sygus v1 format (#3113) commit | commitdiff | tree
2019-07-23 Andrew ReynoldsFix help messages (#3096) commit | commitdiff | tree
2019-07-23 yoni206Get operators in node (#3094) commit | commitdiff | tree
2019-07-22 Andres NoetzliAvoid move constructor of std::fstream for GCC < 5... commit | commitdiff | tree
2019-07-19 yoni206SyGuS grammar refactor (#3100) commit | commitdiff | tree
2019-07-19 Andrew ReynoldsFixes for sygus with datatypes (#3103) commit | commitdiff | tree
2019-07-19 Andrew ReynoldsFix case of unfolding negative membership in reg exp... commit | commitdiff | tree
2019-07-18 Andrew V. JonesRemoving forward-declaration of undefined function... commit | commitdiff | tree
2019-07-18 Andrew ReynoldsBasic rewrites for tolower/toupper (#3095) commit | commitdiff | tree
2019-07-17 Andrew ReynoldsMinor clean in strings. (#3093) commit | commitdiff | tree
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092) commit | commitdiff | tree
2019-07-15 Andrew Reynolds Add string rewrite to distribute character stars over... commit | commitdiff | tree
2019-07-08 Andrew ReynoldsTowards refactoring relations (#3078) commit | commitdiff | tree
2019-07-06 Andrew ReynoldsRefactor strings to use an inference manager object... commit | commitdiff | tree
2019-07-02 Andrew ReynoldsUse unique_ptr for UF modules (#3080) commit | commitdiff | tree
2019-07-02 Alex OzdemirOptimize DRAT optimization: clause matching (#3074) commit | commitdiff | tree
2019-07-01 Andrew ReynoldsRefactoring of relevance vector in quantifiers (#3070) commit | commitdiff | tree
2019-07-01 Andrew ReynoldsSupport sygus version 2 format (#3066) commit | commitdiff | tree
2019-07-01 Andrew Reynolds Split higher-order UF solver (#2890) commit | commitdiff | tree
2019-07-01 Andrew ReynoldsAdd higher-order elimination preprocessing pass (#2865) commit | commitdiff | tree
2019-06-28 makaimannMake mkOpTerm const (#3072) commit | commitdiff | tree
2019-06-27 Andrew ReynoldsVariable elimination rewrite for quantified strings... commit | commitdiff | tree
2019-06-24 Andrew ReynoldsStratify unfolding of regular expressions based on... commit | commitdiff | tree
2019-06-24 Andres NoetzliFix memory leak in unit test (#3068) commit | commitdiff | tree
2019-06-22 Andres NoetzliAdd floating-point support in the Java API (#3063) commit | commitdiff | tree
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062) commit | commitdiff | tree
2019-06-21 Andres NoetzliUse TMPDIR environment variable for temp files (#2849) commit | commitdiff | tree
2019-06-18 Andres Noetzli Strings: More aggressive skolem normalization (#2761) commit | commitdiff | tree
2019-06-15 Andres NoetzliUse Ubuntu 16.04 on Travis (#3059) commit | commitdiff | tree
2019-06-14 Andres NoetzliAdd lemma for the range of values of str.indexof (... commit | commitdiff | tree
2019-06-13 Andrew Reynolds Shorten explanation for strings inference I_Norm_S... commit | commitdiff | tree
2019-06-13 Haniel BarbosaFix warning (#3053) commit | commitdiff | tree
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... commit | commitdiff | tree
2019-06-12 Andres NoetzliDisable dumping regression for non-dumping builds ... commit | commitdiff | tree
2019-06-12 Andres NoetzliFix compilation issue for Java bindings + CLN (#3045) commit | commitdiff | tree
2019-06-11 Ahmed IrfanNA Tangent reverse implication (#3050) commit | commitdiff | tree
2019-06-11 Andrew Reynolds Minor cleaning of conflict-based instantiation (#2966) commit | commitdiff | tree
2019-06-11 Andrew ReynoldsDo not require sygus constructors to be flattened ... commit | commitdiff | tree
2019-06-11 Andrew Reynolds Fix spurious assertion in get-value (#3052) commit | commitdiff | tree
2019-06-10 Andrew ReynoldsOptimization for negative concatenation membership... commit | commitdiff | tree
2019-06-10 Andrew ReynoldsOptimization for strings normalize disequalities (... commit | commitdiff | tree
2019-06-05 Andres NoetzliPrevent letification from shadowing variables (#3042) commit | commitdiff | tree
2019-06-05 Alex OzdemirDRAT-Optimization (#2971) commit | commitdiff | tree
2019-06-05 Andres NoetzliAdd support for SWIG 4 (#3041) commit | commitdiff | tree
2019-06-04 Andres NoetzliEnable proof checking for QF_LRA benchmarks (#2928) commit | commitdiff | tree
2019-06-04 Andres NoetzliAdd check that result matches benchmark status (#3028) commit | commitdiff | tree
2019-06-03 Andres Noetzli[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039) commit | commitdiff | tree
2019-06-03 Andres Noetzli[SMT-COMP] Increase sequential portfolio times (#3038) commit | commitdiff | tree
2019-06-03 Andres Noetzli[SMT-COMP 2019] Use lazy BV as backup for QF_UFBV ... commit | commitdiff | tree
2019-06-03 Andres NoetzliEnable SymFPU assertions in production (#3036) commit | commitdiff | tree
2019-06-03 Andres Noetzli[SMT-COMP 2019] Update run script for unsat cores ... commit | commitdiff | tree
2019-06-03 Andres NoetzliAdd check for limit of number of node children (#3035) commit | commitdiff | tree
2019-06-01 Aina NiemetzUpdate QF_BV options for SMT-COMP 2019. (#3033) commit | commitdiff | tree
2019-06-01 Andrew Reynolds Require that FMF model basis terms are variables ... commit | commitdiff | tree
2019-06-01 Andrew ReynoldsFix rewriter for regular expression consume (#3029) commit | commitdiff | tree
2019-05-30 Andres NoetzliQuote symbol when printing empty symbol name (#3025) commit | commitdiff | tree
2019-05-27 Andres NoetzliAvoid substituting Boolean term variables (#3022) commit | commitdiff | tree
2019-05-21 MartinUpdate to symfpu 0.0.7, fixes RTI 3/5 issue (#3007) commit | commitdiff | tree
2019-05-20 Andres Noetzli[SMT-COMP 2019] Update run scripts to match tracks... commit | commitdiff | tree
2019-05-18 Aina NiemetzFP: Fix regression test and enable SymFPU on Travis... commit | commitdiff | tree
next