summaryrefslogtreecommitdiff
path: root/INSTALL.md
AgeCommit message (Expand)Author
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-05-21Use scikit-build CMake files for pycvc5 (#6543)makaimann
2021-04-22Update INSTALL.md (#6412)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-13API docs: Add custom target to build for GH pages. (#6335)Aina Niemetz
2021-04-07New C++ Api: Initial setup of Api documentation. (#6295)Aina Niemetz
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-02Remove obsolete dependency on CxxTest. (#6038)Aina Niemetz
2021-03-02Add aarch64 (ARM64) cross-compile support. (#6033)Mathias Preiner
2021-02-09cmake: Make Python3 default and improve toml error messages. (#5884)Mathias Preiner
2021-02-04Clarifying documentation of `--static-binary` (#5844)yoni206
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-10-05cmake: Add warning when unit testing is disabled due to assertions being disa...Aina Niemetz
2020-08-04Add documentation and build instructions for recompilation (LGPL). (#4844)Mathias Preiner
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-07-02Remove SWIG bindings (#4683)Andres Noetzli
2020-06-19Update version information post 1.8 release (#4635)Andres Noetzli
2020-06-19Update info for 1.8 release (#4633)Andres Noetzli
2020-04-28contrib/get-gmp: Rename and update install instructions with a warning. (#4407)Aina Niemetz
2020-04-27Fix examples instructions in INSTALL.md. (#4397)Mathias Preiner
2020-02-04Update INSTALL.md (#3714)mudathirmahgoub
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-09-25Add Windows cross-compiling instructions to INSTALL.md. (#3226)Mathias Preiner
2019-04-12Referring to prerelease 1.8 (#2943)Haniel Barbosa
2019-04-08"prerelease -> release" in INSTALL (#2944)Haniel Barbosa
2019-03-14Improve INSTALL instructions. (#2866)Aina Niemetz
2018-11-01fixes to regression docs (#2679)yoni206
2018-10-18cmake: Run regression level 2 for make check. (#2645)Mathias Preiner
2018-10-02Fix documentation for `make regress`. (#2557)Alex Ozdemir
2018-09-25cmake: New INSTALL.md for build and testing instructions. (#2536)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback