projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add learned literal type and prop learned database (#8582)
[cvc5.git]
/
docs
/
2022-04-05
Aina Niemetz
api: More fixes in C++ API docs. (#8570)
tree
|
commitdiff
2022-04-05
Alex Ozdemir
Write-up for Pythonic API quickstart (#8566)
tree
|
commitdiff
2022-04-05
Mathias Preiner
docs: Fix mkTerm calls in theory documentation. (#8567)
tree
|
commitdiff
2022-04-05
mudathirmahgoub
Docs: remove api from package name in java.rst (#8560)
tree
|
commitdiff
2022-04-04
Alex Ozdemir
Bump Pythonic (transcendentals) & exception example...
tree
|
commitdiff
2022-04-04
Aina Niemetz
api: Various fixes in Python documentation. (#8554)
tree
|
commitdiff
2022-04-04
Gereon Kremer
Various improvements and fixes in the documentation...
tree
|
commitdiff
2022-04-02
Aina Niemetz
api: Rename get(Selector|Constructor)Term() to getTerm...
tree
|
commitdiff
2022-04-02
Gereon Kremer
Follow renaming within pythonic API (#8532)
tree
|
commitdiff
2022-04-02
Cesare Tinelli
Minor edits in docs. (#8540)
tree
|
commitdiff
2022-04-02
Mathias Preiner
docs: Add Python installation instructions for pip...
tree
|
commitdiff
2022-04-02
Andrew Reynolds
Add a few miscellaneous pieces of documentation (#8533)
tree
|
commitdiff
2022-04-01
Mathias Preiner
docs: Document UnknownExplanation. (#8508)
tree
|
commitdiff
2022-04-01
Gereon Kremer
Document special member functions in python API (#8513)
tree
|
commitdiff
2022-04-01
Aina Niemetz
Python API: Do not rename enumerators. (#8507)
tree
|
commitdiff
2022-04-01
Haniel Barbosa
[proofs] [doc] Minor changes to general proofs page...
tree
|
commitdiff
2022-04-01
mudathirmahgoub
Fix javadoc custom tag warning (#8502)
tree
|
commitdiff
2022-04-01
Mathias Preiner
docs: Add documentation for modes. (#8509)
tree
|
commitdiff
2022-04-01
Aina Niemetz
Python api: Various fixes in docs. (#8480)
tree
|
commitdiff
2022-03-31
Ying Sheng
Add documentation for sequences (#8496)
tree
|
commitdiff
2022-03-31
mudathirmahgoub
Fix bag example links (#8504)
tree
|
commitdiff
2022-03-31
Gereon Kremer
Improve documentation for Statistics in C++ API (#8476)
tree
|
commitdiff
2022-03-31
mudathirmahgoub
Add examples/bags.cpp (#8463)
tree
|
commitdiff
2022-03-31
Gereon Kremer
Improve documentation for OptionInfo (#8474)
tree
|
commitdiff
2022-03-31
Andres Noetzli
Move Java package to `io.github.cvc5` (#8469)
tree
|
commitdiff
2022-03-31
Haniel Barbosa
[proofs] [doc] Document equality rules (#8462)
tree
|
commitdiff
2022-03-31
Mathias Preiner
docs: Remove api namespace. (#8455)
tree
|
commitdiff
2022-03-30
Aina Niemetz
docs: Add bags to list of theory references. (#8461)
tree
|
commitdiff
2022-03-30
Andrew Reynolds
Change tuple tokens and update datatypes theory ref...
tree
|
commitdiff
2022-03-30
Mathias Preiner
Rename master branch to main. (#8452)
tree
|
commitdiff
2022-03-30
Abdalrhman Mohamed
Show the code for utilities in the docs. (#8387)
tree
|
commitdiff
2022-03-29
mudathirmahgoub
Add bags.rst (#8432)
tree
|
commitdiff
2022-03-26
Aina Niemetz
api: Rename *SortConstructor* to *UninterpretedSortCons...
tree
|
commitdiff
2022-03-25
Aina Niemetz
api: Refactor kinds documentation. (#8384)
tree
|
commitdiff
2022-03-25
Andrew Reynolds
Fixes for theory reference for datatypes (#8380)
tree
|
commitdiff
2022-03-23
Gereon Kremer
Add API unit tests for statistics (#8341)
tree
|
commitdiff
2022-03-23
Andrew Reynolds
Add SynthResult to the API (#8370)
tree
|
commitdiff
2022-03-23
Andrew Reynolds
Initial documentation on LFSC (#8365)
tree
|
commitdiff
2022-03-22
Gereon Kremer
Refactor proof rule documentation (#8303)
tree
|
commitdiff
2022-03-22
Andrew Reynolds
Updates for the theory reference for separation logic...
tree
|
commitdiff
2022-03-22
mudathirmahgoub
update sets-and-relations.rst (#8364)
tree
|
commitdiff
2022-03-21
Gereon Kremer
Refactor documentation (#8288)
tree
|
commitdiff
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
next