summaryrefslogtreecommitdiff
path: root/docs
AgeCommit message (Expand)Author
2021-11-08Improve rendering of expert options. (#7589)Gereon Kremer
2021-10-28Remove separate cpp docs for UnknownExplanation (#7516)Gereon Kremer
2021-10-27Add documentation on output tags (#7499)Gereon Kremer
2021-10-27Python api documentation for sorts (#7440)yoni206
2021-10-22Refactor java package name from cvc5 to io.github.cvc5.api (#7340)mudathirmahgoub
2021-10-21docs: Use light gray for background on the right. (#7438)Aina Niemetz
2021-10-15Python api documentation: Op, Grammar, Result, Enums (#7095)yoni206
2021-10-11Add CI workflow to test different cmake versions (#7254)Gereon Kremer
2021-10-07Add a binary / SMT-LIB quickstart (#7315)Gereon Kremer
2021-10-07Replace doubles by rationals in C++ quickstart (#7317)Gereon Kremer
2021-10-06Remove timestamped javadoc comments (#7304)Gereon Kremer
2021-10-04Add sygus examples to documentation (#7303)Gereon Kremer
2021-10-04Various improvements to documentation (#7283)Gereon Kremer
2021-10-04No longer build docs by default. Use make docs. (#7296)Gereon Kremer
2021-10-01Update java examples using the new Java API (#7225)mudathirmahgoub
2021-09-30Integrate javadoc documentation (#7278)Gereon Kremer
2021-09-20Start python API Solver documentation (#7064)Alex Ozdemir
2021-08-30Add API function to obtain information about a single option (#6980)Gereon Kremer
2021-08-30python docs for Datatype-related classes (#7058)yoni206
2021-08-19Add python quick start guide (#7024)yoni206
2021-07-29Integrate installation instructions into documentation (#6814)Gereon Kremer
2021-07-29quickstart: Add python example to docs. (#6949)Aina Niemetz
2021-07-28Print link to docs preview (#6922)Andres Noetzli
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback