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

2021-08-30	Andrew Reynolds	Further refactoring of set defaults for incompatibility...	blob \| commitdiff \| raw
2021-08-24	Andrew Reynolds	Top-level structure for set defaults (#7047)	blob \| commitdiff \| raw \| diff to current
2021-08-20	Andrew Reynolds	More refactoring of set defaults (#7043)	blob \| commitdiff \| raw \| diff to current
2021-08-17	Andrew Reynolds	Initial refactoring of set defaults (#7021)	blob \| commitdiff \| raw \| diff to current
2021-08-13	Gereon Kremer	Refactor setDefaults to use an options object (#6994)	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-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-07-17	Andrew Reynolds	Replace options listener infrastructure (#4764)	blob \| commitdiff \| raw \| diff to current
2020-07-14	Andrew Reynolds	Make use of options in setDefaults more consistent...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-27	Andrew Reynolds	Move set defaults function to its own file (#4154)	blob \| commitdiff \| raw \| diff to current

RSS Atom