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

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2019-12-06	Mathias Preiner	contrib: Setup all dependencies in deps/ directory...	blob \| commitdiff \| raw \| diff to current
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: FindANTLR: Check if antlr3FileStreamNew is avail...	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	Mathias Preiner	cmake: Antlr parser generation done.	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