git.libre-soc.org Git - cvc5.git/history - src/theory/datatypes/datatypes

[cvc5.git] / src / theory / datatypes / datatypes_sygus.h

2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	blob \| commitdiff \| raw
2018-05-24	Andrew Reynolds	Improve simple constant symmetry breaking for sygus...	blob \| commitdiff \| raw \| diff to current
2018-05-04	Andrew Reynolds	Document datatypes sygus (#1818)	blob \| commitdiff \| raw \| diff to current
2018-03-20	Andrew Reynolds	Minor refactor datatypes sygus (#1673)	blob \| commitdiff \| raw \| diff to current
2018-03-06	Andrew Reynolds	Refactor symmetry breaking in datatypes sygus (#1640)	blob \| commitdiff \| raw \| diff to current
2018-02-27	Andrew Reynolds	Improvements to sygus sampling (#1621)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current
2018-02-06	Andrew Reynolds	Statically eliminate redundant sygus constructors ...	blob \| commitdiff \| raw \| diff to current
2018-02-01	Andrew Reynolds	Use sygus to synthesize/verify rewrite rules (#1547)	blob \| commitdiff \| raw \| diff to current
2017-12-06	Andres Noetzli	Remove CDChunkList (#1414)	blob \| commitdiff \| raw \| diff to current
2017-10-28	Andrew Reynolds	Sygus process conjecture (#1286)	blob \| commitdiff \| raw \| diff to current
2017-10-17	Tim King	Fixing 2 instances of an unused variable. (#1253)	blob \| commitdiff \| raw \| diff to current
2017-10-17	Andrew Reynolds	Sygus enumerators to conjecture (#1237)	blob \| commitdiff \| raw \| diff to current
2017-07-10	ajreynol	Merge datatype shared selectors/sygus comp 2017 branch...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-11-02	ajreynol	Fix a few obvious memory leaks in sygus and quantifiers...	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-02-05	ajreynol	Add two optimizations for datatypes, currently disabled...	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-02-06	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2015-02-04	ajreynol	Refactor sygus_util to TermDb. Initial work on solutio...	blob \| commitdiff \| raw \| diff to current
2015-02-02	ajreynol	Single invocation module for counterexample guided...	blob \| commitdiff \| raw \| diff to current
2015-02-02	ajreynol	Representative programs must be minimal size, minor...	blob \| commitdiff \| raw \| diff to current
2015-02-01	ajreynol	Generalization of sygus lemmas based on arguments and...	blob \| commitdiff \| raw \| diff to current
2015-01-31	ajreynol	Bug fix fairness for commutative operators in sygus...	blob \| commitdiff \| raw \| diff to current
2015-01-31	ajreynol	Lemmas instead of conflicts in sygus sym break (do...	blob \| commitdiff \| raw \| diff to current
2015-01-30	ajreynol	Generalize conflict clauses in sygus sym break, merge...	blob \| commitdiff \| raw \| diff to current
2015-01-29	ajreynol	Apply sygus search space narrowing for all subprograms...	blob \| commitdiff \| raw \| diff to current
2015-01-29	ajreynol	Apply global search space narrowing for multiple synth...	blob \| commitdiff \| raw \| diff to current
2015-01-29	ajreynol	Add module for sygus search space narrowing based on...	blob \| commitdiff \| raw \| diff to current
2015-01-26	ajreynol	Output solutions for synthesis conjectures with --dump...	blob \| commitdiff \| raw \| diff to current
2015-01-26	ajreynol	Generalize sygus search space narrowing to arbitrary...	blob \| commitdiff \| raw \| diff to current
2015-01-23	ajreynol	Refactor sygus arg nf. Minor improvements.	blob \| commitdiff \| raw \| diff to current
2015-01-22	ajreynol	Narrow sygus search space based on NNF and rewriting...	blob \| commitdiff \| raw \| diff to current
2015-01-22	ajreynol	Do not drop patterns during boolean term rewriting...	blob \| commitdiff \| raw \| diff to current
2015-01-21	ajreynol	Avoid redundant constant arguments for SygusNormalForm...	blob \| commitdiff \| raw \| diff to current
2015-01-21	ajreynol	Initial work on sygusNormalForm.	blob \| commitdiff \| raw \| diff to current

RSS Atom