projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove support for unused `declare-*` commands (#8623)
[cvc5.git] / INSTALL.rst
2022-04-04 Gereon KremerVarious improvements and fixes in the documentation... blob | commitdiff | raw
2021-11-30 Mathias PreinerChange CVC4 urls to cvc5. (#7706) blob | commitdiff | raw | diff to current
2021-11-01 Mathias Preinerbv: Remove layered solver. (#7455) blob | commitdiff | raw | diff to current
2021-10-28 Gereon KremerCombine `--static` and `--static-binary` (#7520) blob | commitdiff | raw | diff to current
2021-10-06 Gereon KremerEnable static builds in CI (#7281) blob | commitdiff | raw | diff to current
2021-10-04 Gereon KremerNo longer build docs by default. Use make docs. (#7296) blob | commitdiff | raw | diff to current
2021-07-29 Gereon KremerIntegrate installation instructions into documentation... blob | commitdiff | raw | diff to current