projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Make witness form visited ref counted (#8081)
[cvc5.git]
/
docs
/
api
/
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-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
Alex Ozdemir
Add new idiomatic examples (#7912)
tree
|
commitdiff
2022-01-07
Alex Ozdemir
Python Idomatic API: Document solver, results, utilitie...
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
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-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-10-28
Gereon Kremer
Remove separate cpp docs for UnknownExplanation (#7516)
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-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
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-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
Aina Niemetz
quickstart: Add python example to docs. (#6949)
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-09
Andres Noetzli
docs: Fix `Kind` description (#6712)
tree
|
commitdiff
2021-06-02
Aina Niemetz
docs: Restructure index page, fix style issue. (#6657)
tree
|
commitdiff