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

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

2021-07-27	Andrew Reynolds	Track instantiation reasons in proofs (#6935)	blob \| commitdiff \| raw
2021-04-15	Aina Niemetz	Rename occurrences of CVC4 to CVC5. (#6351)	blob \| commitdiff \| raw \| diff to current
2021-04-14	Aina Niemetz	Rename public and private headers in src/include. ...	blob \| commitdiff \| raw \| diff to current
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-09	Aina Niemetz	Rename CVC4__ header guards to CVC5__. (#6326)	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-25	Andrew Reynolds	Refactor construction of triggers (#6209)	blob \| commitdiff \| raw \| diff to current
2021-03-23	Andrew Reynolds	Passing term registry to ematching utilities (#6190)	blob \| commitdiff \| raw \| diff to current
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	Gereon Kremer	Some more cleanup of includes (#6083)	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-22	Andrew Reynolds	Eliminate raw use of output channel and valuation in...	blob \| commitdiff \| raw \| diff to current
2021-02-17	Andrew Reynolds	Move methods from term util to quantifiers registry...	blob \| commitdiff \| raw \| diff to current
2021-02-08	Andrew Reynolds	Use quantifiers inference manager for lemma management...	blob \| commitdiff \| raw \| diff to current
2021-01-27	Andrew Reynolds	Split pattern term selector from trigger (#5811)	blob \| commitdiff \| raw \| diff to current
2021-01-25	Andrew Reynolds	Ensure uses of ground terms in triggers are preprocesse...	blob \| commitdiff \| raw \| diff to current
2021-01-24	Andrew Reynolds	Initial cleaning of triggers (#5795)	blob \| commitdiff \| raw \| diff to current
2020-12-15	Andrew Reynolds	Move trigger trie to own file (#5680)	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
2019-12-17	Mathias Preiner	Generate code for options with modes. (#3561)	blob \| commitdiff \| raw \| diff to current
2019-05-09	Andrew Reynolds	Fixes for relational triggers (#2967)	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-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-03-23	Andrew Reynolds	Minor reorganization for ematching (#1701)	blob \| commitdiff \| raw \| diff to current
2018-03-20	Andrew Reynolds	Enable CEGQI for non-linear (#1674)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current

RSS Atom