projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Miscellaneous fixes from proof-new (#7313)
[cvc5.git]
/
docs
/
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
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