projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improve handling of `:named` attributes (#6549)
[cvc5.git] / docs /
2021-05-14 Aina Niemetzapi docs: Tweak style to be consistent with website... tree | commitdiff
2021-05-04 Gereon KremerImprove generation of python API documentation (#6482) tree | commitdiff
2021-04-27 Gereon KremerInitial setup for docs of python API (#6445) tree | commitdiff
2021-04-27 Gereon KremerUse std::hash for API types (#6432) tree | commitdiff
2021-04-26 Gereon KremerGenerate docs conf.py by cmake (#6441) tree | commitdiff
2021-04-22 Gereon KremerAdd API documentation for statistics (#6364) tree | commitdiff
2021-04-22 Aina Niemetzapi docs: Rename doxygen output directory. (#6426) tree | commitdiff
2021-04-22 Aina Niemetzapi docs: Remove file reintroduced in past merge. ... tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-21 Mathias Preinercmake: Add optional module name argument for check_pyth... tree | commitdiff
2021-04-20 Gereon KremerSplit C++ API docs from general docs (#6365) tree | commitdiff
2021-04-20 Gereon KremerBasic setup for examples in documentation (#6383) tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-14 Gereon KremerImprove documentation for FP rounding mode, add bibliog... tree | commitdiff
2021-04-14 Gereon KremerImprove documentation of API kinds (#6341) tree | commitdiff
2021-04-14 Gereon KremerImprove documentation for API exceptions (#6340) tree | commitdiff
2021-04-13 Aina NiemetzAPI docs: Add custom target to build for GH pages.... tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-09 Aina NiemetzNew C++ Api: Initial layout of Api documentation. ... tree | commitdiff
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (... tree | commitdiff