projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
[cvc5.git] / INSTALL.rst
2022-05-04 yoni206fix link to `Testing cvc5` in `INSTALL.md` (#8675) blob | commitdiff | raw
2022-04-04 Gereon KremerVarious improvements and fixes in the documentation... blob | commitdiff | raw | diff to current
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