projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Introduce tables in the rewriter (#3742)
2020-03-11 Andres NoetzliIntroduce tables in the rewriter (#3742)
 commit | commitdiff | tree
2020-03-11 Andres NoetzliSet assertion in `CnfStream::ensureLiteral()` (#3927)
 commit | commitdiff | tree
2020-03-09 Andres NoetzliMake registration of unit clauses more robust (#3965)
 commit | commitdiff | tree
2020-03-09 Andres NoetzliIncrease stack size for Windows builds to 100 MB (...
commit | commitdiff | tree
2020-03-09 Andres NoetzliFix quoting of options on Travis (#3981)
 commit | commitdiff | tree
2020-03-06 Andres NoetzliIgnore model check warning in regression test (#3926)
 commit | commitdiff | tree
2020-03-06 Andres NoetzliMake output of regression script more readable (#3911)
 commit | commitdiff | tree
2020-03-06 Andres NoetzliRemove --apply-to-const preprocessing pass (#3919)
 commit | commitdiff | tree
2020-03-05 Andres NoetzliAdd a new arith constraint proof rule: IntTightenAP...
commit | commitdiff | tree
2020-03-03 Andres NoetzliFix `TheorySetsPrive::eqNotifyPostMerge()` (#3901)
 commit | commitdiff | tree
2020-02-29 Andres NoetzliAdd support for str.from_code (#3829)
 commit | commitdiff | tree
2020-02-27 Andres NoetzliFix -Wshadow warnings in common headers (#3826)
 commit | commitdiff | tree
2020-02-26 Andres NoetzliRemove portfolio leftovers (#3821)
 commit | commitdiff | tree
2020-02-24 Andres NoetzliMake lambda rewriter more robust (#3806)
 commit | commitdiff | tree
2020-02-20 Andres NoetzliRemove unused code (#3782)
 commit | commitdiff | tree
2020-02-20 Andres NoetzliRemove parser from bindings (#3779)
 commit | commitdiff | tree
2020-02-16 Andres NoetzliActivate reverse variant of F-Split inference (#3745)
 commit | commitdiff | tree
2020-02-13 Andres Noetzli[Python] Properly destroy CVC4 object (#3753)
 commit | commitdiff | tree
2020-02-12 Andres NoetzliRename Java package to edu.stanford.CVC4 (#3752)
 commit | commitdiff | tree
2020-02-11 Andres NoetzliRemove `--strings-binary-csp` option (#3743)
 commit | commitdiff | tree
2020-02-11 Andres NoetzliRefactor `CoreSolver::processSimpleNEq()` (#3736)
 commit | commitdiff | tree
2020-02-08 Andres NoetzliMake "unknown" non-critical for unsat cores check ...
commit | commitdiff | tree
2020-02-04 Andres NoetzliRevert semantic change from refactoring (#3711)
 commit | commitdiff | tree
2020-01-31 Andres NoetzliFix arithmetic rewriter for exponential (#3688)
 commit | commitdiff | tree
2020-01-30 Andres NoetzliBetter heuristics for marking congruent variables ...
commit | commitdiff | tree
2020-01-14 Andres NoetzliDisable unsat cores for regression that times out ...
commit | commitdiff | tree
2020-01-13 Andres NoetzliSupport arbitrary unsigned integer attributes (#3591)
 commit | commitdiff | tree
2020-01-10 Andres NoetzliFix printing of models of uninterpreted sorts (#3597)
 commit | commitdiff | tree
2020-01-10 Andres NoetzliOptimize str.substr reduction (#3595)
 commit | commitdiff | tree
2019-12-18 Andres NoetzliAvoid calling rewriter from type checker (#3548)
 commit | commitdiff | tree
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
next