summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/sygus/sygus_grammar_cons.h
AgeCommit message (Expand)Author
2020-06-17Improve polynomial anyterm grammar (#3566)Haniel Barbosa
2020-06-16Update copyright headers.Aina Niemetz
2019-11-15Use standard interface for sygus default grammar construction (#3466)Andrew Reynolds
2019-10-08Limit cases of sygus inference based on type (#3370)Andrew Reynolds
2019-09-16Move specific attributes out of term util (#3279)Andrew Reynolds
2019-08-05Remove forward declarations in quantifiers engine (#3156)Andrew Reynolds
2019-07-19SyGuS grammar refactor (#3100)yoni206
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-11-28Improve interface for sygus grammar cons (#2727)Andrew Reynolds
2018-11-03Refactor default grammars construction (#2681)Haniel Barbosa
2018-10-10Synthesize rewrite rules from inputs (#2608)Andrew Reynolds
2018-09-18Move and rename sygus solver classes (#2488)Andrew Reynolds
2018-08-23 Fixing some coverity warnings (#2357)Andrew Reynolds
2018-08-16Adding support for bitvector SyGuS problems without grammars (#2328)Haniel Barbosa
2018-07-17 sygusComp2018: update policies for solution reconstruction (#2109)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-18Unified fairness scheme for cegis unif (#1941)Andrew Reynolds
2018-04-08Allow predetermined first-order variables when constructing deep embedding. (...Andrew Reynolds
2018-04-03Option to turn arbitrary input into sygus (#1704)Andrew Reynolds
2018-03-23Enable post-condition strenghtening by default for non-syntax restricted inva...Andrew Reynolds
2018-02-14Quantifiers subdirectories (#1608)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback