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

2018-08-09	Andrew Reynolds	Fix char overflow issues in regular expression solver...	commit \| commitdiff \| tree
2018-08-08	Andrew Reynolds	Disable argument relevance for sygus by default (#2288)	commit \| commitdiff \| tree
2018-08-08	Andrew Reynolds	Add debug test for sygus subcall verify calls. (#2287)	commit \| commitdiff \| tree
2018-08-08	Andrew Reynolds	Move uf model code from uf to quantifiers (#2095)	commit \| commitdiff \| tree
2018-08-08	Andrew Reynolds	Do beta-reduction in expandDefinitions (#2286)	commit \| commitdiff \| tree
2018-08-08	Andrew Reynolds	Simplify and improve the sygus parser (#2266)	commit \| commitdiff \| tree
2018-08-08	Andrew Reynolds	Document/refactor datatypes sygus simple symmetry breaking...	commit \| commitdiff \| tree
2018-08-08	Andrew Reynolds	Fix simple reg exp consume rewrite (#2281)	commit \| commitdiff \| tree
2018-08-07	Andrew Reynolds	Wait to do sygus qe preprocess until full effort check...	commit \| commitdiff \| tree
2018-08-07	Andrew Reynolds	Fix inference of pre and post conditions for non variable...	commit \| commitdiff \| tree
2018-08-07	Andrew Reynolds	Make flat form inferences optional in strings (#2277)	commit \| commitdiff \| tree
2018-08-07	Andrew Reynolds	Add RegLan to smt2/sygus parsers. (#2276)	commit \| commitdiff \| tree
2018-08-07	Andrew Reynolds	Move sygus quantifier elimination step for non-ground...	commit \| commitdiff \| tree
2018-08-07	Andrew Reynolds	Remove support for Enum sygus syntax. (#2264)	commit \| commitdiff \| tree
2018-08-06	Andrew Reynolds	Fixes for sygus inference (#2238)	commit \| commitdiff \| tree
2018-08-06	Andrew Reynolds	Fixes and improvements for single invocation inference...	commit \| commitdiff \| tree
2018-08-06	Andrew Reynolds	Fix degenerate case of sygus grammar construction for...	commit \| commitdiff \| tree
2018-08-03	Andrew Reynolds	Eliminate option for sygus UF evaluation functions...	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Parse standard separation logic inputs (#2257)	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Improve CEGQI heuristics involving equality and multiple...	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Fix candidate rewrite utilities for non-first-class...	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Make strings robust to regular expression variables...	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Remove references to deprecated propagate as decision...	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Fix API call for reg exp. (#2248)	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Improvements and fixes in cegqi arithmetic (#2247)	commit \| commitdiff \| tree
2018-08-02	Andrew Reynolds	Fix issues with printing parametric datatypes in smt2...	commit \| commitdiff \| tree
2018-08-01	Andrew Reynolds	Fix issues with bv2nat (#2219)	commit \| commitdiff \| tree
2018-08-01	Andrew Reynolds	Fix assertion in conjecture generator (#2246)	commit \| commitdiff \| tree
2018-08-01	Andrew Reynolds	Make conjecture generator's uf term enumeration safer...	commit \| commitdiff \| tree
2018-08-01	Andrew Reynolds	Make candidate rewrite match filtering handle polymorphic...	commit \| commitdiff \| tree
2018-07-27	Andrew Reynolds	Fix for candidate rewrite rule filtering. (#2220)	commit \| commitdiff \| tree
2018-07-27	Andrew Reynolds	Make check-synth robust for assertions that are not...	commit \| commitdiff \| tree
2018-07-27	Andrew Reynolds	Fix Node::hasFreeVar for function variables (#2216)	commit \| commitdiff \| tree
2018-07-26	Andrew Reynolds	Fix rewriter for lambda (#2211)	commit \| commitdiff \| tree
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
next

RSS Atom