2022-03-11 |
Gereon Kremer | Add first step for proofs documentation (#8193) |
tree | commitdiff |
2022-03-09 |
Gereon Kremer | Rename expert statistics to internal, add documentation... |
tree | commitdiff |
2022-03-07 |
Gereon Kremer | Fix docs warnings (#8019) |
tree | commitdiff |
2022-03-05 |
Andres Noetzli | [Docs] Add missing requirement (#8238) |
tree | commitdiff |
2022-03-03 |
Gereon Kremer | Build python wheels in our CI (#8087) |
tree | commitdiff |
2022-03-03 |
Gereon Kremer | Integrate pythonic api (#8131) |
tree | commitdiff |
2022-03-02 |
Gereon Kremer | Add standard theories to documentation (#8192) |
tree | commitdiff |
2022-02-07 |
Gereon Kremer | Add user documentation for resource limits (#8058) |
tree | commitdiff |
2022-02-04 |
Gereon Kremer | Use Add instead of Plus (#8043) |
tree | commitdiff |
2022-02-02 |
Alex Ozdemir | Change name of Python API's package from pycvc5 to... |
tree | commitdiff |
2022-02-02 |
mudathirmahgoub | Update datatypes.rst (#8009) |
tree | commitdiff |
2022-01-27 |
Aina Niemetz | Update AUTHORS und copyright of docs configuration... |
tree | commitdiff |
2022-01-18 |
Gereon Kremer | Some random documentation issues (#7921) |
tree | commitdiff |
2022-01-14 |
Alex Ozdemir | Rename python APIs (#7950) |
tree | commitdiff |
2022-01-11 |
Aina Niemetz | api: Fix formatting of docs for Term::getSetValue(... |
tree | commitdiff |
2022-01-11 |
Alex Ozdemir | Add new idiomatic examples (#7912) |
tree | commitdiff |
2022-01-07 |
Gereon Kremer | Improve docs extension for examples (#7900) |
tree | commitdiff |
2022-01-07 |
Alex Ozdemir | Python Idomatic API: Document solver, results, utilitie... |
tree | commitdiff |
2022-01-07 |
Gereon Kremer | Some minor improvements to the theory references (... |
tree | commitdiff |
2022-01-07 |
Alex Ozdemir | Document quantifiers in idiomatic python API (#7880) |
tree | commitdiff |
2022-01-05 |
Alex Ozdemir | Py idiomatic API: Doc sets, datatypes, FP (#7877) |
tree | commitdiff |
2022-01-03 |
Gereon Kremer | Add download link for examples in documentation (#7836) |
tree | commitdiff |
2021-12-17 |
mudathirmahgoub | Add relations.cpp, relations.py examples (#7801) |
tree | commitdiff |
2021-12-17 |
Alex Ozdemir | More documentation for idiomatic python API (#7798) |
tree | commitdiff |
2021-12-15 |
Aina Niemetz | api: Fix smt-lib code blocks and math in C++ docs.... |
tree | commitdiff |
2021-12-10 |
Aina Niemetz | api: Use 'note' constructs for API documentation. ... |
tree | commitdiff |
2021-12-08 |
Gereon Kremer | Turn kinds in python API into a proper Enum (#7686) |
tree | commitdiff |
2021-12-07 |
mudathirmahgoub | Fix some java documentation links (#7757) |
tree | commitdiff |
2021-12-07 |
mudathirmahgoub | Add documentation for QuickStart.java (#7730) |
tree | commitdiff |
2021-12-03 |
Gereon Kremer | Fix a few broken links (#7734) |
tree | commitdiff |
2021-12-01 |
Gereon Kremer | Add the first example for z3pycompat (#7722) |
tree | commitdiff |
2021-11-30 |
Gereon Kremer | Extend docs example extension (#7717) |
tree | commitdiff |
2021-11-30 |
Alex Ozdemir | Scaffold the idiomatic API's documentation (#7715) |
tree | commitdiff |
2021-11-23 |
Gereon Kremer | Add kinds to python docs (#7672) |
tree | commitdiff |
2021-11-23 |
yoni206 | Python API documentation: terms (#7659) |
tree | commitdiff |
2021-11-17 |
Gereon Kremer | Add documentation for z3py compatibility API (#7652) |
tree | commitdiff |
2021-11-12 |
Gereon Kremer | Various minor docs improvements (#7626) |
tree | commitdiff |
2021-11-10 |
Mathias Preiner | docs: Also create javadoc for generated Kind.java ... |
tree | commitdiff |
2021-11-10 |
Mathias Preiner | java: Fix building cvc5.jar for cmake 3.16. (#7623) |
tree | commitdiff |
2021-11-10 |
Aina Niemetz | sets: Rename set.intersection to set.inter. (#7622) |
tree | commitdiff |
2021-11-09 |
Aina Niemetz | sets: Update theory reference and smt2 examples. (... |
tree | commitdiff |
2021-11-08 |
Gereon Kremer | Improve rendering of expert options. (#7589) |
tree | commitdiff |
2021-10-28 |
Gereon Kremer | Remove separate cpp docs for UnknownExplanation (#7516) |
tree | commitdiff |
2021-10-27 |
Gereon Kremer | Add documentation on output tags (#7499) |
tree | commitdiff |
2021-10-27 |
yoni206 | Python api documentation for sorts (#7440) |
tree | commitdiff |
2021-10-22 |
mudathirmahgoub | Refactor java package name from cvc5 to io.github.cvc5... |
tree | commitdiff |
2021-10-21 |
Aina Niemetz | docs: Use light gray for background on the right. ... |
tree | commitdiff |
2021-10-15 |
yoni206 | Python api documentation: Op, Grammar, Result, Enums... |
tree | commitdiff |
2021-10-11 |
Gereon Kremer | Add CI workflow to test different cmake versions (... |
tree | commitdiff |
2021-10-07 |
Gereon Kremer | Add a binary / SMT-LIB quickstart (#7315) |
tree | commitdiff |
2021-10-07 |
Gereon Kremer | Replace doubles by rationals in C++ quickstart (#7317) |
tree | commitdiff |
2021-10-06 |
Gereon Kremer | Remove timestamped javadoc comments (#7304) |
tree | commitdiff |
2021-10-04 |
Gereon Kremer | Add sygus examples to documentation (#7303) |
tree | commitdiff |
2021-10-04 |
Gereon Kremer | Various improvements to documentation (#7283) |
tree | commitdiff |
2021-10-04 |
Gereon Kremer | No longer build docs by default. Use make docs. (#7296) |
tree | commitdiff |
2021-10-01 |
mudathirmahgoub | Update java examples using the new Java API (#7225) |
tree | commitdiff |
2021-09-30 |
Gereon Kremer | Integrate javadoc documentation (#7278) |
tree | commitdiff |
2021-09-20 |
Alex Ozdemir | Start python API Solver documentation (#7064) |
tree | commitdiff |
2021-08-30 |
Gereon Kremer | Add API function to obtain information about a single... |
tree | commitdiff |
2021-08-30 |
yoni206 | python docs for Datatype-related classes (#7058) |
tree | commitdiff |
2021-08-19 |
yoni206 | Add python quick start guide (#7024) |
tree | commitdiff |
2021-07-29 |
Gereon Kremer | Integrate installation instructions into documentation... |
tree | commitdiff |
2021-07-29 |
Aina Niemetz | quickstart: Add python example to docs. (#6949) |
tree | commitdiff |
2021-07-28 |
Andres Noetzli | Print link to docs preview (#6922) |
tree | commitdiff |
2021-07-06 |
Haniel Barbosa | Porting C++ API examples to SMT-LIB examples (#6789) |
tree | commitdiff |
2021-07-06 |
Gereon Kremer | Add doc page about transcendentals (#6755) |
tree | commitdiff |
2021-07-02 |
Gereon Kremer | Refactor lexer for SMT-LIB in sphinx (#6805) |
tree | commitdiff |
2021-06-24 |
Aina Niemetz | api: getRealValue: Fix printing of integer values.... |
tree | commitdiff |
2021-06-23 |
Aina Niemetz | docs: Add quickstart guide. (#6782) |
tree | commitdiff |
2021-06-21 |
Aina Niemetz | docs: Split out and merge C++ class hierarchy. (#6781) |
tree | commitdiff |
2021-06-19 |
Aina Niemetz | docs: Fix config to produce unique Sphinx section label... |
tree | commitdiff |
2021-06-19 |
Aina Niemetz | docs: Remove 'View page source' link in right corner... |
tree | commitdiff |
2021-06-15 |
Aina Niemetz | docs: Fix reference in sep logic reference. (#6747) |
tree | commitdiff |
2021-06-15 |
Aina Niemetz | docs: Add references instead of links in theory referen... |
tree | commitdiff |
2021-06-09 |
Aina Niemetz | docs: Migrate sets and relations theory reference.... |
tree | commitdiff |
2021-06-09 |
Aina Niemetz | docs: Migrate separation logic theory reference. (... |
tree | commitdiff |
2021-06-09 |
Andres Noetzli | docs: Fix `Kind` description (#6712) |
tree | commitdiff |
2021-06-04 |
Aina Niemetz | docs: Migrate datatypes theory reference. (#6662) |
tree | commitdiff |
2021-06-02 |
Aina Niemetz | docs: Migrate input languages page. (#6659) |
tree | commitdiff |
2021-06-02 |
Aina Niemetz | docs: Restructure index page, fix style issue. (#6657) |
tree | commitdiff |
2021-05-26 |
Gereon Kremer | Add more examples to the documentation (#6569) |
tree | commitdiff |
2021-05-26 |
Gereon Kremer | Reduce size of sphinx-gh output (#6601) |
tree | commitdiff |
2021-05-25 |
Aina Niemetz | api docs: Fix and tweak style for home and top links... |
tree | commitdiff |
2021-05-21 |
Aina Niemetz | api docs: Tweak and fix style. (#6582) |
tree | commitdiff |
2021-05-21 |
Aina Niemetz | api docs: Update copyright. (#6596) |
tree | commitdiff |
2021-05-20 |
Gereon Kremer | Minor improvements to the API (#6585) |
tree | commitdiff |
2021-05-19 |
Gereon Kremer | Generate command line options for sphinx docs (#6555) |
tree | commitdiff |
2021-05-14 |
Aina Niemetz | api docs: Tweak style to be consistent with website... |
tree | commitdiff |
2021-05-04 |
Gereon Kremer | Improve generation of python API documentation (#6482) |
tree | commitdiff |
2021-04-27 |
Gereon Kremer | Initial setup for docs of python API (#6445) |
tree | commitdiff |
2021-04-27 |
Gereon Kremer | Use std::hash for API types (#6432) |
tree | commitdiff |
2021-04-26 |
Gereon Kremer | Generate docs conf.py by cmake (#6441) |
tree | commitdiff |
2021-04-22 |
Gereon Kremer | Add API documentation for statistics (#6364) |
tree | commitdiff |
2021-04-22 |
Aina Niemetz | api docs: Rename doxygen output directory. (#6426) |
tree | commitdiff |
2021-04-22 |
Aina Niemetz | api docs: Remove file reintroduced in past merge. ... |
tree | commitdiff |
2021-04-21 |
Mathias Preiner | Goodbye CVC4, hello cvc5! (#6371) |
tree | commitdiff |
2021-04-21 |
Mathias Preiner | cmake: Add optional module name argument for check_pyth... |
tree | commitdiff |
2021-04-20 |
Gereon Kremer | Split C++ API docs from general docs (#6365) |
tree | commitdiff |
2021-04-20 |
Gereon Kremer | Basic setup for examples in documentation (#6383) |
tree | commitdiff |
2021-04-15 |
Aina Niemetz | Rename occurrences of CVC4 to CVC5. (#6351) |
tree | commitdiff |
next |