projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Allow multiple functions in sygus unif approaches (#1831)
2018-04-30 Andrew ReynoldsAllow multiple functions in sygus unif approaches ...
commit | commitdiff | tree
2018-04-30 Andrew ReynoldsMake factoring inference more aggressive (#1825)
 commit | commitdiff | tree
2018-04-30 Andrew ReynoldsRefactor nonlinear check (#1814)
 commit | commitdiff | tree
2018-04-30 Andrew ReynoldsImprovements to simple transcendental function check...
commit | commitdiff | tree
2018-04-28 Andrew ReynoldsMake construct solution behavior specific to SygusIO...
commit | commitdiff | tree
2018-04-27 Andrew ReynoldsPrint function for equality status. (#1826)
 commit | commitdiff | tree
2018-04-27 Andrew ReynoldsSimplify tangent plane direction (#1824)
 commit | commitdiff | tree
2018-04-27 Andrew ReynoldsCore improvements to extended rewriter (#1820)
 commit | commitdiff | tree
2018-04-26 Andrew ReynoldsFix subgoal generation context (#1816)
 commit | commitdiff | tree
2018-04-25 Andrew ReynoldsEquality resolution in the extended rewriter (#1811)
 commit | commitdiff | tree
2018-04-25 Andrew ReynoldsMove candidate rewrite code to own file (#1804)
 commit | commitdiff | tree
2018-04-25 Andrew ReynoldsAdd benchmark requiring subgoal generation with induction...
commit | commitdiff | tree
2018-04-25 Andrew ReynoldsRemove nl solve subs option. (#1803)
 commit | commitdiff | tree
2018-04-25 Andrew ReynoldsFix issue with multi-triggers that include variable...
commit | commitdiff | tree
2018-04-23 Andrew ReynoldsDraft smt comp 2018 for quantifiers and non-linear...
commit | commitdiff | tree
2018-04-21 Andrew ReynoldsImprove 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 ReynoldsDraft of casc j9 scripts (#1800)
 commit | commitdiff | tree
2018-04-16 Andrew ReynoldsMake 256 the default cardinality for strings (#1783)
 commit | commitdiff | tree
2018-04-16 Andrew ReynoldsSkolemize candidate rewrite rule checks (#1777)
 commit | commitdiff | tree
2018-04-16 Andrew ReynoldsMake strings fmf apply to all but internally generated...
commit | commitdiff | tree
2018-04-15 Andrew ReynoldsFix type error with regexp (#1778)
 commit | commitdiff | tree
2018-04-15 Andrew ReynoldsFix mk type const (#1776)
 commit | commitdiff | tree
2018-04-14 Andrew ReynoldsAnother fix for sygus rr stats. (#1768)
 commit | commitdiff | tree
2018-04-14 Andrew ReynoldsDisable split for negative contains. (#1774)
 commit | commitdiff | tree
2018-04-13 Andrew ReynoldsFix alpha equivalence for higher-order (#1769)
 commit | commitdiff | tree
2018-04-12 Andrew ReynoldsFixes for free variables in assertions (#1762)
 commit | commitdiff | tree
2018-04-11 Andrew ReynoldsProperly 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 ReynoldsFix hasSubterm calls for higher-order (#1760)
 commit | commitdiff | tree
2018-04-10 Andrew ReynoldsFix higher-order term indexing. (#1754)
 commit | commitdiff | tree
2018-04-09 Andrew ReynoldsFix sygus substr static symmetry breaking (#1761)
 commit | commitdiff | tree
2018-04-08 Andrew ReynoldsAllow predetermined first-order variables when constructing...
commit | commitdiff | tree
2018-04-08 Andrew ReynoldsCheck free variables in assertions (#1737)
 commit | commitdiff | tree
2018-04-08 Andrew ReynoldsDo not introduce uinterpreted constants in TPTP parser...
commit | commitdiff | tree
2018-04-08 Andrew ReynoldsAdd quantifier name attribute. (#1756)
 commit | commitdiff | tree
2018-04-04 Andrew ReynoldsProper initialization and destruction of sygus unif...
commit | commitdiff | tree
2018-04-04 Andrew ReynoldsFix for corner case of higher-order matching (#1708)
 commit | commitdiff | tree
2018-04-04 Andrew ReynoldsDo not debug check models when unknown (#1748)
 commit | commitdiff | tree
2018-04-04 Andrew ReynoldsFix sygus infer (#1747)
 commit | commitdiff | tree
2018-04-04 Andrew ReynoldsOption to turn arbitrary input into sygus (#1704)
 commit | commitdiff | tree
2018-04-03 Andrew ReynoldsMake sygus unif I/O an subclass of sygus unif (#1741)
 commit | commitdiff | tree
2018-04-03 Andrew ReynoldsUse choice when expanding definitions for inverse transcende...
commit | commitdiff | tree
2018-04-03 Andrew ReynoldsInternal sygus type checking (#1734)
 commit | commitdiff | tree
2018-04-03 Andrew ReynoldsImprovements to extended rewriter for Booleans and...
commit | commitdiff | tree
2018-04-02 Andrew ReynoldsMake sygus unif utility use sygus unif strategies ...
commit | commitdiff | tree
2018-03-30 Andrew ReynoldsDisable regression (#1731)
 commit | commitdiff | tree
2018-03-30 Andrew ReynoldsSplit strategy representation from SygusUnif (#1730)
 commit | commitdiff | tree
2018-03-30 Andrew ReynoldsDo not use factoring inference for transcendental functions...
commit | commitdiff | tree
2018-03-29 Andrew ReynoldsSimplify sygus unif so that it is one-to-one with functions...
commit | commitdiff | tree
2018-03-27 Andrew ReynoldsMake sygus pbe use sygus unif utility (#1724)
 commit | commitdiff | tree
2018-03-27 Andrew ReynoldsFix for --sygus-rr-synth (#1723)
 commit | commitdiff | tree
2018-03-27 Andrew ReynoldsMake sygus unif utility (#1720)
 commit | commitdiff | tree
2018-03-27 Andrew ReynoldsFilter candidate rewrites based on matching (#1682)
 commit | commitdiff | tree
2018-03-27 Andrew ReynoldsDocumentation and simplifications for PBE (#1677)
 commit | commitdiff | tree
2018-03-26 Andrew ReynoldsSynth-check and accelerate options for sygus-rr (#1691)
 commit | commitdiff | tree
2018-03-26 Andrew ReynoldsAbort when sygus-verify finds unsoundness. (#1717)
 commit | commitdiff | tree
2018-03-26 Andrew ReynoldsCheck model only when sat (#1694)
 commit | commitdiff | tree
2018-03-25 Andrew ReynoldsCleanup various exit calls (#1692)
 commit | commitdiff | tree
2018-03-23 Andrew ReynoldsAdd a few quantifiers regressions to improve coverage...
commit | commitdiff | tree
2018-03-23 Andrew ReynoldsRemove abstract regular expression constant (#1698)
 commit | commitdiff | tree
2018-03-23 Andrew ReynoldsRemove unused code (#1700)
 commit | commitdiff | tree
2018-03-23 Andrew ReynoldsMinor reorganization for ematching (#1701)
 commit | commitdiff | tree
2018-03-23 Andrew ReynoldsEnable post-condition strenghtening by default for...
commit | commitdiff | tree
2018-03-21 Andrew ReynoldsMore rewrites for indexof (#1648)
 commit | commitdiff | tree
2018-03-21 Andrew ReynoldsFix for string disequality processing (#1679)
 commit | commitdiff | tree
2018-03-20 Andrew ReynoldsMinor refactor datatypes sygus (#1673)
 commit | commitdiff | tree
2018-03-20 Andrew ReynoldsInternally remove redundant assertions and infer equalities...
commit | commitdiff | tree
2018-03-20 Andrew ReynoldsFix datatype dump regression. (#1672)
 commit | commitdiff | tree
2018-03-20 Andrew ReynoldsMinor fix and addition to sygus sampler (#1678)
 commit | commitdiff | tree
2018-03-20 Andrew ReynoldsEnable CEGQI for non-linear (#1674)
 commit | commitdiff | tree
2018-03-19 Andrew ReynoldsDocument inferences for strings (#1642)
 commit | commitdiff | tree
2018-03-06 Andrew ReynoldsSimplify initialization of quantifiers engine (#1641)
 commit | commitdiff | tree
2018-03-06 Andrew ReynoldsRefactor symmetry breaking in datatypes sygus (#1640)
 commit | commitdiff | tree
2018-03-06 Andrew ReynoldsUpdate semantics for string indexof and replace (#1630)
 commit | commitdiff | tree
2018-03-05 Andrew ReynoldsFix for sampler. (#1639)
 commit | commitdiff | tree
2018-03-02 Andrew ReynoldsOptimization for sygus streaming mode (#1636)
 commit | commitdiff | tree
2018-03-02 Andrew ReynoldsSimplify sygus wrt miniscoping (#1634)
 commit | commitdiff | tree
2018-03-02 Andrew ReynoldsPrint candidate rewrites in terms of original grammar...
commit | commitdiff | tree
2018-03-02 Andrew ReynoldsCreate infrastructure for sygus modules (#1632)
 commit | commitdiff | tree
2018-02-28 Andrew ReynoldsMinor fixes for rec-fun (#1616)
 commit | commitdiff | tree
2018-02-27 Andrew ReynoldsImprove rewriter for string indexof (#1592)
 commit | commitdiff | tree
2018-02-27 Andrew ReynoldsOption to not use partial function semantics for arithmetic...
commit | commitdiff | tree
2018-02-27 Andrew ReynoldsImprovements to sygus sampling (#1621)
 commit | commitdiff | tree
2018-02-23 Andrew ReynoldsFix cd-simplification for strings (#1624)
 commit | commitdiff | tree
2018-02-22 Andrew ReynoldsMinor improvements to string rewriter (#1572)
 commit | commitdiff | tree
2018-02-20 Andrew ReynoldsMinor fixes and additions for transcendental functions...
commit | commitdiff | tree
2018-02-15 Andrew ReynoldsFix corner case for rewrite of mult by pow 2 (#1601)
 commit | commitdiff | tree
2018-02-15 Andrew ReynoldsRefactor regressions (#1581)
 commit | commitdiff | tree
2018-02-14 Andrew ReynoldsQuantifiers subdirectories (#1608)
 commit | commitdiff | tree
2018-02-13 Andrew ReynoldsOption to use extended rewriter as a preprocessing...
commit | commitdiff | tree
2018-02-12 Andrew ReynoldsMinor improvements to sygus sampler (#1598)
 commit | commitdiff | tree
2018-02-11 Andrew ReynoldsMore minor improvements to synth-rr (#1597)
 commit | commitdiff | tree
2018-02-09 Andrew ReynoldsClass to reduce printing of redundant candidate rewrites...
commit | commitdiff | tree
2018-02-08 Andrew ReynoldsMinor improvements to sygus sampling. (#1577)
 commit | commitdiff | tree
2018-02-07 Andrew ReynoldsAdd remaining transcendental functions (#1551)
 commit | commitdiff | tree
2018-02-06 Andrew ReynoldsFix two multiply-by-constant corner cases for bv rewriter...
commit | commitdiff | tree
2018-02-06 Andrew ReynoldsFix rewrite for string replace (#1537)
 commit | commitdiff | tree
2018-02-06 Andrew ReynoldsStatically eliminate redundant sygus constructors ...
commit | commitdiff | tree
2018-02-04 Andrew ReynoldsSample based on sygus grammar by default (#1558)
 commit | commitdiff | tree
next