git.libre-soc.org Git - cvc5.git/search

2018-05-15	Andrew Reynolds	Fix annotations in regress2. (#1917)	commit \| commitdiff \| tree
2018-05-15	Andrew Reynolds	Minor improvements to --nl-ext-purify (#1896)	commit \| commitdiff \| tree
2018-05-15	Andrew Reynolds	Incorporating dynamic condition enumeration into cegis...	commit \| commitdiff \| tree
2018-05-14	Andrew Reynolds	Add regressions, change defaults. (#1911)	commit \| commitdiff \| tree
2018-05-14	Andrew Reynolds	Flag to check invariance of entire values in sygus...	commit \| commitdiff \| tree
2018-05-10	Andrew Reynolds	Exclude Boolean connectives from ITE conditions in...	commit \| commitdiff \| tree
2018-05-10	Andrew Reynolds	Sygus repair constants (#1812)	commit \| commitdiff \| tree
2018-05-10	Andrew Reynolds	Add ITE to default Boolean sygus grammar (#1898)	commit \| commitdiff \| tree
2018-05-10	Andrew Reynolds	Fix priority of decisions for cegis unif (#1897)	commit \| commitdiff \| tree
2018-05-09	Andrew Reynolds	Better option names for PBE (#1891)	commit \| commitdiff \| tree
2018-05-09	Andrew Reynolds	Make symmetry-breaker-exp into a preprocessing pass...	commit \| commitdiff \| tree
2018-05-08	Andrew Reynolds	Infrastructure for approximations in model output ...	commit \| commitdiff \| tree
2018-05-08	Andrew Reynolds	Support for str.<= and str.< (#1882)	commit \| commitdiff \| tree
2018-05-08	Andrew Reynolds	Infrastructure for CEGQI handled status (#1873)	commit \| commitdiff \| tree
2018-05-07	Andrew Reynolds	Add support for str.code (#1821)	commit \| commitdiff \| tree
2018-05-05	Andrew Reynolds	Fix handling of TO_REAL in cvc printer (#1876)	commit \| commitdiff \| tree
2018-05-05	Andrew Reynolds	Remove special case for record selector printing. ...	commit \| commitdiff \| tree
2018-05-04	Andrew Reynolds	Cegis unif register evaluation points (#1878)	commit \| commitdiff \| tree
2018-05-04	Andrew Reynolds	Do not print tuples. (#1874)	commit \| commitdiff \| tree
2018-05-04	Andrew Reynolds	Initialize cegis unif strategy (#1861)	commit \| commitdiff \| tree
2018-05-04	Andrew Reynolds	Document datatypes sygus (#1818)	commit \| commitdiff \| tree
2018-05-04	Andrew Reynolds	Sets subtypes (#1095)	commit \| commitdiff \| tree
2018-05-03	Andrew Reynolds	Interleave quantifiers checks with ground theory checks...	commit \| commitdiff \| tree
2018-05-03	Andrew Reynolds	Option to interleave tangent plane inferences (#1833)	commit \| commitdiff \| tree
2018-05-03	Andrew Reynolds	Link cegis unif with the enumeration manager (#1859)	commit \| commitdiff \| tree
2018-05-03	Andrew Reynolds	Fix cvc printer for nullary constructors (#1856)	commit \| commitdiff \| tree
2018-05-03	Andrew Reynolds	Support HORN logic string (#1849)	commit \| commitdiff \| tree
2018-05-03	Andrew Reynolds	Initial support for string standard in smt lib 2.6...	commit \| commitdiff \| tree
2018-05-01	Andrew Reynolds	Cegis unif enumerator manager (#1837)	commit \| commitdiff \| tree
2018-05-01	Andrew Reynolds	Improve tangent planes for transcendental functions...	commit \| commitdiff \| tree
2018-04-30	Andrew Reynolds	Remove subsort symmetry breaking (#1807)	commit \| commitdiff \| tree
2018-04-30	Andrew Reynolds	Fix 1156 (#1830)	commit \| commitdiff \| tree
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
next

RSS Atom