projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Initialize inputAssertions only when proofRecipe is non-null (#2325)
2018-08-17
Andres Noetzli
Refactor IteRemoval preprocessing pass (#1793)
commit
|
commitdiff
|
tree
2018-08-16
Andres Noetzli
Move node algorithms to separate file (#2311)
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Remove unused tuple classes (#2313)
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Remove unused class DynamicArray (#2312)
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Fix dumping of get-unsat-assumptions (#2302)
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Remove unused declaration (#2310)
commit
|
commitdiff
|
tree
2018-08-14
Andres Noetzli
Fix get-unsat-assumptions output (#2301)
commit
|
commitdiff
|
tree
2018-08-11
Andres Noetzli
Make attributes robust to static init orderings (#2295)
commit
|
commitdiff
|
tree
2018-08-10
Andres Noetzli
Do not use static initialization in CxxTest runner...
commit
|
commitdiff
|
tree
2018-08-09
Andres Noetzli
Fix documentation of regression tests (#2290)
commit
|
commitdiff
|
tree
2018-08-08
Andres Noetzli
Require Swig 3 (#2283)
commit
|
commitdiff
|
tree
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
commit
|
commitdiff
|
tree
2018-08-02
Andres Noetzli
Remove Subversion build info (#2250)
commit
|
commitdiff
|
tree
2018-08-02
Andres Noetzli
Remove outdated references to TLS (#2245)
commit
|
commitdiff
|
tree
2018-08-01
Andres Noetzli
Fix wrong evaluation of STRING_STOI (#2252)
commit
|
commitdiff
|
tree
2018-07-27
Andres Noetzli
Fix issues related to cxxtest in configure.ac (#2226)
commit
|
commitdiff
|
tree
2018-07-15
Andres Noetzli
Avoid ambiguous overloads in BitVector (#2169)
commit
|
commitdiff
|
tree
2018-07-14
Andres Noetzli
exportTo only if needed for --sygus-rr-synth-check...
commit
|
commitdiff
|
tree
2018-07-13
Andres Noetzli
Properly clean up assertion stack in CnfProof (#2147)
commit
|
commitdiff
|
tree
2018-07-08
Andres Noetzli
Add more sophisticated floating-point sampler (#2155)
commit
|
commitdiff
|
tree
2018-07-06
Andres Noetzli
Add option for timeout for rewrite candidate check...
commit
|
commitdiff
|
tree
2018-07-05
Andres Noetzli
sygusComp2018: Improve string rewriter (#2141)
commit
|
commitdiff
|
tree
2018-07-04
Andres Noetzli
Remove unused CDVector (#2139)
commit
|
commitdiff
|
tree
2018-07-03
Andres Noetzli
Add regression test for issue #1986 (#2114)
commit
|
commitdiff
|
tree
2018-06-28
Andres Noetzli
Fix stale reference in MiniSat when generating UC ...
commit
|
commitdiff
|
tree
2018-06-26
Andres Noetzli
sygusComp2018: Add evaluator (#2090)
commit
|
commitdiff
|
tree
2018-06-26
Andres Noetzli
Minor improvements in SMT2 and CVC printers (#2089)
commit
|
commitdiff
|
tree
2018-06-25
Andres Noetzli
Remove parentheses for prefix ops without args (#2082)
commit
|
commitdiff
|
tree
2018-06-21
Andres Noetzli
Fix warnings and enable -Wnon-virtual-dtor warning...
commit
|
commitdiff
|
tree
2018-06-21
Andres Noetzli
Check unsat cores in regressions also without LFSC...
commit
|
commitdiff
|
tree
2018-06-20
Andres Noetzli
Resolve CVC4_USE_SYMFPU in headers at config-time ...
commit
|
commitdiff
|
tree
2018-06-13
Andres Noetzli
Workaround for incremental unsat cores (#1962)
commit
|
commitdiff
|
tree
2018-06-13
Andres Noetzli
Disable unconstrainedSimp pass when proofs enabled...
commit
|
commitdiff
|
tree
2018-06-10
Andres Noetzli
Disable test that fails in competition mode (#2063)
commit
|
commitdiff
|
tree
2018-06-09
Andres Noetzli
Add flag to skip regression if feature enabled (#2062)
commit
|
commitdiff
|
tree
2018-06-09
Andres Noetzli
Reset decisions at SAT level after solving (#2059)
commit
|
commitdiff
|
tree
2018-06-07
Andres Noetzli
Look for cryptominisat5_simple, not cryptominisat5...
commit
|
commitdiff
|
tree
2018-06-05
Andres Noetzli
Only 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 Noetzli
Regressions: Support for requiring CVC4 features (...
commit
|
commitdiff
|
tree
2018-05-30
Andres Noetzli
Fix 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 Noetzli
Track input language in a single place (#2003)
commit
|
commitdiff
|
tree
2018-05-27
Andres Noetzli
Fix no-cbqi-innermost option name in run script (#1994)
commit
|
commitdiff
|
tree
2018-05-25
Andres Noetzli
MiniSat: Be more careful about running proof code ...
commit
|
commitdiff
|
tree
2018-05-24
Andres Noetzli
Fix compiler warnings (#1959)
commit
|
commitdiff
|
tree
2018-05-23
Andres Noetzli
Remove ProofProxy (#1965)
commit
|
commitdiff
|
tree
2018-05-23
Andres Noetzli
Set same options for proofs as for unsat cores (#1957)
commit
|
commitdiff
|
tree
2018-05-22
Andres Noetzli
Disable symmetry breaker for unsat cores (#1958)
commit
|
commitdiff
|
tree
2018-05-21
Andres Noetzli
Remove Eclipse project files (#1928)
commit
|
commitdiff
|
tree
2018-05-21
Andres Noetzli
Fix compiler warning in hashsmt example (#1927)
commit
|
commitdiff
|
tree
2018-05-11
Andres Noetzli
Support multiple sets of command line args in regs...
commit
|
commitdiff
|
tree
2018-05-04
Andres Noetzli
Make --output-lang consistent with --lang (#1877)
commit
|
commitdiff
|
tree
2018-05-04
Andres Noetzli
Fix printing of multiple datatypes (#1872)
commit
|
commitdiff
|
tree
2018-05-03
Andres Noetzli
Fix warnings in proof code (#1850)
commit
|
commitdiff
|
tree
2018-05-03
Andres Noetzli
Remove (dummy) SMT1 printer (#1854)
commit
|
commitdiff
|
tree
2018-04-30
Andres Noetzli
Remove dead code in bv-to-bool preprocessing pass ...
commit
|
commitdiff
|
tree
2018-04-30
Andres Noetzli
Disable unsat-cores/proofs for slow regression (#1835)
commit
|
commitdiff
|
tree
2018-04-21
Andres Noetzli
Remove unused cache.h (#1795)
commit
|
commitdiff
|
tree
2018-04-20
Andres Noetzli
Restrict test summary to first-level subfolders (#1797)
commit
|
commitdiff
|
tree
2018-04-19
Andres Noetzli
Refactor pbRewrites preprocessing pass (#1767)
commit
|
commitdiff
|
tree
2018-04-19
Andres Noetzli
Remove tap-driver.sh (#1791)
commit
|
commitdiff
|
tree
2018-04-17
Andres Noetzli
Add timeout (option) to regression script (#1786)
commit
|
commitdiff
|
tree
2018-04-17
Andres Noetzli
Disable slow regression test (#1787)
commit
|
commitdiff
|
tree
2018-04-16
Andres Noetzli
Disable check proofs/unsat cores for two regs (#1785)
commit
|
commitdiff
|
tree
2018-04-16
Andres Noetzli
RemoveTermFormulas: 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 Noetzli
Fix get-unsat-core detection in regression script ...
commit
|
commitdiff
|
tree
2018-04-14
Andres Noetzli
Fix use-after-free in eager bitblaster (#1772)
commit
|
commitdiff
|
tree
2018-04-13
Andres Noetzli
Fix issue in regression script when proofs enabled...
commit
|
commitdiff
|
tree
2018-04-10
Andres Noetzli
Remove unused arith options (#1758)
commit
|
commitdiff
|
tree
2018-04-08
Andres Noetzli
Warn 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 Noetzli
Make Python bindings example compatible w/ Python3...
commit
|
commitdiff
|
tree
2018-04-05
Andres Noetzli
Update README for regression tests (#1746)
commit
|
commitdiff
|
tree
2018-04-04
Andres Noetzli
Refactor 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 Noetzli
Better normalization of string concatenation (#1719)
commit
|
commitdiff
|
tree
2018-03-26
Andres Noetzli
Regression level 0 for distcheck on Travis (#1714)
commit
|
commitdiff
|
tree
2018-03-26
Andres Noetzli
Add support for filtering regressions with regex (...
commit
|
commitdiff
|
tree
2018-03-26
Andres Noetzli
Fix memory leak in bvminisat (#1710)
commit
|
commitdiff
|
tree
2018-03-26
Andres Noetzli
Make 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 Noetzli
Rewrites for substr of strings of length one (#1712)
commit
|
commitdiff
|
tree
2018-03-21
Andres Noetzli
Fix '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 Noetzli
Fix various regression tests (#1657)
commit
|
commitdiff
|
tree
2018-03-09
Andres Noetzli
Skip (get-unsat-assumptions) tests not supported (...
commit
|
commitdiff
|
tree
2018-03-06
Andres Noetzli
Remove printf from output utilities (#1629)
commit
|
commitdiff
|
tree
2018-02-24
Andres Noetzli
Add unit tests for BitVector, minor BV rewrite fix...
commit
|
commitdiff
|
tree
2018-02-15
Andres Noetzli
Fix context memory manager unit test (#1609)
commit
|
commitdiff
|
tree
2018-02-14
Andres Noetzli
Remove unused cd_set_collection.h (#1606)
commit
|
commitdiff
|
tree
2018-02-09
Andres Noetzli
Replace CMM flag with debug CMM flag, fix leak in debug...
commit
|
commitdiff
|
tree
2018-02-08
Andres Noetzli
Remove invalid regression test (#1579)
commit
|
commitdiff
|
tree
2018-01-08
Andres Noetzli
Fix broken GMP URL in get-win-dependencies script ...
commit
|
commitdiff
|
tree
2017-12-10
Andres Noetzli
Fix issue with mkConst/getConst of TypeConstant (#1439)
commit
|
commitdiff
|
tree
2017-12-06
Andres Noetzli
Remove CDChunkList (#1414)
commit
|
commitdiff
|
tree
2017-12-01
Andres Noetzli
Fix reset-assertions (#1413)
commit
|
commitdiff
|
tree
2017-12-01
Andres Noetzli
Fix build when Valgrind instrumentation enabled
commit
|
commitdiff
|
tree
next