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

2019-12-06	Mathias Preiner	contrib: Setup all dependencies in deps/ directory...	blob \| commitdiff \| raw
2018-09-22	Mathias Preiner	cmake: Build fully static binaries with option --static.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add options for specifying install directories...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: .cpp generation done, .h generation not yet...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	blob \| commitdiff \| raw \| diff to current