projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix end constraint for regexp elimination (#2571)
2018-10-04
Andrew Reynolds
Fix end constraint for regexp elimination (#2571)
commit
|
commitdiff
|
tree
2018-10-04
Andrew Reynolds
Clean remaining references to getNextDecisionRequest...
commit
|
commitdiff
|
tree
2018-10-04
Andrew Reynolds
Simplify datatypes printing (#2573)
commit
|
commitdiff
|
tree
2018-10-03
Andrew Reynolds
Fix regress (#2575)
commit
|
commitdiff
|
tree
2018-10-03
Andrew Reynolds
Add actively generated sygus enumerators (#2552)
commit
|
commitdiff
|
tree
2018-10-03
Andrew Reynolds
Fix stale op list in sets (#2572)
commit
|
commitdiff
|
tree
2018-10-03
Andrew Reynolds
Eliminate partial operators within lambdas during grammar...
commit
|
commitdiff
|
tree
2018-09-30
Andrew Reynolds
Add rewrite for solving stoi (#2532)
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Remove assertion. (#2549)
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Infrastructure for using active enumerators in sygus...
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Incorporate all unification enumerators into getTermList...
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Fix Taylor overapproximation for large exponentials...
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Fix homogeneous string constant rewrite (#2545)
commit
|
commitdiff
|
tree
2018-09-27
Andrew Reynolds
Fix bug in getSymbols. (#2544)
commit
|
commitdiff
|
tree
2018-09-26
Andrew Reynolds
Enable quantified array regression. (#2539)
commit
|
commitdiff
|
tree
2018-09-26
Andrew Reynolds
Symmetry breaking for variable agnostic enumerators...
commit
|
commitdiff
|
tree
2018-09-26
Andrew Reynolds
Eagerly ensure literal on active guards for sygus enumerator...
commit
|
commitdiff
|
tree
2018-09-25
Andrew Reynolds
Fix warnings uncovered by cmake build (#2521)
commit
|
commitdiff
|
tree
2018-09-25
Andrew Reynolds
Fix quantifiers selector over store rewrite (#2510)
commit
|
commitdiff
|
tree
2018-09-25
Andrew Reynolds
Allow partial models for multiple sygus enumerators...
commit
|
commitdiff
|
tree
2018-09-25
Andrew Reynolds
Infrastructure for variable agnostic sygus enumerators...
commit
|
commitdiff
|
tree
2018-09-25
Andrew Reynolds
Improve non-linear check model error handling (#2497)
commit
|
commitdiff
|
tree
2018-09-25
Andrew Reynolds
Refactor strings equality rewriting (#2513)
commit
|
commitdiff
|
tree
2018-09-23
Andrew Reynolds
Fix regress2. (#2502)
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Decision strategy: incorporate arrays. (#2495)
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Decision strategy: incorporate separation logic. (...
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Add two rewrites for string contains character (#2492)
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Refactor strings extended functions inferences (#2480)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Decision strategy: incorporate strings fmf. (#2485)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
More aggressive caching of string skolems. (#2491)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Move and rename sygus solver classes (#2488)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Clean remaining references to getNextDecisionRequest...
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Improvements and fixes for symmetry detection and breaking...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate cegis unif (#2482)
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate bounded integers (...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate datatypes sygus solver...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
More aggressive skolem caching for strings, document...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Make strings model construction robust to lengths that...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate UF with cardinality...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate sygus feasible and sygus...
commit
|
commitdiff
|
tree
2018-09-14
Andrew Reynolds
Add Skolem cache for strings, refactor length registration...
commit
|
commitdiff
|
tree
2018-09-14
Andrew Reynolds
Generalize CandidateRewriteDatabase to ExprMiner (...
commit
|
commitdiff
|
tree
2018-09-13
Andrew Reynolds
Simplify storing of transcendental function applications...
commit
|
commitdiff
|
tree
2018-09-13
Andrew Reynolds
Decision strategy: incorporate CEGQI (#2460)
commit
|
commitdiff
|
tree
2018-09-12
Andrew Reynolds
Initial infrastructure for theory decision manager...
commit
|
commitdiff
|
tree
2018-09-12
Andrew Reynolds
Fix for when strings process loop is disabled. (#2456)
commit
|
commitdiff
|
tree
2018-09-11
Andrew Reynolds
Support model cores via option --produce-model-cores...
commit
|
commitdiff
|
tree
2018-09-11
Andrew Reynolds
Fix global negate (#2449)
commit
|
commitdiff
|
tree
2018-09-10
Andrew Reynolds
Squash implementation of counterexample-guided instantiation...
commit
|
commitdiff
|
tree
2018-09-07
Andrew Reynolds
Make isClosedEnumerable a member of TypeNode (#2434)
commit
|
commitdiff
|
tree
2018-09-06
Andrew Reynolds
Further simplify and fix initialization of ce guided...
commit
|
commitdiff
|
tree
2018-09-06
Andrew Reynolds
Refactor and document quantifiers variable elimination...
commit
|
commitdiff
|
tree
2018-09-06
Andrew Reynolds
Minor improvements to interface for rep set. (#2435)
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
More extended rewrites for strings equality (#2431)
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Eliminate select over store in quantifier bodies ...
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Remove printing support for sygus enumeration types...
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Finer-grained inference of substitutions in incremental...
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Extended rewriter for string equalities (#2427)
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Remove redundant strings rewrite. (#2422)
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Minor improvements to theory model builder interface...
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Make quantifiers strategies exit immediately when in...
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Refactor ceg conjecture initialization (#2411)
commit
|
commitdiff
|
tree
2018-08-31
Andrew Reynolds
Refactor and document alpha equivalence. (#2402)
commit
|
commitdiff
|
tree
2018-08-30
Andrew Reynolds
Add regular expression elimination module (#2400)
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Split term canonize utility to own file and document...
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Fix for get constraints method in fmf-fun (#2399)
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Solve equalities between Boolean variables in presolve...
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Fix sort inference for quantified variables of interpreted...
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Address more coverity warnings (#2394)
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Fix warning in sygus io. (#2391)
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Refactor extended rewriter, move rewrites to aggressive...
commit
|
commitdiff
|
tree
2018-08-27
Andrew Reynolds
Make division chainable in the smt2 parser (#2367)
commit
|
commitdiff
|
tree
2018-08-26
Andrew Reynolds
Fix unsigned integer type issues in strings (#2380)
commit
|
commitdiff
|
tree
2018-08-25
Andrew Reynolds
Clean up quantifiers engine initialization. (#2371)
commit
|
commitdiff
|
tree
2018-08-24
Andrew Reynolds
Fix more simple coverity warnings (#2372)
commit
|
commitdiff
|
tree
2018-08-24
Andrew Reynolds
Remove spurious disabling of cbqi-all (#2368)
commit
|
commitdiff
|
tree
2018-08-24
Andrew Reynolds
Do not print internally generated datatypes in external...
commit
|
commitdiff
|
tree
2018-08-23
Andrew Reynolds
Fixing some coverity warnings (#2357)
commit
|
commitdiff
|
tree
2018-08-23
Andrew Reynolds
Fix regression requiring proof build. (#2364)
commit
|
commitdiff
|
tree
2018-08-23
Andrew Reynolds
More regressions that increase coverage (#2354)
commit
|
commitdiff
|
tree
2018-08-22
Andrew Reynolds
More unused code elimination (#2358)
commit
|
commitdiff
|
tree
2018-08-22
Andrew Reynolds
Fix option for real2int regression. (#2353)
commit
|
commitdiff
|
tree
2018-08-22
Andrew Reynolds
Fix invalid iterator comparisons (#2349)
commit
|
commitdiff
|
tree
2018-08-22
Andrew Reynolds
Fix processing of nested Variable construct in sygus...
commit
|
commitdiff
|
tree
2018-08-21
Andrew Reynolds
Warn and enable quantifiers when using sygus + logics...
commit
|
commitdiff
|
tree
2018-08-21
Andrew Reynolds
Use cbqi-full for sygus (#2346)
commit
|
commitdiff
|
tree
2018-08-21
Andrew Reynolds
More unused code elimination (#2339)
commit
|
commitdiff
|
tree
2018-08-20
Andrew Reynolds
Remove support for prototype (non-sygus) synthesis...
commit
|
commitdiff
|
tree
2018-08-20
Andrew Reynolds
Add regressions that increase coverage (#2337)
commit
|
commitdiff
|
tree
2018-08-20
Andrew Reynolds
Minor improvements to the interface for sygus sampler...
commit
|
commitdiff
|
tree
2018-08-20
Andrew Reynolds
Make sygus inference a preprocessing pass (#2334)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Remove support for flipDecision (#2319)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Remove miscellaneous unused code (#2333)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Add sygus stream regressions (#2330)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Split sygus grammar to its own ANTLR grammar (#2307)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Fix spurious warning in sort inference (#2331)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Fix arithmetic division by zero in sygus repair constant...
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Eliminate partial operators in sygus grammar normalization...
commit
|
commitdiff
|
tree
2018-08-16
Andrew Reynolds
Minor fixes and improvement for sygus to builtin. ...
commit
|
commitdiff
|
tree
next