projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Allow multiple functions in sygus unif approaches (#1831)
2018-04-30
Andrew Reynolds
Allow multiple functions in sygus unif approaches ...
commit
|
commitdiff
|
tree
2018-04-30
Andrew Reynolds
Make factoring inference more aggressive (#1825)
commit
|
commitdiff
|
tree
2018-04-30
Andrew Reynolds
Refactor nonlinear check (#1814)
commit
|
commitdiff
|
tree
2018-04-30
Andrew Reynolds
Improvements to simple transcendental function check...
commit
|
commitdiff
|
tree
2018-04-28
Andrew Reynolds
Make construct solution behavior specific to SygusIO...
commit
|
commitdiff
|
tree
2018-04-27
Andrew Reynolds
Print function for equality status. (#1826)
commit
|
commitdiff
|
tree
2018-04-27
Andrew Reynolds
Simplify tangent plane direction (#1824)
commit
|
commitdiff
|
tree
2018-04-27
Andrew Reynolds
Core improvements to extended rewriter (#1820)
commit
|
commitdiff
|
tree
2018-04-26
Andrew Reynolds
Fix subgoal generation context (#1816)
commit
|
commitdiff
|
tree
2018-04-25
Andrew Reynolds
Equality resolution in the extended rewriter (#1811)
commit
|
commitdiff
|
tree
2018-04-25
Andrew Reynolds
Move candidate rewrite code to own file (#1804)
commit
|
commitdiff
|
tree
2018-04-25
Andrew Reynolds
Add benchmark requiring subgoal generation with induction...
commit
|
commitdiff
|
tree
2018-04-25
Andrew Reynolds
Remove nl solve subs option. (#1803)
commit
|
commitdiff
|
tree
2018-04-25
Andrew Reynolds
Fix issue with multi-triggers that include variable...
commit
|
commitdiff
|
tree
2018-04-23
Andrew Reynolds
Draft smt comp 2018 for quantifiers and non-linear...
commit
|
commitdiff
|
tree
2018-04-21
Andrew Reynolds
Improve sygus sampling for strings (#1802)
commit
|
commitdiff
|
tree
2018-04-20
Andrew Reynolds
Reenable filtering based on ordering in sygus sampler...
commit
|
commitdiff
|
tree
2018-04-20
Andrew Reynolds
Draft of casc j9 scripts (#1800)
commit
|
commitdiff
|
tree
2018-04-16
Andrew Reynolds
Make 256 the default cardinality for strings (#1783)
commit
|
commitdiff
|
tree
2018-04-16
Andrew Reynolds
Skolemize candidate rewrite rule checks (#1777)
commit
|
commitdiff
|
tree
2018-04-16
Andrew Reynolds
Make strings fmf apply to all but internally generated...
commit
|
commitdiff
|
tree
2018-04-15
Andrew Reynolds
Fix type error with regexp (#1778)
commit
|
commitdiff
|
tree
2018-04-15
Andrew Reynolds
Fix mk type const (#1776)
commit
|
commitdiff
|
tree
2018-04-14
Andrew Reynolds
Another fix for sygus rr stats. (#1768)
commit
|
commitdiff
|
tree
2018-04-14
Andrew Reynolds
Disable split for negative contains. (#1774)
commit
|
commitdiff
|
tree
2018-04-13
Andrew Reynolds
Fix alpha equivalence for higher-order (#1769)
commit
|
commitdiff
|
tree
2018-04-12
Andrew Reynolds
Fixes for free variables in assertions (#1762)
commit
|
commitdiff
|
tree
2018-04-11
Andrew Reynolds
Properly implement function extensionality based on...
commit
|
commitdiff
|
tree
2018-04-10
Andrew Reynolds
Improve accuracy of stats for sygus sampler (#1755)
commit
|
commitdiff
|
tree
2018-04-10
Andrew Reynolds
Fix hasSubterm calls for higher-order (#1760)
commit
|
commitdiff
|
tree
2018-04-10
Andrew Reynolds
Fix higher-order term indexing. (#1754)
commit
|
commitdiff
|
tree
2018-04-09
Andrew Reynolds
Fix sygus substr static symmetry breaking (#1761)
commit
|
commitdiff
|
tree
2018-04-08
Andrew Reynolds
Allow predetermined first-order variables when constructing...
commit
|
commitdiff
|
tree
2018-04-08
Andrew Reynolds
Check free variables in assertions (#1737)
commit
|
commitdiff
|
tree
2018-04-08
Andrew Reynolds
Do not introduce uinterpreted constants in TPTP parser...
commit
|
commitdiff
|
tree
2018-04-08
Andrew Reynolds
Add quantifier name attribute. (#1756)
commit
|
commitdiff
|
tree
2018-04-04
Andrew Reynolds
Proper initialization and destruction of sygus unif...
commit
|
commitdiff
|
tree
2018-04-04
Andrew Reynolds
Fix for corner case of higher-order matching (#1708)
commit
|
commitdiff
|
tree
2018-04-04
Andrew Reynolds
Do not debug check models when unknown (#1748)
commit
|
commitdiff
|
tree
2018-04-04
Andrew Reynolds
Fix sygus infer (#1747)
commit
|
commitdiff
|
tree
2018-04-04
Andrew Reynolds
Option to turn arbitrary input into sygus (#1704)
commit
|
commitdiff
|
tree
2018-04-03
Andrew Reynolds
Make sygus unif I/O an subclass of sygus unif (#1741)
commit
|
commitdiff
|
tree
2018-04-03
Andrew Reynolds
Use choice when expanding definitions for inverse transcende...
commit
|
commitdiff
|
tree
2018-04-03
Andrew Reynolds
Internal sygus type checking (#1734)
commit
|
commitdiff
|
tree
2018-04-03
Andrew Reynolds
Improvements to extended rewriter for Booleans and...
commit
|
commitdiff
|
tree
2018-04-02
Andrew Reynolds
Make sygus unif utility use sygus unif strategies ...
commit
|
commitdiff
|
tree
2018-03-30
Andrew Reynolds
Disable regression (#1731)
commit
|
commitdiff
|
tree
2018-03-30
Andrew Reynolds
Split strategy representation from SygusUnif (#1730)
commit
|
commitdiff
|
tree
2018-03-30
Andrew Reynolds
Do not use factoring inference for transcendental functions...
commit
|
commitdiff
|
tree
2018-03-29
Andrew Reynolds
Simplify sygus unif so that it is one-to-one with functions...
commit
|
commitdiff
|
tree
2018-03-27
Andrew Reynolds
Make sygus pbe use sygus unif utility (#1724)
commit
|
commitdiff
|
tree
2018-03-27
Andrew Reynolds
Fix for --sygus-rr-synth (#1723)
commit
|
commitdiff
|
tree
2018-03-27
Andrew Reynolds
Make sygus unif utility (#1720)
commit
|
commitdiff
|
tree
2018-03-27
Andrew Reynolds
Filter candidate rewrites based on matching (#1682)
commit
|
commitdiff
|
tree
2018-03-27
Andrew Reynolds
Documentation and simplifications for PBE (#1677)
commit
|
commitdiff
|
tree
2018-03-26
Andrew Reynolds
Synth-check and accelerate options for sygus-rr (#1691)
commit
|
commitdiff
|
tree
2018-03-26
Andrew Reynolds
Abort when sygus-verify finds unsoundness. (#1717)
commit
|
commitdiff
|
tree
2018-03-26
Andrew Reynolds
Check model only when sat (#1694)
commit
|
commitdiff
|
tree
2018-03-25
Andrew Reynolds
Cleanup various exit calls (#1692)
commit
|
commitdiff
|
tree
2018-03-23
Andrew Reynolds
Add a few quantifiers regressions to improve coverage...
commit
|
commitdiff
|
tree
2018-03-23
Andrew Reynolds
Remove abstract regular expression constant (#1698)
commit
|
commitdiff
|
tree
2018-03-23
Andrew Reynolds
Remove unused code (#1700)
commit
|
commitdiff
|
tree
2018-03-23
Andrew Reynolds
Minor reorganization for ematching (#1701)
commit
|
commitdiff
|
tree
2018-03-23
Andrew Reynolds
Enable post-condition strenghtening by default for...
commit
|
commitdiff
|
tree
2018-03-21
Andrew Reynolds
More rewrites for indexof (#1648)
commit
|
commitdiff
|
tree
2018-03-21
Andrew Reynolds
Fix for string disequality processing (#1679)
commit
|
commitdiff
|
tree
2018-03-20
Andrew Reynolds
Minor refactor datatypes sygus (#1673)
commit
|
commitdiff
|
tree
2018-03-20
Andrew Reynolds
Internally remove redundant assertions and infer equalities...
commit
|
commitdiff
|
tree
2018-03-20
Andrew Reynolds
Fix datatype dump regression. (#1672)
commit
|
commitdiff
|
tree
2018-03-20
Andrew Reynolds
Minor fix and addition to sygus sampler (#1678)
commit
|
commitdiff
|
tree
2018-03-20
Andrew Reynolds
Enable CEGQI for non-linear (#1674)
commit
|
commitdiff
|
tree
2018-03-19
Andrew Reynolds
Document inferences for strings (#1642)
commit
|
commitdiff
|
tree
2018-03-06
Andrew Reynolds
Simplify initialization of quantifiers engine (#1641)
commit
|
commitdiff
|
tree
2018-03-06
Andrew Reynolds
Refactor symmetry breaking in datatypes sygus (#1640)
commit
|
commitdiff
|
tree
2018-03-06
Andrew Reynolds
Update semantics for string indexof and replace (#1630)
commit
|
commitdiff
|
tree
2018-03-05
Andrew Reynolds
Fix for sampler. (#1639)
commit
|
commitdiff
|
tree
2018-03-02
Andrew Reynolds
Optimization for sygus streaming mode (#1636)
commit
|
commitdiff
|
tree
2018-03-02
Andrew Reynolds
Simplify sygus wrt miniscoping (#1634)
commit
|
commitdiff
|
tree
2018-03-02
Andrew Reynolds
Print candidate rewrites in terms of original grammar...
commit
|
commitdiff
|
tree
2018-03-02
Andrew Reynolds
Create infrastructure for sygus modules (#1632)
commit
|
commitdiff
|
tree
2018-02-28
Andrew Reynolds
Minor fixes for rec-fun (#1616)
commit
|
commitdiff
|
tree
2018-02-27
Andrew Reynolds
Improve rewriter for string indexof (#1592)
commit
|
commitdiff
|
tree
2018-02-27
Andrew Reynolds
Option to not use partial function semantics for arithmetic...
commit
|
commitdiff
|
tree
2018-02-27
Andrew Reynolds
Improvements to sygus sampling (#1621)
commit
|
commitdiff
|
tree
2018-02-23
Andrew Reynolds
Fix cd-simplification for strings (#1624)
commit
|
commitdiff
|
tree
2018-02-22
Andrew Reynolds
Minor improvements to string rewriter (#1572)
commit
|
commitdiff
|
tree
2018-02-20
Andrew Reynolds
Minor fixes and additions for transcendental functions...
commit
|
commitdiff
|
tree
2018-02-15
Andrew Reynolds
Fix corner case for rewrite of mult by pow 2 (#1601)
commit
|
commitdiff
|
tree
2018-02-15
Andrew Reynolds
Refactor regressions (#1581)
commit
|
commitdiff
|
tree
2018-02-14
Andrew Reynolds
Quantifiers subdirectories (#1608)
commit
|
commitdiff
|
tree
2018-02-13
Andrew Reynolds
Option to use extended rewriter as a preprocessing...
commit
|
commitdiff
|
tree
2018-02-12
Andrew Reynolds
Minor improvements to sygus sampler (#1598)
commit
|
commitdiff
|
tree
2018-02-11
Andrew Reynolds
More minor improvements to synth-rr (#1597)
commit
|
commitdiff
|
tree
2018-02-09
Andrew Reynolds
Class to reduce printing of redundant candidate rewrites...
commit
|
commitdiff
|
tree
2018-02-08
Andrew Reynolds
Minor improvements to sygus sampling. (#1577)
commit
|
commitdiff
|
tree
2018-02-07
Andrew Reynolds
Add remaining transcendental functions (#1551)
commit
|
commitdiff
|
tree
2018-02-06
Andrew Reynolds
Fix two multiply-by-constant corner cases for bv rewriter...
commit
|
commitdiff
|
tree
2018-02-06
Andrew Reynolds
Fix rewrite for string replace (#1537)
commit
|
commitdiff
|
tree
2018-02-06
Andrew Reynolds
Statically eliminate redundant sygus constructors ...
commit
|
commitdiff
|
tree
2018-02-04
Andrew Reynolds
Sample based on sygus grammar by default (#1558)
commit
|
commitdiff
|
tree
next