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

2018-08-25	Andrew Reynolds	Clean up quantifiers engine initialization. (#2371)	commit \| commitdiff \| tree
2018-08-24	Andrew Reynolds	Fix more simple coverity warnings (#2372)	commit \| commitdiff \| tree
2018-08-24	Andrew Reynolds	Remove spurious disabling of cbqi-all (#2368)	commit \| commitdiff \| tree
2018-08-24	Andrew Reynolds	Do not print internally generated datatypes in external...	commit \| commitdiff \| tree
2018-08-23	Andrew Reynolds	Fixing some coverity warnings (#2357)	commit \| commitdiff \| tree
2018-08-23	Andrew Reynolds	Fix regression requiring proof build. (#2364)	commit \| commitdiff \| tree
2018-08-23	Andrew Reynolds	More regressions that increase coverage (#2354)	commit \| commitdiff \| tree
2018-08-22	Andrew Reynolds	More unused code elimination (#2358)	commit \| commitdiff \| tree
2018-08-22	Andrew Reynolds	Fix option for real2int regression. (#2353)	commit \| commitdiff \| tree
2018-08-22	Andrew Reynolds	Fix invalid iterator comparisons (#2349)	commit \| commitdiff \| tree
2018-08-22	Andrew Reynolds	Fix processing of nested Variable construct in sygus...	commit \| commitdiff \| tree
2018-08-21	Andrew Reynolds	Warn and enable quantifiers when using sygus + logics...	commit \| commitdiff \| tree
2018-08-21	Andrew Reynolds	Use cbqi-full for sygus (#2346)	commit \| commitdiff \| tree
2018-08-21	Andrew Reynolds	More unused code elimination (#2339)	commit \| commitdiff \| tree
2018-08-20	Andrew Reynolds	Remove support for prototype (non-sygus) synthesis...	commit \| commitdiff \| tree
2018-08-20	Andrew Reynolds	Add regressions that increase coverage (#2337)	commit \| commitdiff \| tree
2018-08-20	Andrew Reynolds	Minor improvements to the interface for sygus sampler...	commit \| commitdiff \| tree
2018-08-20	Andrew Reynolds	Make sygus inference a preprocessing pass (#2334)	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Remove support for flipDecision (#2319)	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Remove miscellaneous unused code (#2333)	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Add sygus stream regressions (#2330)	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Split sygus grammar to its own ANTLR grammar (#2307)	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Fix spurious warning in sort inference (#2331)	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Fix arithmetic division by zero in sygus repair constant...	commit \| commitdiff \| tree
2018-08-17	Andrew Reynolds	Eliminate partial operators in sygus grammar normalization...	commit \| commitdiff \| tree
2018-08-16	Andrew Reynolds	Minor fixes and improvement for sygus to builtin. ...	commit \| commitdiff \| tree
2018-08-15	Andrew Reynolds	Make sort inference a preprocessing pass (#2309)	commit \| commitdiff \| tree
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
next

RSS Atom