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

2018-05-25	Andrew Reynolds	Fix (#1979)	commit \| commitdiff \| tree
2018-05-24	Andrew Reynolds	Improve simple constant symmetry breaking for sygus...	commit \| commitdiff \| tree
2018-05-24	Andrew Reynolds	Fix (#1975)	commit \| commitdiff \| tree
2018-05-24	Andrew Reynolds	Fixes for non-linear check model (#1974)	commit \| commitdiff \| tree
2018-05-24	Andrew Reynolds	Fix nl regression for unsat cores. (#1973)	commit \| commitdiff \| tree
2018-05-24	Andrew Reynolds	Remove spurious assertion in nonlinear extension (...	commit \| commitdiff \| tree
2018-05-23	Andrew Reynolds	Add notions of evaluated kinds in TheoryModel (#1947)	commit \| commitdiff \| tree
2018-05-23	Andrew Reynolds	Generalize check-model in NonLinearExtension for quadratic...	commit \| commitdiff \| tree
2018-05-23	Andrew Reynolds	Repair constants using symbolic constructors (#1960)	commit \| commitdiff \| tree
2018-05-22	Andrew Reynolds	Parse error for sygus grammar term with multiple let...	commit \| commitdiff \| tree
2018-05-22	Andrew Reynolds	Make sygus infer find function definitions (#1951)	commit \| commitdiff \| tree
2018-05-22	Andrew Reynolds	Infrastructure for strings strategies (#1883)	commit \| commitdiff \| tree
2018-05-21	Andrew Reynolds	Improvements in parsing and printing related to mixed...	commit \| commitdiff \| tree
2018-05-21	Andrew Reynolds	Infrastructure to mark unused sygus strategies (#1950)	commit \| commitdiff \| tree
2018-05-21	Andrew Reynolds	Refactor sygus eval unfold (#1946)	commit \| commitdiff \| tree
2018-05-18	Andrew Reynolds	Cache isInterpretedFinite (#1943)	commit \| commitdiff \| tree
2018-05-18	Andrew Reynolds	Cegis unif defaults to cegis when no unif (#1942)	commit \| commitdiff \| tree
2018-05-18	Andrew Reynolds	Unified fairness scheme for cegis unif (#1941)	commit \| commitdiff \| tree
2018-05-17	Andrew Reynolds	Catch type errors in sygus grammars for lambda (define...	commit \| commitdiff \| tree
2018-05-17	Andrew Reynolds	Fix debugPrint and add regress. (#1934)	commit \| commitdiff \| tree
2018-05-17	Andrew Reynolds	Cegis-specific infrastructure (#1933)	commit \| commitdiff \| tree
2018-05-17	Andrew Reynolds	Internal propagation for refinement lemmas (#1932)	commit \| commitdiff \| tree
2018-05-16	Andrew Reynolds	Improve the separation resolution scheme in cegis unif...	commit \| commitdiff \| tree
2018-05-15	Andrew Reynolds	Refactoring get enumerator values in construct candidate...	commit \| commitdiff \| tree
2018-05-15	Andrew Reynolds	Fix free variables in cbqi preregister inst. (#1921)	commit \| commitdiff \| tree
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
next

RSS Atom