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

2018-07-26	Andrew Reynolds	Fix a few issues in the sygus sampler related to evaluation...	commit \| commitdiff \| tree
2018-07-25	Andrew Reynolds	Move reg exp rewrites from prerewrite to postrewrite...	commit \| commitdiff \| tree
2018-07-24	Andrew Reynolds	Improvements to sets + cardinality + quantifiers (...	commit \| commitdiff \| tree
2018-07-23	Andrew Reynolds	Improve rewriter for regular expression concatenation...	commit \| commitdiff \| tree
2018-07-23	Andrew Reynolds	Generalize symmetry detection for 1 symmetry variable...	commit \| commitdiff \| tree
2018-07-23	Andrew Reynolds	sygusComp2018: add regressions (#2191)	commit \| commitdiff \| tree
2018-07-23	Andrew Reynolds	Fix warning in sygus PBE (#2190)	commit \| commitdiff \| tree
2018-07-22	Andrew Reynolds	sygusComp2018: Improvements to CEGIS loop (#2187)	commit \| commitdiff \| tree
2018-07-21	Andrew Reynolds	Optimizations and fixes for computing whether a type...	commit \| commitdiff \| tree
2018-07-21	Andrew Reynolds	sygusComp2018: refactor and improve sygus io utility...	commit \| commitdiff \| tree
2018-07-20	Andrew Reynolds	Cleanup and additions for candidate generator (#2173)	commit \| commitdiff \| tree
2018-07-20	Andrew Reynolds	sygusComp2018: minor changes to repair constant utility...	commit \| commitdiff \| tree
2018-07-17	Andrew Reynolds	sygusComp2018: pbe multi-enumerator fairness option...	commit \| commitdiff \| tree
2018-07-17	Andrew Reynolds	Minor cleanup and fixes for conflict-based instantiation...	commit \| commitdiff \| tree
2018-07-17	Andrew Reynolds	Do extended rewrite on results of quantifier elimination...	commit \| commitdiff \| tree
2018-07-17	Andrew Reynolds	Purify applications of exp to transcendental arguments...	commit \| commitdiff \| tree
2018-07-17	Andrew Reynolds	sygusComp2018: update policies for solution reconstruction...	commit \| commitdiff \| tree
2018-07-17	Andrew Reynolds	sygusComp2018: Improvements to datatypes sygus solver...	commit \| commitdiff \| tree
2018-07-17	Andrew Reynolds	sygusComp 2018: updates to sygus term database (#2170)	commit \| commitdiff \| tree
2018-07-14	Andrew Reynolds	sygusComp2018: update semantics for declare-fun in...	commit \| commitdiff \| tree
2018-07-13	Andrew Reynolds	Fix and improve grammar normalization for any constant...	commit \| commitdiff \| tree
2018-07-13	Andrew Reynolds	sygusComp2018: optimization for collect model info...	commit \| commitdiff \| tree
2018-07-07	Andrew Reynolds	sygusComp2018: improve extended rewriter for Bool...	commit \| commitdiff \| tree
2018-07-06	Andrew Reynolds	Split ext theory to own file and document (#1809)	commit \| commitdiff \| tree
2018-07-06	Andrew Reynolds	sygusComp2018: simplify beta reduction in uf rewriter...	commit \| commitdiff \| tree
2018-07-05	Andrew Reynolds	Make string length lemmas more robust to rewriting...	commit \| commitdiff \| tree
2018-07-05	Andrew Reynolds	Minor changes to sygus-rr utilities to support floating...	commit \| commitdiff \| tree
2018-07-04	Andrew Reynolds	More cleanup in strings (#2138)	commit \| commitdiff \| tree
2018-07-04	Andrew Reynolds	Reorganize candidate rewrite rule filtering (#2116)	commit \| commitdiff \| tree
2018-07-04	Andrew Reynolds	Fix fmf-fun for non-equality function definitions ...	commit \| commitdiff \| tree
2018-07-03	Andrew Reynolds	sygusComp2018: update sygus-related options setting...	commit \| commitdiff \| tree
2018-07-03	Andrew Reynolds	Remove miscellaneous dead and unused code from quantifiers...	commit \| commitdiff \| tree
2018-07-02	Andrew Reynolds	Remove some dead code from theory strings (#2125)	commit \| commitdiff \| tree
2018-07-02	Andrew Reynolds	Modify cegqi heuristic for finite datatypes (#2126)	commit \| commitdiff \| tree
2018-07-02	Andrew Reynolds	Improve error message. (#2124)	commit \| commitdiff \| tree
2018-06-29	Andrew Reynolds	Use evaluator in sygus sampler. (#2117)	commit \| commitdiff \| tree
2018-06-28	Andrew Reynolds	Remove comment about model value hack (#2118)	commit \| commitdiff \| tree
2018-06-28	Andrew Reynolds	sygusComp2018: optimization for invariance test (...	commit \| commitdiff \| tree
2018-06-28	Andrew Reynolds	Do not rename uninterpreted constants (#2098)	commit \| commitdiff \| tree
2018-06-28	Andrew Reynolds	Split and document ceg theory instantiators (#2094)	commit \| commitdiff \| tree
2018-06-27	Andrew Reynolds	Synthesize candidate-rewrites from standard inputs...	commit \| commitdiff \| tree
2018-06-26	Andrew Reynolds	sygusComp2018: add scripts. (#2103)	commit \| commitdiff \| tree
2018-06-26	Andrew Reynolds	Add casc j9 tfn script (#2100)	commit \| commitdiff \| tree
2018-06-26	Andrew Reynolds	Disable uf symmetry breaker in incremental mode (...	commit \| commitdiff \| tree
2018-06-26	Andrew Reynolds	Fix assertion for relational triggers (#2096)	commit \| commitdiff \| tree
2018-06-26	Andrew Reynolds	Do not dagify printing over binders (#2093)	commit \| commitdiff \| tree
2018-06-26	Andrew Reynolds	Remove unnecessary code in register quantifier internal...	commit \| commitdiff \| tree
2018-06-15	Andrew Reynolds	Disable solving non-linear BV literals by default ...	commit \| commitdiff \| tree
2018-06-13	Andrew Reynolds	Fix simple regexp consume (#2066)	commit \| commitdiff \| tree
2018-06-12	Andrew Reynolds	Fix strip constant endpoint for ITOS in strings rewriter...	commit \| commitdiff \| tree
2018-06-11	Andrew Reynolds	Fix equality conflicts reported by FP (#2064)	commit \| commitdiff \| tree
2018-06-07	Andrew Reynolds	Clear pending inferences during datatypes splitting...	commit \| commitdiff \| tree
2018-06-04	Andrew Reynolds	Move assertion. (#2051)	commit \| commitdiff \| tree
2018-06-04	Andrew Reynolds	Enable cegqi (with model values) for floating point...	commit \| commitdiff \| tree
2018-06-02	Andrew Reynolds	Fix assertion involving unassigned Boolean eqc in...	commit \| commitdiff \| tree
2018-06-02	Andrew Reynolds	Fix corner case of mixed int/real cegqi. (#2046)	commit \| commitdiff \| tree
2018-06-02	Andrew Reynolds	Fix preinitialization pass for finite model finding...	commit \| commitdiff \| tree
2018-06-01	Andrew Reynolds	Fix quantified bv variable elimination (#2039)	commit \| commitdiff \| tree
2018-06-01	Andrew Reynolds	Fix quantifiers conflict lemma handling (#2043)	commit \| commitdiff \| tree
2018-06-01	Andrew Reynolds	Apply preprocessing to counterexample lemmas in CEGQI...	commit \| commitdiff \| tree
2018-06-01	Andrew Reynolds	Use monomial sum utility to solve for quantifiers...	commit \| commitdiff \| tree
2018-06-01	Andrew Reynolds	Reduce before preregister. (#2025)	commit \| commitdiff \| tree
2018-05-30	Andrew Reynolds	Fixes for quantifiers + incremental (#2009)	commit \| commitdiff \| tree
2018-05-30	Andrew Reynolds	Draft run script for strings smt comp 2018. (#2016)	commit \| commitdiff \| tree
2018-05-29	Andrew Reynolds	Disable minisat elimination when nonlinear is enabled...	commit \| commitdiff \| tree
2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	commit \| commitdiff \| tree
2018-05-27	Andrew Reynolds	Fix cegqi assertions for quantified non-linear cases...	commit \| commitdiff \| tree
2018-05-25	Andrew Reynolds	Reenable repair const (#1983)	commit \| commitdiff \| tree
2018-05-25	Andrew Reynolds	Fix various nl assertions. (#1980)	commit \| commitdiff \| tree
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
next

RSS Atom