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

2020-07-17	Andrew V. Jones	Support for using 'libedit' over 'readline' #4571 ...	blob \| commitdiff \| raw
2020-07-17	Gereon Kremer	Integration of libpoly (#4679)	blob \| commitdiff \| raw \| diff to current
2020-07-03	Andres Noetzli	Remove SWIG bindings (#4683)	blob \| commitdiff \| raw \| diff to current
2020-06-19	Andres Noetzli	Update version information post 1.8 release (#4635)	blob \| commitdiff \| raw \| diff to current
2020-06-19	Andres Noetzli	Update info for 1.8 release (#4633)	blob \| commitdiff \| raw \| diff to current
2020-04-28	Aina Niemetz	contrib/get-gmp: Rename and update install instructions...	blob \| commitdiff \| raw \| diff to current
2020-04-27	Mathias Preiner	Fix examples instructions in INSTALL.md. (#4397)	blob \| commitdiff \| raw \| diff to current
2020-02-04	mudathirmahgoub	Update INSTALL.md (#3714)	blob \| commitdiff \| raw \| diff to current
2019-12-17	Mathias Preiner	Generate code for options with modes. (#3561)	blob \| commitdiff \| raw \| diff to current
2019-09-25	Mathias Preiner	Add Windows cross-compiling instructions to INSTALL...	blob \| commitdiff \| raw \| diff to current
2019-04-12	Haniel Barbosa	Referring to prerelease 1.8 (#2943)	blob \| commitdiff \| raw \| diff to current
2019-04-09	Haniel Barbosa	"prerelease -> release" in INSTALL (#2944)	blob \| commitdiff \| raw \| diff to current
2019-03-14	Aina Niemetz	Improve INSTALL instructions. (#2866)	blob \| commitdiff \| raw \| diff to current
2018-11-02	yoni206	fixes to regression docs (#2679)	blob \| commitdiff \| raw \| diff to current
2018-10-19	Mathias Preiner	cmake: Run regression level 2 for make check. (#2645)	blob \| commitdiff \| raw \| diff to current
2018-10-02	Alex Ozdemir	Fix documentation for `make regress`. (#2557)	blob \| commitdiff \| raw \| diff to current
2018-09-26	Aina Niemetz	cmake: New INSTALL.md for build and testing instruction...	blob \| commitdiff \| raw \| diff to current

RSS Atom