summaryrefslogtreecommitdiff
path: root/docs
AgeCommit message (Expand)Author
2021-07-06Porting C++ API examples to SMT-LIB examples (#6789)Haniel Barbosa
2021-07-05Add doc page about transcendentals (#6755)Gereon Kremer
2021-07-02Refactor lexer for SMT-LIB in sphinx (#6805)Gereon Kremer
2021-06-24api: getRealValue: Fix printing of integer values. (#6795)Aina Niemetz
2021-06-23docs: Add quickstart guide. (#6782)Aina Niemetz
2021-06-21docs: Split out and merge C++ class hierarchy. (#6781)Aina Niemetz
2021-06-19docs: Fix config to produce unique Sphinx section labels. (#6767)Aina Niemetz
2021-06-18docs: Remove 'View page source' link in right corner. (#6771)Aina Niemetz
2021-06-15docs: Fix reference in sep logic reference. (#6747)Aina Niemetz
2021-06-15docs: Add references instead of links in theory reference pages. (#6729)Aina Niemetz
2021-06-09docs: Migrate sets and relations theory reference. (#6698)Aina Niemetz
2021-06-09docs: Migrate separation logic theory reference. (#6702)Aina Niemetz
2021-06-09docs: Fix `Kind` description (#6712)Andres Noetzli
2021-06-04docs: Migrate datatypes theory reference. (#6662)Aina Niemetz
2021-06-01docs: Migrate input languages page. (#6659)Aina Niemetz
2021-06-01docs: Restructure index page, fix style issue. (#6657)Aina Niemetz
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