projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Remove hard coded option for TPTP regressions in run_regression (#3128)
2018-11-28
Andrew Reynolds
Optimize re-elim for re.allchar components (#2725)
commit
|
commitdiff
|
tree
2018-11-28
Andrew Reynolds
Generalize sygus stream solution filtering to logical...
commit
|
commitdiff
|
tree
2018-11-28
Andrew Reynolds
Improve cegqi engine trace. (#2714)
commit
|
commitdiff
|
tree
2018-11-27
Andrew Reynolds
Make (T)NodeTrie a general utility (#2489)
commit
|
commitdiff
|
tree
2018-11-27
Andrew Reynolds
Fix coverity warnings in datatypes (#2553)
commit
|
commitdiff
|
tree
2018-11-27
Andrew Reynolds
Lazy model construction in TheoryEngine (#2633)
commit
|
commitdiff
|
tree
2018-11-21
Andrew Reynolds
Cache evaluations for PBE (#2699)
commit
|
commitdiff
|
tree
2018-11-21
Andrew Reynolds
Quickly recognize when PBE conjectures are infeasible...
commit
|
commitdiff
|
tree
2018-11-21
Andrew Reynolds
Support string replace all (#2704)
commit
|
commitdiff
|
tree
2018-11-21
Andrew Reynolds
Fix type enumerator for FP (#2717)
commit
|
commitdiff
|
tree
2018-11-20
Andrew Reynolds
Fix real2int regression. (#2716)
commit
|
commitdiff
|
tree
2018-11-20
Andrew Reynolds
Clausify context-dependent simplifications in ext...
commit
|
commitdiff
|
tree
2018-11-19
Andrew Reynolds
Fix E-matching for case where candidate generator is...
commit
|
commitdiff
|
tree
2018-11-15
Andrew Reynolds
Expand definitions prior to model core computation...
commit
|
commitdiff
|
tree
2018-11-07
Andrew Reynolds
Fix for itos reduction (#2691)
commit
|
commitdiff
|
tree
2018-11-06
Andrew Reynolds
Incorporate static PBE symmetry breaking lemmas into...
commit
|
commitdiff
|
tree
2018-11-05
Andrew Reynolds
Change default sygus enumeration mode to auto (#2689)
commit
|
commitdiff
|
tree
2018-11-05
Andrew Reynolds
Fix coverity warnings in sygus enumerator (#2687)
commit
|
commitdiff
|
tree
2018-11-05
Andrew Reynolds
Allow partial models with optimized sygus enumeration...
commit
|
commitdiff
|
tree
2018-11-05
Andrew Reynolds
Implement option to turn off symmetry breaking for...
commit
|
commitdiff
|
tree
2018-10-31
Andrew Reynolds
Add optimized sygus enumeration (#2677)
commit
|
commitdiff
|
tree
2018-10-24
Andrew Reynolds
Minor improvement to sygus trace (#2675)
commit
|
commitdiff
|
tree
2018-10-23
Andrew Reynolds
Do not use lazy trie for sygus-rr-verify (#2668)
commit
|
commitdiff
|
tree
2018-10-20
Andrew Reynolds
Sygus streaming non-implied predicates (#2660)
commit
|
commitdiff
|
tree
2018-10-19
Andrew Reynolds
Non-implied mode for model cores (#2653)
commit
|
commitdiff
|
tree
2018-10-18
Andrew Reynolds
Non-contributing find replace rewrite (#2652)
commit
|
commitdiff
|
tree
2018-10-18
Andrew Reynolds
Improve reduction for str.to.int (#2636)
commit
|
commitdiff
|
tree
2018-10-18
Andrew Reynolds
Constant length regular expression elimination (#2646)
commit
|
commitdiff
|
tree
2018-10-18
Andrew Reynolds
Sygus query generator (#2465)
commit
|
commitdiff
|
tree
2018-10-17
Andrew Reynolds
Fix context-dependent for positive contains reduction...
commit
|
commitdiff
|
tree
2018-10-16
Andrew Reynolds
Improve strings reductions including skolem caching...
commit
|
commitdiff
|
tree
2018-10-16
Andrew Reynolds
Improve reduction for int.to.str (#2629)
commit
|
commitdiff
|
tree
2018-10-15
Andrew Reynolds
Delay initialization of theory engine (#2621)
commit
|
commitdiff
|
tree
2018-10-12
Andrew Reynolds
Improvements to rewrite rules from inputs (#2625)
commit
|
commitdiff
|
tree
2018-10-12
Andrew Reynolds
Fix heuristic for string length approximation (#2622)
commit
|
commitdiff
|
tree
2018-10-12
Andrew Reynolds
Refactor printing of parameterized operators in smt2...
commit
|
commitdiff
|
tree
2018-10-11
Andrew Reynolds
Fix partial operator elimination in sygus grammar...
commit
|
commitdiff
|
tree
2018-10-11
Andrew Reynolds
Fix string ext inference for rewrites that introduce...
commit
|
commitdiff
|
tree
2018-10-11
Andrew Reynolds
Synthesize rewrite rules from inputs (#2608)
commit
|
commitdiff
|
tree
2018-10-10
Andrew Reynolds
Fix cegis so that evaluation unfolding is not interleaved...
commit
|
commitdiff
|
tree
2018-10-10
Andrew Reynolds
Optimize regular expression elimination (#2612)
commit
|
commitdiff
|
tree
2018-10-09
Andrew Reynolds
Support for basic actively-generated enumerators ...
commit
|
commitdiff
|
tree
2018-10-09
Andrew Reynolds
Allow multiple synthesis conjectures. (#2593)
commit
|
commitdiff
|
tree
2018-10-09
Andrew Reynolds
Fix string register extended terms (#2597)
commit
|
commitdiff
|
tree
2018-10-08
Andrew Reynolds
Address slow sygus regressions (#2598)
commit
|
commitdiff
|
tree
2018-10-08
Andrew Reynolds
Disable extended rewriter when applicable with var...
commit
|
commitdiff
|
tree
2018-10-05
Andrew Reynolds
Fix cache for sygus post-condition inference (#2592)
commit
|
commitdiff
|
tree
2018-10-05
Andrew Reynolds
Update default options for sygus (#2586)
commit
|
commitdiff
|
tree
2018-10-05
Andrew Reynolds
Fix rewrite rule filtering. (#2591)
commit
|
commitdiff
|
tree
2018-10-04
Andrew Reynolds
Infrastructure for string length entailments via approximati...
commit
|
commitdiff
|
tree
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
next