projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix fp-bool.sy grammar and require symfpu (#2631)
[cvc5.git]
/
test
/
2018-10-14
Andres Noetzli
Fix fp-bool.sy grammar and require symfpu (#2631)
tree
|
commitdiff
2018-10-13
Andres Noetzli
Reset input language for ExprMiner subsolver (#2624)
tree
|
commitdiff
2018-10-12
Andres Noetzli
Add rewrites for str.replace in str.contains (#2623)
tree
|
commitdiff
2018-10-11
Andres Noetzli
Improve reasoning about empty strings in rewriter ...
tree
|
commitdiff
2018-10-11
Andrew Reynolds
Fix string ext inference for rewrites that introduce...
tree
|
commitdiff
2018-10-10
Andrew Reynolds
Optimize regular expression elimination (#2612)
tree
|
commitdiff
2018-10-10
Andres Noetzli
Add length-based rewrites for (str.substr _ _ _) (...
tree
|
commitdiff
2018-10-09
Andrew Reynolds
Support for basic actively-generated enumerators ...
tree
|
commitdiff
2018-10-09
Aina Niemetz
BV instantiator: Factor out util functions. (#2604)
tree
|
commitdiff
2018-10-09
Aina Niemetz
BV inverter: Factor out util functions. (#2603)
tree
|
commitdiff
2018-10-08
Andrew Reynolds
Address slow sygus regressions (#2598)
tree
|
commitdiff
2018-10-05
Andrew Reynolds
Fix cache for sygus post-condition inference (#2592)
tree
|
commitdiff
2018-10-05
Andrew Reynolds
Update default options for sygus (#2586)
tree
|
commitdiff
2018-10-04
Aina Niemetz
New C++ API: Add checks for Sorts. (#2519)
tree
|
commitdiff
2018-10-04
Andres Noetzli
Only use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)
tree
|
commitdiff
2018-10-04
Andrew Reynolds
Fix end constraint for regexp elimination (#2571)
tree
|
commitdiff
2018-10-03
Andrew Reynolds
Fix regress (#2575)
tree
|
commitdiff
2018-10-03
Andrew Reynolds
Fix stale op list in sets (#2572)
tree
|
commitdiff
2018-10-03
Andrew Reynolds
Eliminate partial operators within lambdas during gramm...
tree
|
commitdiff
2018-10-03
Andres Noetzli
cmake: Display skipped tests as not run (#2567)
tree
|
commitdiff
2018-10-03
Andres Noetzli
Allow (_ to_fp ...) in strict parsing mode (#2566)
tree
|
commitdiff
2018-10-03
Mathias Preiner
unit: Fix ASAN detection for GCC. (#2561)
tree
|
commitdiff
2018-10-02
Mathias Preiner
cmake: Add examples to build-tests, add warning for...
tree
|
commitdiff
2018-10-02
Andres Noetzli
Fix "catching polymorphic type by value" warnings ...
tree
|
commitdiff
2018-10-01
Mathias Preiner
cmake: Add build target build-tests to build all test...
tree
|
commitdiff
2018-09-30
Andrew Reynolds
Add rewrite for solving stoi (#2532)
tree
|
commitdiff
2018-09-28
Andres Noetzli
Rewrites for (= "" _) and (= (str.replace _) _) (#2546)
tree
|
commitdiff
2018-09-28
Andres Noetzli
cmake: Only do Java tests when unit testing on (#2551)
tree
|
commitdiff
2018-09-28
Mathias Preiner
cmake: Add CxxTest finder module to allow custom paths...
tree
|
commitdiff
2018-09-27
Andrew Reynolds
Fix Taylor overapproximation for large exponentials...
tree
|
commitdiff
2018-09-27
Andrew Reynolds
Fix homogeneous string constant rewrite (#2545)
tree
|
commitdiff
2018-09-26
Haniel Barbosa
Makes SyGuS parsing more robust in invariant problems...
tree
|
commitdiff
2018-09-26
Mathias Preiner
cmake: Fix test target dependency issues. (#2540)
tree
|
commitdiff
2018-09-26
Andrew Reynolds
Enable quantified array regression. (#2539)
tree
|
commitdiff
2018-09-25
Andrew Reynolds
Fix quantifiers selector over store rewrite (#2510)
tree
|
commitdiff
2018-09-24
Andres Noetzli
Unify rewrites related to (str.contains x y) --> (...
tree
|
commitdiff
2018-09-24
Andres Noetzli
Make string rewriter unit tests more robust (#2520)
tree
|
commitdiff
2018-09-23
Andrew Reynolds
Fix regress2. (#2502)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Fix systemtests dependency.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Run make coverage in parallel by default.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Refactor cvc4_add_unit_test macro to support...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Require JUnit version 4.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: More documentation, clean up.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Disable unit tests if assertions are not enabled.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Do not build examples and unit and system tests...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added target check
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Rebase with current master, add new tests/source...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Compile Java tests and add to ctest if Java...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Add dependencies for test targets and support...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Enable parallel execution for test targets regre...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added system tests and target make systemtests.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added regression tests and target make regress.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Disable W-suggest-override for unit tests.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Add target units.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Removed obsolete CMakeLists file in test.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Add support for CxxTest.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-19
Andres Noetzli
Add rewrites for str.contains + str.replace/substr...
tree
|
commitdiff
2018-09-18
Andres Noetzli
Fix issue with str.idof in evaluator (#2493)
tree
|
commitdiff
2018-09-18
Andrew Reynolds
Improvements and fixes for symmetry detection and break...
tree
|
commitdiff
2018-09-17
Andrew Reynolds
Make strings model construction robust to lengths that...
tree
|
commitdiff
2018-09-15
Andres Noetzli
Refactor how assertions are added to decision engine...
tree
|
commitdiff
2018-09-14
Andrew Reynolds
Generalize CandidateRewriteDatabase to ExprMiner (...
tree
|
commitdiff
2018-09-13
Haniel Barbosa
Uses information gain heuristic for building better...
tree
|
commitdiff
2018-09-11
Andrew Reynolds
Support model cores via option --produce-model-cores...
tree
|
commitdiff
2018-09-11
Andrew Reynolds
Fix global negate (#2449)
tree
|
commitdiff
2018-09-10
Andres Noetzli
Add (str.replace (str.replace y w y) y z) rewrite ...
tree
|
commitdiff
2018-09-06
Andrew Reynolds
Refactor and document quantifiers variable elimination...
tree
|
commitdiff
2018-09-05
Andres Noetzli
Add regex grammar to rewriter verification tests (...
tree
|
commitdiff
2018-09-05
Andrew Reynolds
Extended rewriter for string equalities (#2427)
tree
|
commitdiff
2018-09-04
Andres Noetzli
Remove CVC3 compatibility layer (#2418)
tree
|
commitdiff
2018-09-04
Andrew Reynolds
Make quantifiers strategies exit immediately when in...
tree
|
commitdiff
2018-08-30
Andrew Reynolds
Add regular expression elimination module (#2400)
tree
|
commitdiff
2018-08-28
Andrew Reynolds
Fix for get constraints method in fmf-fun (#2399)
tree
|
commitdiff
2018-08-28
Andrew Reynolds
Fix sort inference for quantified variables of interpre...
tree
|
commitdiff
2018-08-28
Andrew Reynolds
Refactor extended rewriter, move rewrites to aggressive...
tree
|
commitdiff
2018-08-27
Andrew Reynolds
Make division chainable in the smt2 parser (#2367)
tree
|
commitdiff
2018-08-25
Haniel Barbosa
Refactor nlExtPurify preprocessing pass (#1963)
tree
|
commitdiff
2018-08-24
Andrew Reynolds
Remove spurious disabling of cbqi-all (#2368)
tree
|
commitdiff
2018-08-24
Andres Noetzli
Add tests that enumerate and verify rewrite rules ...
tree
|
commitdiff
2018-08-23
Andres Noetzli
Add missing overrides in unit tests (#2362)
tree
|
commitdiff
2018-08-23
Andrew Reynolds
Fix regression requiring proof build. (#2364)
tree
|
commitdiff
2018-08-23
Andrew Reynolds
More regressions that increase coverage (#2354)
tree
|
commitdiff
2018-08-22
yoni206
Generating less consistency lemmas in bv-ackermann...
tree
|
commitdiff
2018-08-22
Andrew Reynolds
Fix option for real2int regression. (#2353)
tree
|
commitdiff
2018-08-22
Haniel Barbosa
Adds regression test for automatic generation of SyGuS...
tree
|
commitdiff
2018-08-22
Andrew Reynolds
Fix processing of nested Variable construct in sygus...
tree
|
commitdiff
2018-08-21
Haniel Barbosa
Makes the new row propagation system default (#2335)
tree
|
commitdiff
2018-08-21
Andrew Reynolds
Use cbqi-full for sygus (#2346)
tree
|
commitdiff
2018-08-21
Andres Noetzli
Remove support for *.expect files in regressions (...
tree
|
commitdiff
2018-08-21
Aina Niemetz
Remove disabled system test cvc3_george. (#2342)
tree
|
commitdiff
2018-08-20
Andrew Reynolds
Add regressions that increase coverage (#2337)
tree
|
commitdiff
2018-08-18
Aina Niemetz
run-regress script: Exit with exit code > 0 on failure...
tree
|
commitdiff
2018-08-17
Andrew Reynolds
Remove support for flipDecision (#2319)
tree
|
commitdiff
2018-08-17
Andrew Reynolds
Add sygus stream regressions (#2330)
tree
|
commitdiff
2018-08-17
Andrew Reynolds
Fix spurious warning in sort inference (#2331)
tree
|
commitdiff
2018-08-17
Andrew Reynolds
Eliminate partial operators in sygus grammar normaliza...
tree
|
commitdiff
2018-08-16
Haniel Barbosa
Refactor extended rewriter preprocessing pass (#2324)
tree
|
commitdiff
next