git.libre-soc.org Git - cvc5.git/history - src/preprocessing/passes/static

2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw
2021-03-03	Gereon Kremer	More cleanup of includes to reduce compilation times...	blob \| commitdiff \| raw \| diff to current
2021-02-24	Gereon Kremer	Ensure static-learning adds rewritten assertions. ...	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-07-07	Andrew Reynolds	Transfer ownership of internal Options from NodeManager...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-02-20	Mathias Preiner	resource manager: Add statistic for every resource...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-10-02	Andres Noetzli	Make registration of preprocessing passes explicit...	blob \| commitdiff \| raw \| diff to current
2018-10-01	Andres Noetzli	Refactor preprocessing pass registration (#2468)	blob \| commitdiff \| raw \| diff to current
2018-05-16	yoni206	Refactor static learning preprocessing pass (#1857)	blob \| commitdiff \| raw \| diff to current