git.libre-soc.org Git - cvc5.git/history - src/expr/kind

[cvc5.git] / src / expr / kind_template.cpp

2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-03-03	Gereon Kremer	More cleanup of includes to reduce compilation times...	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-09-02	Gereon Kremer	Remove #line directives from generated files. (#5005)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-05	Andres Noetzli	Add safe_print() support for Kind enum (#4213)	blob \| commitdiff \| raw \| diff to current
2019-10-15	Andres Noetzli	Fix line numbers in templates (#3391)	blob \| commitdiff \| raw \| diff to current
2019-10-11	Aina Niemetz	Make order of theories explicit in the source code...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-26	Andres Noetzli	Fix warnings about wrong line numbers (#2899)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-03-07	Mathias Preiner	Make statistics output consistent. (#1647)	blob \| commitdiff \| raw \| diff to current
2017-08-24	Andrew Reynolds	Merge pull request #191 from timothy-king/cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-08-15	Andres Noetzli	Move function definitions from kind.h to kind.cpp ...	blob \| commitdiff \| raw \| diff to current

RSS Atom