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

[cvc5.git] / src / theory / quantifiers / candidate_rewrite_database.cpp

2020-08-03	Andrew Reynolds	Generalize interface for candidate rewrite database...	blob \| commitdiff \| raw
2020-07-14	Andrew Reynolds	Remove sygus print callback (#4727)	blob \| commitdiff \| raw \| diff to current
2020-07-07	Andrew Reynolds	Transfer ownership of internal Options from NodeManager...	blob \| commitdiff \| raw \| diff to current
2020-06-29	Andres Noetzli	Make ExprManager constructor private (#4669)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-03	Andres Noetzli	Update theory rewriter ownership, add stats to strings...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-23	Andres Noetzli	Fix memory leak when using subsolvers (#2893)	blob \| commitdiff \| raw \| diff to current
2019-03-12	Andrew Reynolds	Add option --sygus-rr-synth-rec for considering all...	blob \| commitdiff \| raw \| diff to current
2018-10-11	Andrew Reynolds	Synthesize rewrite rules from inputs (#2608)	blob \| commitdiff \| raw \| diff to current
2018-10-05	Andrew Reynolds	Fix rewrite rule filtering. (#2591)	blob \| commitdiff \| raw \| diff to current
2018-09-18	Andrew Reynolds	Move and rename sygus solver classes (#2488)	blob \| commitdiff \| raw \| diff to current
2018-09-14	Andrew Reynolds	Generalize CandidateRewriteDatabase to ExprMiner (...	blob \| commitdiff \| raw \| diff to current
2018-08-28	Andrew Reynolds	Address more coverity warnings (#2394)	blob \| commitdiff \| raw \| diff to current
2018-07-14	Andres Noetzli	exportTo only if needed for --sygus-rr-synth-check...	blob \| commitdiff \| raw \| diff to current
2018-07-06	Andres Noetzli	Add option for timeout for rewrite candidate check...	blob \| commitdiff \| raw \| diff to current
2018-07-04	Andrew Reynolds	Reorganize candidate rewrite rule filtering (#2116)	blob \| commitdiff \| raw \| diff to current
2018-06-27	Andrew Reynolds	Synthesize candidate-rewrites from standard inputs...	blob \| commitdiff \| raw \| diff to current
2018-05-22	Andrew Reynolds	Make sygus infer find function definitions (#1951)	blob \| commitdiff \| raw \| diff to current
2018-04-25	Andrew Reynolds	Move candidate rewrite code to own file (#1804)	blob \| commitdiff \| raw \| diff to current

RSS Atom