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

2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-08-01	Andrew Reynolds	Make candidate rewrite match filtering handle polymorph...	blob \| commitdiff \| raw \| diff to current
2018-06-27	Andrew Reynolds	Synthesize candidate-rewrites from standard inputs...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-21	Andres Noetzli	Fix warnings and enable -Wnon-virtual-dtor warning...	blob \| commitdiff \| raw \| diff to current
2018-04-10	Andrew Reynolds	Improve accuracy of stats for sygus sampler (#1755)	blob \| commitdiff \| raw \| diff to current
2018-03-27	Andrew Reynolds	Filter candidate rewrites based on matching (#1682)	blob \| commitdiff \| raw \| diff to current
2018-02-12	Andrew Reynolds	Minor improvements to sygus sampler (#1598)	blob \| commitdiff \| raw \| diff to current
2018-02-09	Andrew Reynolds	Class to reduce printing of redundant candidate rewrite...	blob \| commitdiff \| raw \| diff to current