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

2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
2020-09-22	mudathirmahgoub	Add skeleton for theory of bags (multisets) (#5100)	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-08-28	Andrew Reynolds	Replace Theory::Set with TheoryIdSet (#4959)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-08	Andres Noetzli	Perform theory widening eagerly (#4044)	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