projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix fp-bool.sy grammar and require symfpu (#2631)
2018-10-14 Andres NoetzliFix fp-bool.sy grammar and require symfpu (#2631)
 commit | commitdiff | tree
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624)
 commit | commitdiff | tree
2018-10-12 Andres Noetzli Add rewrites for str.replace in str.contains (#2623)
 commit | commitdiff | tree
2018-10-11 Andres NoetzliImprove reasoning about empty strings in rewriter ...
commit | commitdiff | tree
2018-10-11 Andres NoetzliFix compiler warnings (#2602)
 commit | commitdiff | tree
2018-10-10 Andres NoetzliAdd length-based rewrites for (str.substr _ _ _) (...
commit | commitdiff | tree
2018-10-04 Andres NoetzliOnly use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)
 commit | commitdiff | tree
2018-10-03 Andres Noetzlicmake: Display skipped tests as not run (#2567)
 commit | commitdiff | tree
2018-10-03 Andres NoetzliAllow (_ to_fp ...) in strict parsing mode (#2566)
 commit | commitdiff | tree
2018-10-02 Andres NoetzliMake registration of preprocessing passes explicit...
commit | commitdiff | tree
2018-10-02 Andres NoetzliFix "catching polymorphic type by value" warnings ...
commit | commitdiff | tree
2018-10-01 Andres Noetzli Fix dumping pre/post preprocessing passes (#2469)
 commit | commitdiff | tree
2018-10-01 Andres NoetzliRefactor preprocessing pass registration (#2468)
 commit | commitdiff | tree
2018-09-28 Andres NoetzliRewrites for (= "" _) and (= (str.replace _) _) (#2546)
 commit | commitdiff | tree
2018-09-28 Andres Noetzlicmake: Only do Java tests when unit testing on (#2551)
 commit | commitdiff | tree
2018-09-24 Andres NoetzliUnify rewrites related to (str.contains x y) --> (...
commit | commitdiff | tree
2018-09-24 Andres NoetzliMake string rewriter unit tests more robust (#2520)
 commit | commitdiff | tree
2018-09-19 Andres NoetzliAdd rewrites for str.contains + str.replace/substr...
commit | commitdiff | tree
2018-09-18 Andres NoetzliFix issue with str.idof in evaluator (#2493)
 commit | commitdiff | tree
2018-09-17 Andres NoetzliFollow redirects with cURL in contrib/get* scripts...
commit | commitdiff | tree
2018-09-17 Andres NoetzliRemove broken dumping support from portfolio build...
commit | commitdiff | tree
2018-09-17 Andres NoetzliRemove unnecessary tracing from preprocessing (#2472)
 commit | commitdiff | tree
2018-09-15 Andres NoetzliRefactor how assertions are added to decision engine...
commit | commitdiff | tree
2018-09-11 Andres NoetzliSet NodeManager to nullptr when exporting vars (#2445)
 commit | commitdiff | tree
2018-09-10 Andres NoetzliAdd (str.replace (str.replace y w y) y z) rewrite ...
commit | commitdiff | tree
2018-09-05 Andres NoetzliAdd regex grammar to rewriter verification tests (...
commit | commitdiff | tree
2018-09-04 Andres NoetzliUpdate INSTALL instructions (#2420)
 commit | commitdiff | tree
2018-09-04 Andres NoetzliRemove CVC3 compatibility layer (#2418)
 commit | commitdiff | tree
2018-09-04 Andres NoetzliRemove unused options file (#2413)
 commit | commitdiff | tree
2018-08-30 Andres NoetzliUse useBland option in FCSimplexDecisionProcedure ...
commit | commitdiff | tree
2018-08-28 Andres NoetzliRemove throw specifiers in FP type checker (#2392)
 commit | commitdiff | tree
2018-08-28 Andres NoetzliRemove dead code in fp_converter (#2388)
 commit | commitdiff | tree
2018-08-28 Andres NoetzliRemove dead code in evaluator (#2389)
 commit | commitdiff | tree
2018-08-27 Andres NoetzliResolution proof: separate printing from proof (#1964)
 commit | commitdiff | tree
2018-08-27 Andres NoetzliRemove Coverity build from Travis (#2373)
 commit | commitdiff | tree
2018-08-26 Andres NoetzliUse uniform length limit for String constants (#2381)
 commit | commitdiff | tree
2018-08-26 Andres NoetzliRefactor unconstrained simplification pass (#2374)
 commit | commitdiff | tree
2018-08-24 Andres NoetzliAdd tests that enumerate and verify rewrite rules ...
commit | commitdiff | tree
2018-08-23 Andres NoetzliAdd missing overrides in unit tests (#2362)
 commit | commitdiff | tree
2018-08-23 Andres NoetzliUse "filename" instead of "name" in SmtEngine::setInfo...
commit | commitdiff | tree
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (...
commit | commitdiff | tree
2018-08-17 Andres NoetzliRefactor IteRemoval preprocessing pass (#1793)
 commit | commitdiff | tree
2018-08-16 Andres NoetzliMove node algorithms to separate file (#2311)
 commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused tuple classes (#2313)
 commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused class DynamicArray (#2312)
 commit | commitdiff | tree
2018-08-15 Andres NoetzliFix dumping of get-unsat-assumptions (#2302)
 commit | commitdiff | tree
2018-08-15 Andres NoetzliRemove unused declaration (#2310)
 commit | commitdiff | tree
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301)
 commit | commitdiff | tree
2018-08-11 Andres NoetzliMake attributes robust to static init orderings (#2295)
 commit | commitdiff | tree
2018-08-10 Andres NoetzliDo not use static initialization in CxxTest runner...
commit | commitdiff | tree
2018-08-09 Andres NoetzliFix documentation of regression tests (#2290)
 commit | commitdiff | tree
2018-08-08 Andres NoetzliRequire Swig 3 (#2283)
 commit | commitdiff | tree
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (...
commit | commitdiff | tree
2018-08-02 Andres NoetzliRemove Subversion build info (#2250)
 commit | commitdiff | tree
2018-08-02 Andres NoetzliRemove outdated references to TLS (#2245)
 commit | commitdiff | tree
2018-08-01 Andres NoetzliFix wrong evaluation of STRING_STOI (#2252)
 commit | commitdiff | tree
2018-07-27 Andres NoetzliFix issues related to cxxtest in configure.ac (#2226)
 commit | commitdiff | tree
2018-07-15 Andres NoetzliAvoid ambiguous overloads in BitVector (#2169)
 commit | commitdiff | tree
2018-07-14 Andres NoetzliexportTo only if needed for --sygus-rr-synth-check...
commit | commitdiff | tree
2018-07-13 Andres NoetzliProperly clean up assertion stack in CnfProof (#2147)
 commit | commitdiff | tree
2018-07-08 Andres NoetzliAdd more sophisticated floating-point sampler (#2155)
 commit | commitdiff | tree
2018-07-06 Andres NoetzliAdd option for timeout for rewrite candidate check...
commit | commitdiff | tree
2018-07-05 Andres NoetzlisygusComp2018: Improve string rewriter (#2141)
 commit | commitdiff | tree
2018-07-04 Andres NoetzliRemove unused CDVector (#2139)
 commit | commitdiff | tree
2018-07-03 Andres NoetzliAdd regression test for issue #1986 (#2114)
 commit | commitdiff | tree
2018-06-28 Andres NoetzliFix stale reference in MiniSat when generating UC ...
commit | commitdiff | tree
2018-06-26 Andres NoetzlisygusComp2018: Add evaluator (#2090)
 commit | commitdiff | tree
2018-06-26 Andres NoetzliMinor improvements in SMT2 and CVC printers (#2089)
 commit | commitdiff | tree
2018-06-25 Andres NoetzliRemove parentheses for prefix ops without args (#2082)
 commit | commitdiff | tree
2018-06-21 Andres NoetzliFix warnings and enable -Wnon-virtual-dtor warning...
commit | commitdiff | tree
2018-06-21 Andres NoetzliCheck unsat cores in regressions also without LFSC...
commit | commitdiff | tree
2018-06-20 Andres NoetzliResolve CVC4_USE_SYMFPU in headers at config-time ...
commit | commitdiff | tree
2018-06-13 Andres NoetzliWorkaround for incremental unsat cores (#1962)
 commit | commitdiff | tree
2018-06-13 Andres NoetzliDisable unconstrainedSimp pass when proofs enabled...
commit | commitdiff | tree
2018-06-10 Andres NoetzliDisable test that fails in competition mode (#2063)
 commit | commitdiff | tree
2018-06-09 Andres NoetzliAdd flag to skip regression if feature enabled (#2062)
 commit | commitdiff | tree
2018-06-09 Andres NoetzliReset decisions at SAT level after solving (#2059)
 commit | commitdiff | tree
2018-06-07 Andres NoetzliLook for cryptominisat5_simple, not cryptominisat5...
commit | commitdiff | tree
2018-06-05 Andres NoetzliOnly enable transcendentals if logic is N[I]RAT (#2052)
 commit | commitdiff | tree
2018-06-04 Andres Noetzli[SMT-COMP] Add new logics to run-scripts (#2022)
 commit | commitdiff | tree
2018-06-04 Andres NoetzliRegressions: Support for requiring CVC4 features (...
commit | commitdiff | tree
2018-05-30 Andres NoetzliFix for issue #2002 (#2012)
 commit | commitdiff | tree
2018-05-30 Andres Noetzli[SMT-COMP] Print non-(un)sat output to stderr (#2019)
 commit | commitdiff | tree
2018-05-29 Andres Noetzli Make user's SMT2 version override file version (#2004)
 commit | commitdiff | tree
2018-05-29 Andres NoetzliTrack input language in a single place (#2003)
 commit | commitdiff | tree
2018-05-27 Andres NoetzliFix no-cbqi-innermost option name in run script (#1994)
 commit | commitdiff | tree
2018-05-25 Andres NoetzliMiniSat: Be more careful about running proof code ...
commit | commitdiff | tree
2018-05-24 Andres NoetzliFix compiler warnings (#1959)
 commit | commitdiff | tree
2018-05-23 Andres NoetzliRemove ProofProxy (#1965)
 commit | commitdiff | tree
2018-05-23 Andres NoetzliSet same options for proofs as for unsat cores (#1957)
 commit | commitdiff | tree
2018-05-22 Andres NoetzliDisable symmetry breaker for unsat cores (#1958)
 commit | commitdiff | tree
2018-05-21 Andres NoetzliRemove Eclipse project files (#1928)
 commit | commitdiff | tree
2018-05-21 Andres NoetzliFix compiler warning in hashsmt example (#1927)
 commit | commitdiff | tree
2018-05-11 Andres NoetzliSupport multiple sets of command line args in regs...
commit | commitdiff | tree
2018-05-04 Andres NoetzliMake --output-lang consistent with --lang (#1877)
 commit | commitdiff | tree
2018-05-04 Andres NoetzliFix printing of multiple datatypes (#1872)
 commit | commitdiff | tree
2018-05-03 Andres NoetzliFix warnings in proof code (#1850)
 commit | commitdiff | tree
2018-05-03 Andres NoetzliRemove (dummy) SMT1 printer (#1854)
 commit | commitdiff | tree
2018-04-30 Andres NoetzliRemove dead code in bv-to-bool preprocessing pass ...
commit | commitdiff | tree
2018-04-30 Andres NoetzliDisable unsat-cores/proofs for slow regression (#1835)
 commit | commitdiff | tree
next