cvc5.git
2019-06-05 Alex OzdemirDRAT-Optimization (#2971)
2019-06-05 Andres NoetzliAdd support for SWIG 4 (#3041)
2019-06-04 Andres NoetzliEnable proof checking for QF_LRA benchmarks (#2928)
2019-06-04 Andres NoetzliAdd check that result matches benchmark status (#3028)
2019-06-03 Andres Noetzli[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039)
2019-06-03 Andres Noetzli[SMT-COMP] Increase sequential portfolio times (#3038)
2019-06-03 Andres Noetzli[SMT-COMP 2019] Use lazy BV as backup for QF_UFBV ...
2019-06-03 Andres NoetzliEnable SymFPU assertions in production (#3036)
2019-06-03 Andres Noetzli[SMT-COMP 2019] Update run script for unsat cores ...
2019-06-03 Andres NoetzliAdd check for limit of number of node children (#3035)
2019-06-01 Aina NiemetzUpdate QF_BV options for SMT-COMP 2019. (#3033)
2019-06-01 Andrew Reynolds Require that FMF model basis terms are variables ...
2019-06-01 Andrew ReynoldsFix rewriter for regular expression consume (#3029)
2019-05-30 Andres NoetzliQuote symbol when printing empty symbol name (#3025)
2019-05-27 Andres NoetzliAvoid substituting Boolean term variables (#3022)
2019-05-21 MartinUpdate to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)
2019-05-20 Andres Noetzli[SMT-COMP 2019] Update run scripts to match tracks...
2019-05-18 Aina NiemetzFP: Fix regression test and enable SymFPU on Travis...
2019-05-18 Andrew ReynoldsUpdate QF_NIA strategy (#3012)
2019-05-18 Andres Noetzli[SMT-COMP2019] Better strings configuration (#3010)
2019-05-18 Andres NoetzliSupport for incremental bit-blasting with CaDiCaL ...
2019-05-18 Andres NoetzliFix BV ITE rewrite (#3004)
2019-05-17 MartinAdd the problematic input from issue 2183 as a regressi...
2019-05-16 Andres NoetzliFix iterators in Java API (#3000)
2019-05-15 Mathias Preinercmake: Install JAR and JNI files for Java bindings...
2019-05-15 Aina Niemetz BV: Do not enable abstraction when eager bit-blasting...
2019-05-15 Andres NoetzliFix model of Boolean vars with eager bit-blaster (...
2019-05-15 Andrew ReynoldsFix printing of bvurem (#2963)
2019-05-10 Andrew ReynoldsDisable relational triggers (#2994)
2019-05-09 Andrew ReynoldsFixes for relational triggers (#2967)
2019-05-06 Andres NoetzliAdd support for re.all (#2980)
2019-05-02 Andrew ReynoldsSimple optimizations to core strings theory. (#2988)
2019-05-01 Andrew ReynoldsFix re-elim-agg regressions (#2987)
2019-05-01 Andrew Reynolds Use total versions of div/mod in re-elim-agg (#2986)
2019-04-30 Andres NoetzliFix concat-find regexp elimination (#2983)
2019-04-30 Andrew ReynoldsRemove stoi solve rewrite (#2985)
2019-04-30 Andres NoetzliFix use of APPLY kind in examples (#2984)
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976)
2019-04-29 Andrew ReynoldsOptimization for evaluation with unfolding (#2979)
2019-04-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV...
2019-04-25 Aina NiemetzFix compiler warning. (#2975)
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974)
2019-04-24 Clark BarrettDco fix (#2973)
2019-04-24 Aina NiemetzREADME: Remove project leaders, history.
2019-04-24 Aina NiemetzCONTRIBUTING: Fix project leaders link.
2019-04-23 Alex Ozdemir[BV] An option for SAT proof optimization (#2915)
2019-04-23 Andrew ReynoldsRefactor normal forms in strings (#2897)
2019-04-22 Aina NiemetzAdd CONTRIBUTING file. (#2968)
2019-04-18 Andrew ReynoldsFail fast strategy for propagating instances (#2939)
2019-04-18 Andrew Reynolds Less aggressive caching in equality engine when proofs...
2019-04-17 Andrew ReynoldsCache explanations in the equality engine (#2937)
2019-04-17 Andrew ReynoldsMore use of isClosure (#2959)
2019-04-17 Andrew ReynoldsFix extended function decomposition (#2960)
2019-04-16 Andrew ReynoldsAdd interface for term enumeration (#2956)
2019-04-16 Andres NoetzliMake bv{add,mul,and,or,xor,xnor} left-associative ...
2019-04-16 Andrew ReynoldsStratify enumerative instantiation (#2954)
2019-04-16 Andrew ReynoldsMinor simplifications to theory quantifiers (#2953)
2019-04-16 makaimannCheck for rt library in configuration -- support for...
2019-04-15 Andres NoetzliInitial version of run scripts for SMT-COMP 2019 (...
2019-04-12 Haniel BarbosaReferring to prerelease 1.8 (#2943)
2019-04-11 Andrew Reynolds Eliminate Boolean ITE within terms, fixes 2947 (#2949)
2019-04-09 Haniel BarbosaRemoving references to cvc4-bugs@... (#2945)
2019-04-09 Haniel Barbosa"prerelease -> release" in INSTALL (#2944)
2019-04-09 Aina NiemetzFix email address of the bugs email list and delete...
2019-04-08 Haniel Barbosafix copyright year in configuration file (#2942)
2019-04-05 Haniel Barbosaprerelease -> release (#2941)
2019-04-05 Andrew ReynoldsFix another corner case of datatypes+PBE (#2938)
2019-04-05 Haniel Barbosafix fp issue (#2940)
2019-04-05 Alex OzdemirSatClauseSetHashFunction (#2916)
2019-04-04 Haniel Barbosaadding sygus news (#2934)
2019-04-04 Haniel BarbosaIgnoring FP benchmarks with "unsafe" sizes unless optio...
2019-04-04 Haniel BarbosaUpdate release notes and lib version (#2933)
2019-04-03 Aina NiemetzUpdate copyright headers.
2019-04-03 Aina Niemetzget-authors: Add GitHub user ayveejay -> Andrew V....
2019-04-03 Andrew ReynoldsFix combination of datatypes + strings in PBE (#2930)
2019-04-01 Andres NoetzliFP: Fix wrong model due to partial assignment (#2910)
2019-04-01 Andres NoetzliFix RewriteITEBv to ensure rewrite to fixpoint (#2878)
2019-04-01 makaimannUpdate includes to use cvc4 top-level directory in...
2019-04-01 Andres NoetzliMove slow string regression to regress3 (#2913)
2019-04-01 Andrew ReynoldsModify strategy in sets+cardinality (#2909)
2019-03-29 Andrew ReynoldsApply empty splits more aggressively in sets+cardinalit...
2019-03-29 Haniel Barbosaremoving deprecated rewriting signature / example ...
2019-03-29 Andres NoetzliFix freeing nodes with maxed refcounts (#2903)
2019-03-29 Andrew ReynoldsFix issues in cvc parser (#2901)
2019-03-28 Haniel Barbosafix ex_bv.plf (#2905)
2019-03-26 Aina NiemetzUpdate copyright headers.
2019-03-26 Aina Niemetzupdate-copyright: Update to 2019.
2019-03-26 Mathias Preinerget-authors: Exclude empty lines.
2019-03-26 Andres NoetzliFix warnings about wrong line numbers (#2899)
2019-03-26 Andrew ReynoldsFix a few warnings (#2898)
2019-03-26 Mathias Preinerget-authors: Exclude common source code patterns. ...
2019-03-25 Aina Niemetzupdate-copyright: Fix matching of excluded paths.
2019-03-25 Aina Niemetzget-authors: Readd option -C to git blame command.
2019-03-24 Andrew Reynolds Split regular expression solver (#2891)
2019-03-24 Aina NiemetzNew C++ API: Fix include. (#2896)
2019-03-24 Aina NiemetzBV: Fix typerules for rotate operators. (#2895)
2019-03-23 Andres NoetzliFix memory leak when using subsolvers (#2893)
2019-03-23 Andres NoetzliStrip non-matching beginning from indexof operator...
2019-03-22 Andrew ReynoldsRevisit strings extended function decomposition (...
2019-03-22 Andrew ReynoldsFix instantiation stat for fmf (#2889)
next