summaryrefslogtreecommitdiff
path: root/docs
AgeCommit message (Expand)Author
2021-05-26Add more examples to the documentation (#6569)Gereon Kremer
2021-05-26Reduce size of sphinx-gh output (#6601)Gereon Kremer
2021-05-25api docs: Fix and tweak style for home and top links. (#6618)Aina Niemetz
2021-05-21api docs: Tweak and fix style. (#6582)Aina Niemetz
2021-05-21api docs: Update copyright. (#6596)Aina Niemetz
2021-05-20Minor improvements to the API (#6585)Gereon Kremer
2021-05-19Generate command line options for sphinx docs (#6555)Gereon Kremer
2021-05-13api docs: Tweak style to be consistent with website style. (#6537)Aina Niemetz
2021-05-04Improve generation of python API documentation (#6482)Gereon Kremer
2021-04-27Initial setup for docs of python API (#6445)Gereon Kremer
2021-04-27Use std::hash for API types (#6432)Gereon Kremer
2021-04-26Generate docs conf.py by cmake (#6441)Gereon Kremer
2021-04-22Add API documentation for statistics (#6364)Gereon Kremer
2021-04-22api docs: Rename doxygen output directory. (#6426)Aina Niemetz
2021-04-22api docs: Remove file reintroduced in past merge. (#6426)Aina Niemetz
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-21cmake: Add optional module name argument for check_python_module helper. (#6406)Mathias Preiner
2021-04-20Split C++ API docs from general docs (#6365)Gereon Kremer
2021-04-20Basic setup for examples in documentation (#6383)Gereon Kremer
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-14Improve documentation for FP rounding mode, add bibliography (#6343)Gereon Kremer
2021-04-14Improve documentation of API kinds (#6341)Gereon Kremer
2021-04-14Improve documentation for API exceptions (#6340)Gereon Kremer
2021-04-13API docs: Add custom target to build for GH pages. (#6335)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09New C++ Api: Initial layout of Api documentation. (#6325)Aina Niemetz
2021-04-07New C++ Api: Initial setup of Api documentation. (#6295)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback