projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix get-unsat-assumptions output (#2301)
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
2018-04-21 Andres NoetzliRemove unused cache.h (#1795)
 commit | commitdiff | tree
2018-04-20 Andres NoetzliRestrict test summary to first-level subfolders (#1797)
 commit | commitdiff | tree
2018-04-19 Andres NoetzliRefactor pbRewrites preprocessing pass (#1767)
 commit | commitdiff | tree
2018-04-19 Andres NoetzliRemove tap-driver.sh (#1791)
 commit | commitdiff | tree
2018-04-17 Andres NoetzliAdd timeout (option) to regression script (#1786)
 commit | commitdiff | tree
2018-04-17 Andres NoetzliDisable slow regression test (#1787)
 commit | commitdiff | tree
2018-04-16 Andres NoetzliDisable check proofs/unsat cores for two regs (#1785)
 commit | commitdiff | tree
2018-04-16 Andres NoetzliRemoveTermFormulas: Remove ContainsTermITEVisitor ...
commit | commitdiff | tree
2018-04-14 Andres Noetzli[Reg] Make status/unsat-core detection more robust...
commit | commitdiff | tree
2018-04-14 Andres NoetzliFix get-unsat-core detection in regression script ...
commit | commitdiff | tree
2018-04-14 Andres NoetzliFix use-after-free in eager bitblaster (#1772)
 commit | commitdiff | tree
2018-04-13 Andres NoetzliFix issue in regression script when proofs enabled...
commit | commitdiff | tree
2018-04-10 Andres NoetzliRemove unused arith options (#1758)
 commit | commitdiff | tree
2018-04-08 Andres NoetzliWarn about trailing spaces in src/Makefile.am (#1759)
 commit | commitdiff | tree
2018-04-06 Andres Noetzli Python regression script (#1662)
 commit | commitdiff | tree
2018-04-05 Andres NoetzliMake Python bindings example compatible w/ Python3...
commit | commitdiff | tree
2018-04-05 Andres NoetzliUpdate README for regression tests (#1746)
 commit | commitdiff | tree
2018-04-04 Andres NoetzliRefactor IntToBV preprocessing pass (#1716)
 commit | commitdiff | tree
2018-04-04 Andres Noetzli[BVMiniSat] Avoid duplicates in conflicts (#1745)
 commit | commitdiff | tree
2018-03-27 Andres NoetzliBetter normalization of string concatenation (#1719)
 commit | commitdiff | tree
2018-03-26 Andres NoetzliRegression level 0 for distcheck on Travis (#1714)
 commit | commitdiff | tree
2018-03-26 Andres NoetzliAdd support for filtering regressions with regex (...
commit | commitdiff | tree
2018-03-26 Andres NoetzliFix memory leak in bvminisat (#1710)
 commit | commitdiff | tree
2018-03-26 Andres NoetzliMake Java bindings work with newer build envs (#1709)
 commit | commitdiff | tree
2018-03-26 Andres Noetzli Add reasoning for inequalities in str rewriter (#1713)
 commit | commitdiff | tree
2018-03-26 Andres NoetzliRewrites for substr of strings of length one (#1712)
 commit | commitdiff | tree
2018-03-21 Andres NoetzliFix 'make regress' (#1683)
 commit | commitdiff | tree
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658)
 commit | commitdiff | tree
2018-03-21 Andres NoetzliFix various regression tests (#1657)
 commit | commitdiff | tree
2018-03-09 Andres NoetzliSkip (get-unsat-assumptions) tests not supported (...
commit | commitdiff | tree
2018-03-06 Andres NoetzliRemove printf from output utilities (#1629)
 commit | commitdiff | tree
2018-02-24 Andres NoetzliAdd unit tests for BitVector, minor BV rewrite fix...
commit | commitdiff | tree
2018-02-15 Andres NoetzliFix context memory manager unit test (#1609)
 commit | commitdiff | tree
2018-02-14 Andres NoetzliRemove unused cd_set_collection.h (#1606)
 commit | commitdiff | tree
2018-02-09 Andres NoetzliReplace CMM flag with debug CMM flag, fix leak in debug...
commit | commitdiff | tree
2018-02-08 Andres NoetzliRemove invalid regression test (#1579)
 commit | commitdiff | tree
2018-01-08 Andres NoetzliFix broken GMP URL in get-win-dependencies script ...
commit | commitdiff | tree
2017-12-10 Andres NoetzliFix issue with mkConst/getConst of TypeConstant (#1439)
 commit | commitdiff | tree
2017-12-06 Andres NoetzliRemove CDChunkList (#1414)
 commit | commitdiff | tree
2017-12-01 Andres NoetzliFix reset-assertions (#1413)
 commit | commitdiff | tree
2017-12-01 Andres NoetzliFix build when Valgrind instrumentation enabled
 commit | commitdiff | tree
2017-12-01 Andres NoetzliAdd debugging tools for ContextMemoryManager (#1407)
 commit | commitdiff | tree
2017-11-01 Andres Noetzli Add option to build shared Windows dependencies (...
commit | commitdiff | tree
2017-10-28 Andres NoetzliChange bvudiv semantics based on input language (#1292)
 commit | commitdiff | tree
2017-10-27 Andres NoetzliModify LDFLAGS to support shared libraries for Win...
commit | commitdiff | tree
2017-10-26 Andres NoetzliUse uintptr_t for pointer casts in Swig files (#1278)
 commit | commitdiff | tree
2017-10-10 Andres NoetzliFix memory leak in quantifiers engine (#1219)
 commit | commitdiff | tree
next