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

[cvc5.git] / src / theory / quantifiers / ematching / inst_match_generator.h

2021-03-15	Andrew Reynolds	Split inst match generator class to own file (#6125)	blob \| commitdiff \| raw
2021-03-12	Andrew Reynolds	Simplify instantiation match generator interface (...	blob \| commitdiff \| raw \| diff to current
2021-03-11	Andrew Reynolds	Introduce inference ids for quantifier instantiation...	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-02-24	Andrew Reynolds	Add state and inference manager to inst match generator...	blob \| commitdiff \| raw \| diff to current
2021-02-19	Andrew Reynolds	Simplify interface to instantiate (#5926)	blob \| commitdiff \| raw \| diff to current
2021-01-25	Andrew Reynolds	Split inst match generator into multiple files (#5805)	blob \| commitdiff \| raw \| diff to current
2021-01-24	Andrew Reynolds	Initial cleaning of inst match generator (#5794)	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-15	Andrew Reynolds	Fix combinations of cegqi and non-standard triggers...	blob \| commitdiff \| raw \| diff to current
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-11-27	Andrew Reynolds	Make (T)NodeTrie a general utility (#2489)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-04-10	Andrew Reynolds	Fix higher-order term indexing. (#1754)	blob \| commitdiff \| raw \| diff to current
2018-03-23	Andrew Reynolds	Minor reorganization for ematching (#1701)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current

RSS Atom