projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[proof-new] Fixing SMT post-processor's handling of assumptions (#6277)
[cvc5.git] / INSTALL.md
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (... blob | commitdiff | raw
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... blob | commitdiff | raw | diff to current
2021-03-02 Aina NiemetzRemove obsolete dependency on CxxTest. (#6038) blob | commitdiff | raw | diff to current
2021-03-02 Mathias PreinerAdd aarch64 (ARM64) cross-compile support. (#6033) blob | commitdiff | raw | diff to current
2021-02-09 Mathias Preinercmake: Make Python3 default and improve toml error... blob | commitdiff | raw | diff to current
2021-02-04 yoni206Clarifying documentation of `--static-binary` (#5844) blob | commitdiff | raw | diff to current
2020-12-02 Aina Niemetzgoogle test: Infrastructure and first api test. (#5548) blob | commitdiff | raw | diff to current
2020-10-05 Aina Niemetzcmake: Add warning when unit testing is disabled due... blob | commitdiff | raw | diff to current
2020-08-04 Mathias PreinerAdd documentation and build instructions for recompilat... blob | commitdiff | raw | diff to current
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... blob | commitdiff | raw | diff to current
2020-07-17 Gereon KremerIntegration of libpoly (#4679) blob | commitdiff | raw | diff to current
2020-07-03 Andres NoetzliRemove SWIG bindings (#4683) blob | commitdiff | raw | diff to current
2020-06-19 Andres NoetzliUpdate version information post 1.8 release (#4635) blob | commitdiff | raw | diff to current
2020-06-19 Andres NoetzliUpdate info for 1.8 release (#4633) blob | commitdiff | raw | diff to current
2020-04-28 Aina Niemetzcontrib/get-gmp: Rename and update install instructions... blob | commitdiff | raw | diff to current
2020-04-27 Mathias PreinerFix examples instructions in INSTALL.md. (#4397) blob | commitdiff | raw | diff to current
2020-02-04 mudathirmahgoubUpdate INSTALL.md (#3714) blob | commitdiff | raw | diff to current
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) blob | commitdiff | raw | diff to current
2019-09-25 Mathias PreinerAdd Windows cross-compiling instructions to INSTALL... blob | commitdiff | raw | diff to current
2019-04-12 Haniel BarbosaReferring to prerelease 1.8 (#2943) blob | commitdiff | raw | diff to current
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