projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Avoid substituting Boolean term variables (#3022)
[cvc5.git] / INSTALL.md
2019-04-12 Haniel BarbosaReferring to prerelease 1.8 (#2943) blob | commitdiff | raw
2019-04-09 Haniel Barbosa"prerelease -> release" in INSTALL (#2944) blob | commitdiff | raw | diff to current
2019-03-14 Aina NiemetzImprove INSTALL instructions. (#2866) blob | commitdiff | raw | diff to current
2018-11-02 yoni206fixes to regression docs (#2679) blob | commitdiff | raw | diff to current
2018-10-19 Mathias Preinercmake: Run regression level 2 for make check. (#2645) blob | commitdiff | raw | diff to current
2018-10-02 Alex OzdemirFix documentation for `make regress`. (#2557) blob | commitdiff | raw | diff to current
2018-09-26 Aina Niemetzcmake: New INSTALL.md for build and testing instruction... blob | commitdiff | raw | diff to current