projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Stratify enumerative instantiation (#2954)
[cvc5.git]
/
test
/
regress
/
CMakeLists.txt
2019-04-16
Andrew Reynolds
Stratify enumerative instantiation (#2954)
blob
|
commitdiff
|
raw
2019-04-11
Andrew Reynolds
Eliminate Boolean ITE within terms, fixes 2947 (#2949)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-05
Andrew Reynolds
Fix another corner case of datatypes+PBE (#2938)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-03
Andrew Reynolds
Fix combination of datatypes + strings in PBE (#2930)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-01
Andres Noetzli
FP: Fix wrong model due to partial assignment (#2910)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-01
Andres Noetzli
Move slow string regression to regress3 (#2913)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-29
Andrew Reynolds
Apply empty splits more aggressively in sets+cardinalit...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-22
Andrew Reynolds
More fixes for PBE with datatypes (#2882)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-21
Andrew Reynolds
Rewrite selectors correctly applied to constructors...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-20
Andrew Reynolds
Sygus abduction feature (#2744)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-19
Andrew Reynolds
Fix fairness issue with fast sygus enumerator (#2873)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-15
Haniel Barbosa
New beta-reduction for HOL solving (#2869)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-14
Andrew Reynolds
Use zero slope tangent planes for transcendental functi...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-14
Andrew Reynolds
Implement proper semantics for TPTP predicate is_rat...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-12
Andrew Reynolds
Move tuple/record update elimination from ppRewrite...
blob
|
commitdiff
|
raw
|
diff to current
2019-01-22
Andrew Reynolds
Fix tuple and record CVC printing (#2818)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-22
Andrew Reynolds
Fix parsing of overloaded parametric datatype selector...
blob
|
commitdiff
|
raw
|
diff to current
2019-01-17
Andres Noetzli
Add option to print BV constants in binary (#2805)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-16
Andrew Reynolds
Fix constant contains ITOS rewrite (#2799)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-15
Andrew Reynolds
Fix unsound double abs rewrite rule for FP (#2792)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-09
Andrew Reynolds
Do not rewrite 1-constructor sygus testers to true...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-19
Andrew Reynolds
Fix issues with REWRITE_DONE in floating point rewriter...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-14
Andrew Reynolds
Fix extended rewriter for binary associative operators...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-10
makaimann
BoolToBV modes (off, ite, all) (#2530)
blob
|
commitdiff
|
raw
|
diff to current
2018-12-07
Andres Noetzli
Strings: Make EXTF_d inference more conservative (...
blob
|
commitdiff
|
raw
|
diff to current
2018-11-28
Andrew Reynolds
Optimize re-elim for re.allchar components (#2725)
blob
|
commitdiff
|
raw
|
diff to current
2018-11-21
Andrew Reynolds
Quickly recognize when PBE conjectures are infeasible...
blob
|
commitdiff
|
raw
|
diff to current
2018-11-21
Andrew Reynolds
Support string replace all (#2704)
blob
|
commitdiff
|
raw
|
diff to current
2018-11-20
Andrew Reynolds
Fix real2int regression. (#2716)
blob
|
commitdiff
|
raw
|
diff to current
2018-11-19
Andrew Reynolds
Fix E-matching for case where candidate generator is...
blob
|
commitdiff
|
raw
|
diff to current
2018-11-07
Haniel Barbosa
Adding default SyGuS grammar construction for arrays...
blob
|
commitdiff
|
raw
|
diff to current
2018-11-07
Andres Noetzli
Fix collectEmptyEqs in string rewriter (#2692)
blob
|
commitdiff
|
raw
|
diff to current
2018-11-05
yoni206
Increasing coverage (#2683)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-22
Andres Noetzli
Recover from wrong use of get-info :reason-unknown...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-19
Andres Noetzli
Add OptionException handling during initialization...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-19
Mathias Preiner
cmake: Run regression level 2 for make check. (#2645)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-19
Andrew Reynolds
Non-implied mode for model cores (#2653)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-18
Andrew Reynolds
Non-contributing find replace rewrite (#2652)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-18
Andrew Reynolds
Improve reduction for str.to.int (#2636)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-18
Andrew Reynolds
Constant length regular expression elimination (#2646)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-13
Andres Noetzli
Reset input language for ExprMiner subsolver (#2624)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-11
Andrew Reynolds
Fix string ext inference for rewrites that introduce...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-10
Andrew Reynolds
Optimize regular expression elimination (#2612)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-08
Andrew Reynolds
Address slow sygus regressions (#2598)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-05
Andrew Reynolds
Fix cache for sygus post-condition inference (#2592)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-04
Andres Noetzli
Only use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-04
Andrew Reynolds
Fix end constraint for regexp elimination (#2571)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-03
Andrew Reynolds
Fix stale op list in sets (#2572)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-03
Andrew Reynolds
Eliminate partial operators within lambdas during gramm...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-03
Andres Noetzli
cmake: Display skipped tests as not run (#2567)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-03
Andres Noetzli
Allow (_ to_fp ...) in strict parsing mode (#2566)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-01
Mathias Preiner
cmake: Add build target build-tests to build all test...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-30
Andrew Reynolds
Add rewrite for solving stoi (#2532)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-27
Andrew Reynolds
Fix Taylor overapproximation for large exponentials...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-27
Andrew Reynolds
Fix homogeneous string constant rewrite (#2545)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-26
Haniel Barbosa
Makes SyGuS parsing more robust in invariant problems...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-26
Mathias Preiner
cmake: Fix test target dependency issues. (#2540)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-26
Andrew Reynolds
Enable quantified array regression. (#2539)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Run make coverage in parallel by default.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: More documentation, clean up.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Added target check
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Mathias Preiner
cmake: Rebase with current master, add new tests/source...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Add dependencies for test targets and support...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Enable parallel execution for test targets regre...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Added regression tests and target make regress.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
blob
|
commitdiff
|
raw
|
diff to current