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

2021-10-07	Gereon Kremer	Fix/Improve static and shared builds with CLN or Poly...	blob \| commitdiff \| raw
2021-09-30	Gereon Kremer	Refactor our static builds (#7251)	blob \| commitdiff \| raw \| diff to current
2021-06-18	Andres Noetzli	Remove obsolete libpoly patch (#6762)	blob \| commitdiff \| raw \| diff to current
2021-06-15	Gereon Kremer	Update to a more recent libpoly version. (#6730)	blob \| commitdiff \| raw \| diff to current
2021-05-20	Gereon Kremer	Use most recent version of libpoly (#6587)	blob \| commitdiff \| raw \| diff to current
2021-04-22	Mathias Preiner	cmake: Do not require --auto-download for already downl...	blob \| commitdiff \| raw \| diff to current
2021-04-21	Gereon Kremer	Pass GMP to libpoly (#6411)	blob \| commitdiff \| raw \| diff to current
2021-04-20	Gereon Kremer	Properly link Poly against GMP (#6398)	blob \| commitdiff \| raw \| diff to current
2021-04-16	Gereon Kremer	Refactor cmake: auto-download and default-on dependenci...	blob \| commitdiff \| raw \| diff to current
2021-04-14	Gereon Kremer	Fix libpoly build and use new release (#6354)	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-01	Gereon Kremer	Refactor CLN dependency & Cleanup (#6251)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Gereon Kremer	Refactor GMP and Poly dependencies (#6245)	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	Gereon Kremer	Integration of libpoly (#4679)	blob \| commitdiff \| raw \| diff to current

RSS Atom