projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make theory rewriters non-static (#3547)
2019-12-09 Andres NoetzliMake theory rewriters non-static (#3547)
 commit | commitdiff | tree
2019-12-08 Andres Noetzli[Regressions] Require proof support for abduction ...
commit | commitdiff | tree
2019-12-07 Andres NoetzliSimplify rewrite for character matching (#3545)
 commit | commitdiff | tree
2019-12-07 Andres NoetzliUse str.subtr in str.to.int/int.to.str reduction (...
commit | commitdiff | tree
2019-12-06 Andres NoetzliAdd lemma for str.to.int/int.to.str (#3541)
 commit | commitdiff | tree
2019-12-05 Andres NoetzliBi-directional unrolling of R* regular expressions...
commit | commitdiff | tree
2019-12-04 Andres NoetzliFix corner case in model construction of strings (...
commit | commitdiff | tree
2019-12-03 Andres NoetzliRewrite `str.contains` used for character matching...
commit | commitdiff | tree
2019-12-02 Andres Noetzli[SMT2 Printer] Quote symbols starting with digit (...
commit | commitdiff | tree
2019-12-01 Andres NoetzliPrevent ref count from reaching zero in BV instantiator...
commit | commitdiff | tree
2019-11-30 Andres NoetzliCompetition build: Skip parsing error regression (...
commit | commitdiff | tree
2019-11-19 Andres NoetzliFix reduction of `sqrt` (#3478)
 commit | commitdiff | tree
2019-11-18 Andres NoetzliUse -Wimplicit-fallthrough (#3464)
 commit | commitdiff | tree
2019-11-17 Andres NoetzliAdd support for ThreadSanitizer instrumentation (#3467)
 commit | commitdiff | tree
2019-11-13 Andres NoetzliAllow (set-logic ...) after (reset) (#3457)
 commit | commitdiff | tree
2019-11-11 Andres NoetzliFix mkConst<RoundingMode>() for Python bindings (#3447)
 commit | commitdiff | tree
2019-11-06 Andres Noetzli[Regressions] Remove leading whitespace in output ...
commit | commitdiff | tree
2019-11-06 Andres NoetzliRemove casts to subclasses of Type in API (#3420)
 commit | commitdiff | tree
2019-11-05 Andres Noetzli[Regressions] Support for running w/ default args ...
commit | commitdiff | tree
2019-11-01 Andres NoetzliFix and refactor TheoryStrings::checkFlatForms() (...
commit | commitdiff | tree
2019-10-28 Andres NoetzliFix integer division rewrite (#3415)
 commit | commitdiff | tree
2019-10-27 Andres NoetzliFix global-declarations support (#3403)
 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-11 Andres NoetzliAdd support for UBSan instrumentation (#3382)
 commit | commitdiff | tree
2019-10-09 Andres NoetzliAvoid printing success for `--force-logic` (#3363)
 commit | commitdiff | tree
2019-10-08 Andres Noetzli[CVC Parser] Add support for regular expressions (...
commit | commitdiff | tree
2019-10-08 Andres NoetzliDisallow --proof and --incremental (#3332)
 commit | commitdiff | tree
2019-10-08 Andres Noetzli[SMT2 Parser] Move code of `rewriterulesCommand` (...
commit | commitdiff | tree
2019-10-03 Andres NoetzliAdd missing type definitions to CDHashMap iterator...
commit | commitdiff | tree
2019-10-03 Andres Noetzli[SMT2 Parser] Move code of `sygusCommand` (#3335)
 commit | commitdiff | tree
2019-10-02 Andres Noetzli[SMT-COMP] Remove --unconstrained-simp for incremental...
commit | commitdiff | tree
2019-09-30 Andres NoetzliAdd rewrite for splitting equalities (#2957)
 commit | commitdiff | tree
2019-09-29 Andres NoetzliIntroduce template classes for simple type rules (...
commit | commitdiff | tree
2019-09-27 Andres NoetzliMake substitution index context-independent (#2474)
 commit | commitdiff | tree
2019-09-18 Andres NoetzliAdd run script for next SMT-COMP (#3298)
 commit | commitdiff | tree
2019-08-30 Andres NoetzliFix out-of-bounds access in regexp inclusion test ...
Signed-off-by: Andres Noetzli <andres.noetzli@gmail.com>
 commit | commitdiff | tree
2019-08-30 Andres NoetzliBetter heuristic for str.code/re.range (#3220)
Signed-off-by: Andres Noetzli <anoetzli@amazon.com>
 commit | commitdiff | tree
2019-08-30 Andres NoetzliInfer conflicts based on regular expression inclusion...
Signed-off-by: Andres Noetzli <anoetzli@amazon.com>
 commit | commitdiff | tree
2019-08-14 Andres NoetzliEnable Clang-Format for Java (#3064)
 commit | commitdiff | tree
2019-07-22 Andres NoetzliAvoid move constructor of std::fstream for GCC < 5...
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-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-05 Andres NoetzliPrevent letification from shadowing variables (#3042)
 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-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-20 Andres Noetzli[SMT-COMP 2019] Update run scripts to match tracks...
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-16 Andres NoetzliFix iterators in Java API (#3000)
 commit | commitdiff | tree
2019-05-15 Andres NoetzliFix model of Boolean vars with eager bit-blaster (...
commit | commitdiff | tree
2019-05-06 Andres NoetzliAdd support for re.all (#2980)
 commit | commitdiff | tree
2019-04-30 Andres NoetzliFix concat-find regexp elimination (#2983)
 commit | commitdiff | tree
2019-04-30 Andres NoetzliFix use of APPLY kind in examples (#2984)
 commit | commitdiff | tree
2019-04-16 Andres NoetzliMake bv{add,mul,and,or,xor,xnor} left-associative ...
commit | commitdiff | tree
2019-04-15 Andres NoetzliInitial version of run scripts for SMT-COMP 2019 (...
commit | commitdiff | tree
2019-04-01 Andres NoetzliFP: Fix wrong model due to partial assignment (#2910)
 commit | commitdiff | tree
2019-04-01 Andres NoetzliFix RewriteITEBv to ensure rewrite to fixpoint (#2878)
 commit | commitdiff | tree
2019-04-01 Andres NoetzliMove slow string regression to regress3 (#2913)
 commit | commitdiff | tree
2019-03-29 Andres NoetzliFix freeing nodes with maxed refcounts (#2903)
 commit | commitdiff | tree
2019-03-26 Andres NoetzliFix warnings about wrong line numbers (#2899)
 commit | commitdiff | tree
2019-03-23 Andres NoetzliFix memory leak when using subsolvers (#2893)
 commit | commitdiff | tree
2019-03-23 Andres NoetzliStrip non-matching beginning from indexof operator...
commit | commitdiff | tree
2019-03-22 Andres NoetzliFix stripConstantEndpoints in strings rewriter (#2883)
 commit | commitdiff | tree
2019-03-21 Andres NoetzliAdd more NEWS (#2859)
 commit | commitdiff | tree
2019-03-16 Andres NoetzliLimit --solve-int-as-bv=X to QF_NIA/QF_LIA/QF_IDL ...
commit | commitdiff | tree
2019-03-13 Andres NoetzliAdd statistics for proof gen./checking time, size ...
commit | commitdiff | tree
2019-02-27 Andres NoetzliUse string stream for proofs instead of tmp files ...
commit | commitdiff | tree
2019-02-26 Andres NoetzliClangFormat: Disable DerivePointerAlignment (#2842)
 commit | commitdiff | tree
2019-02-13 Andres NoetzliRewrite simple regexp pattern to str.contains (#2827)
 commit | commitdiff | tree
2019-02-12 Andres NoetzliDelete temporary proof files when aborting CVC4 (#2834)
 commit | commitdiff | tree
2019-02-05 Andres NoetzliMake stripConstantEndpoints() less aggressive (#2830)
 commit | commitdiff | tree
2019-02-04 Andres NoetzliAdd rewrite for contains + const strings replace (...
commit | commitdiff | tree
2019-02-02 Andres NoetzliFix corner case in stripConstantEndpoints (#2824)
 commit | commitdiff | tree
2019-01-29 Andres NoetzliFix warning due to catching polymorphic exceptions...
commit | commitdiff | tree
2019-01-29 Andres NoetzliStrings: Remove redundant replace rewrite (#2822)
 commit | commitdiff | tree
2019-01-23 Andres NoetzliAvoid using ProofManager in non-proof CMS build (#2814)
 commit | commitdiff | tree
2019-01-23 Andres NoetzliStrings: Strengthen multiset reasoning (#2817)
 commit | commitdiff | tree
2019-01-19 Andres NoetzliFix missing-override warning (#2811)
 commit | commitdiff | tree
next