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

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
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-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-05-15	Haniel Barbosa	Building and refining solutions with dynamic condition...	blob \| commitdiff \| raw \| diff to current
2018-05-09	Haniel Barbosa	Piecing solutions together in CegisUnif (#1894)	blob \| commitdiff \| raw \| diff to current
2018-05-08	Haniel Barbosa	only lazy trie changes (#1885)	blob \| commitdiff \| raw \| diff to current
2018-05-04	Haniel Barbosa	Move Lazy trie datastructure to its own file (#1871)	blob \| commitdiff \| raw \| diff to current