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

2022-03-30	Mathias Preiner	Rename master branch to main. (#8452)	blob \| commitdiff \| raw
2021-11-30	Mathias Preiner	Change CVC4 urls to cvc5. (#7706)	blob \| commitdiff \| raw \| diff to current
2021-11-04	Gereon Kremer	Fix links in README.md (#7568)	blob \| commitdiff \| raw \| diff to current
2021-09-21	Aina Niemetz	README: Fix link to INSTALL.rst. (#7222)	blob \| commitdiff \| raw \| diff to current
2021-05-06	Mathias Preiner	Update README.md and remove last CVC4 references. ...	blob \| commitdiff \| raw \| diff to current
2021-04-21	Mathias Preiner	Goodbye CVC4, hello cvc5! (#6371)	blob \| commitdiff \| raw \| diff to current
2020-03-31	Mathias Preiner	Switch to GitHub actions for CI (#4190)	blob \| commitdiff \| raw \| diff to current
2020-03-30	Mathias Preiner	Add coverage badge. (#4187)	blob \| commitdiff \| raw \| diff to current
2019-11-11	yoni206	Update README according to the new website (#3438)	blob \| commitdiff \| raw \| diff to current
2019-04-24	Aina Niemetz	README: Remove project leaders, history.	blob \| commitdiff \| raw \| diff to current
2019-04-22	Aina Niemetz	Add CONTRIBUTING file. (#2968)	blob \| commitdiff \| raw \| diff to current
2019-04-09	Haniel Barbosa	Removing references to cvc4-bugs@... (#2945)	blob \| commitdiff \| raw \| diff to current
2019-04-09	Aina Niemetz	Fix email address of the bugs email list and delete...	blob \| commitdiff \| raw \| diff to current
2019-01-22	Aina Niemetz	New README (markdown). (#2797)	blob \| commitdiff \| raw \| diff to current