summaryrefslogtreecommitdiff
path: root/docs
AgeCommit message (Expand)Author
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