projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Expand arith's farkas lemma rule as a macro (#6577)
[cvc5.git]
/
docs
/
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
2021-04-14
Gereon Kremer
Improve documentation for FP rounding mode, add bibliog...
tree
|
commitdiff
2021-04-14
Gereon Kremer
Improve documentation of API kinds (#6341)
tree
|
commitdiff
2021-04-14
Gereon Kremer
Improve documentation for API exceptions (#6340)
tree
|
commitdiff
2021-04-13
Aina Niemetz
API docs: Add custom target to build for GH pages....
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-09
Aina Niemetz
New C++ Api: Initial layout of Api documentation. ...
tree
|
commitdiff
2021-04-07
Aina Niemetz
New C++ Api: Initial setup of Api documentation. (...
tree
|
commitdiff