projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
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
2019-05-18 Andrew ReynoldsUpdate QF_NIA strategy (#3012) commit | commitdiff | tree
2019-05-18 Andres Noetzli[SMT-COMP2019] Better strings configuration (#3010) commit | commitdiff | tree
2019-05-18 Andres NoetzliSupport for incremental bit-blasting with CaDiCaL ... commit | commitdiff | tree
2019-05-18 Andres NoetzliFix BV ITE rewrite (#3004) commit | commitdiff | tree
2019-05-17 MartinAdd the problematic input from issue 2183 as a regressi... commit | commitdiff | tree
2019-05-16 Andres NoetzliFix iterators in Java API (#3000) commit | commitdiff | tree
2019-05-15 Mathias Preinercmake: Install JAR and JNI files for Java bindings... commit | commitdiff | tree
2019-05-15 Aina Niemetz BV: Do not enable abstraction when eager bit-blasting... commit | commitdiff | tree
2019-05-15 Andres NoetzliFix model of Boolean vars with eager bit-blaster (... commit | commitdiff | tree
2019-05-15 Andrew ReynoldsFix printing of bvurem (#2963) commit | commitdiff | tree
2019-05-10 Andrew ReynoldsDisable relational triggers (#2994) commit | commitdiff | tree
2019-05-09 Andrew ReynoldsFixes for relational triggers (#2967) commit | commitdiff | tree
2019-05-06 Andres NoetzliAdd support for re.all (#2980) commit | commitdiff | tree
2019-05-02 Andrew ReynoldsSimple optimizations to core strings theory. (#2988) commit | commitdiff | tree
2019-05-01 Andrew ReynoldsFix re-elim-agg regressions (#2987) commit | commitdiff | tree
2019-05-01 Andrew Reynolds Use total versions of div/mod in re-elim-agg (#2986) commit | commitdiff | tree
2019-04-30 Andres NoetzliFix concat-find regexp elimination (#2983) commit | commitdiff | tree
2019-04-30 Andrew ReynoldsRemove stoi solve rewrite (#2985) commit | commitdiff | tree
2019-04-30 Andres NoetzliFix use of APPLY kind in examples (#2984) commit | commitdiff | tree
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976) commit | commitdiff | tree
2019-04-29 Andrew ReynoldsOptimization for evaluation with unfolding (#2979) commit | commitdiff | tree
2019-04-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV... commit | commitdiff | tree
2019-04-25 Aina NiemetzFix compiler warning. (#2975) commit | commitdiff | tree
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) commit | commitdiff | tree
2019-04-24 Clark BarrettDco fix (#2973) commit | commitdiff | tree
2019-04-24 Aina NiemetzREADME: Remove project leaders, history. commit | commitdiff | tree
2019-04-24 Aina NiemetzCONTRIBUTING: Fix project leaders link. commit | commitdiff | tree
2019-04-23 Alex Ozdemir[BV] An option for SAT proof optimization (#2915) commit | commitdiff | tree
2019-04-23 Andrew ReynoldsRefactor normal forms in strings (#2897) commit | commitdiff | tree
2019-04-22 Aina NiemetzAdd CONTRIBUTING file. (#2968) commit | commitdiff | tree
2019-04-18 Andrew ReynoldsFail fast strategy for propagating instances (#2939) commit | commitdiff | tree
2019-04-18 Andrew Reynolds Less aggressive caching in equality engine when proofs... commit | commitdiff | tree
2019-04-17 Andrew ReynoldsCache explanations in the equality engine (#2937) commit | commitdiff | tree
2019-04-17 Andrew ReynoldsMore use of isClosure (#2959) commit | commitdiff | tree
2019-04-17 Andrew ReynoldsFix extended function decomposition (#2960) commit | commitdiff | tree
2019-04-16 Andrew ReynoldsAdd interface for term enumeration (#2956) commit | commitdiff | tree
2019-04-16 Andres NoetzliMake bv{add,mul,and,or,xor,xnor} left-associative ... commit | commitdiff | tree
2019-04-16 Andrew ReynoldsStratify enumerative instantiation (#2954) commit | commitdiff | tree
2019-04-16 Andrew ReynoldsMinor simplifications to theory quantifiers (#2953) commit | commitdiff | tree
2019-04-16 makaimannCheck for rt library in configuration -- support for... commit | commitdiff | tree
2019-04-15 Andres NoetzliInitial version of run scripts for SMT-COMP 2019 (... commit | commitdiff | tree
2019-04-12 Haniel BarbosaReferring to prerelease 1.8 (#2943) commit | commitdiff | tree
2019-04-11 Andrew Reynolds Eliminate Boolean ITE within terms, fixes 2947 (#2949) commit | commitdiff | tree
2019-04-09 Haniel BarbosaRemoving references to cvc4-bugs@... (#2945) commit | commitdiff | tree
2019-04-09 Haniel Barbosa"prerelease -> release" in INSTALL (#2944) commit | commitdiff | tree
2019-04-09 Aina NiemetzFix email address of the bugs email list and delete... commit | commitdiff | tree
2019-04-08 Haniel Barbosafix copyright year in configuration file (#2942) commit | commitdiff | tree
2019-04-05 Haniel Barbosaprerelease -> release (#2941) commit | commitdiff | tree
2019-04-05 Andrew ReynoldsFix another corner case of datatypes+PBE (#2938) commit | commitdiff | tree
2019-04-05 Haniel Barbosafix fp issue (#2940) commit | commitdiff | tree
2019-04-05 Alex OzdemirSatClauseSetHashFunction (#2916) commit | commitdiff | tree
2019-04-04 Haniel Barbosaadding sygus news (#2934) commit | commitdiff | tree
2019-04-04 Haniel BarbosaIgnoring FP benchmarks with "unsafe" sizes unless optio... commit | commitdiff | tree
next