projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Allow elimination of unevaluated terms by default (#8136)
[cvc5.git] / docs / api /
2022-02-04 Gereon KremerUse Add instead of Plus (#8043) tree | commitdiff
2022-02-02 Alex OzdemirChange name of Python API's package from pycvc5 to... tree | commitdiff
2022-01-18 Gereon KremerSome random documentation issues (#7921) tree | commitdiff
2022-01-14 Alex OzdemirRename python APIs (#7950) tree | commitdiff
2022-01-11 Alex OzdemirAdd new idiomatic examples (#7912) tree | commitdiff
2022-01-07 Alex OzdemirPython Idomatic API: Document solver, results, utilitie... tree | commitdiff
2022-01-07 Alex OzdemirDocument quantifiers in idiomatic python API (#7880) tree | commitdiff
2022-01-05 Alex OzdemirPy idiomatic API: Doc sets, datatypes, FP (#7877) tree | commitdiff
2021-12-17 Alex OzdemirMore documentation for idiomatic python API (#7798) tree | commitdiff
2021-12-15 Aina Niemetzapi: Fix smt-lib code blocks and math in C++ docs.... tree | commitdiff
2021-12-10 Aina Niemetzapi: Use 'note' constructs for API documentation. ... tree | commitdiff
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686) tree | commitdiff
2021-12-07 mudathirmahgoubFix some java documentation links (#7757) tree | commitdiff
2021-12-07 mudathirmahgoubAdd documentation for QuickStart.java (#7730) tree | commitdiff
2021-12-03 Gereon KremerFix a few broken links (#7734) tree | commitdiff
2021-11-30 Gereon KremerExtend docs example extension (#7717) tree | commitdiff
2021-11-30 Alex OzdemirScaffold the idiomatic API's documentation (#7715) tree | commitdiff
2021-11-23 Gereon KremerAdd kinds to python docs (#7672) tree | commitdiff
2021-11-23 yoni206Python API documentation: terms (#7659) tree | commitdiff
2021-11-17 Gereon KremerAdd documentation for z3py compatibility API (#7652) tree | commitdiff
2021-11-12 Gereon KremerVarious minor docs improvements (#7626) tree | commitdiff
2021-11-10 Mathias Preinerdocs: Also create javadoc for generated Kind.java ... tree | commitdiff
2021-11-10 Mathias Preinerjava: Fix building cvc5.jar for cmake 3.16. (#7623) tree | commitdiff
2021-10-28 Gereon KremerRemove separate cpp docs for UnknownExplanation (#7516) tree | commitdiff
2021-10-27 yoni206Python api documentation for sorts (#7440) tree | commitdiff
2021-10-22 mudathirmahgoubRefactor java package name from cvc5 to io.github.cvc5... tree | commitdiff
2021-10-15 yoni206Python api documentation: Op, Grammar, Result, Enums... tree | commitdiff
2021-10-11 Gereon KremerAdd CI workflow to test different cmake versions (... tree | commitdiff
2021-10-07 Gereon KremerAdd a binary / SMT-LIB quickstart (#7315) tree | commitdiff
2021-10-07 Gereon KremerReplace doubles by rationals in C++ quickstart (#7317) tree | commitdiff
2021-10-06 Gereon KremerRemove timestamped javadoc comments (#7304) tree | commitdiff
2021-10-04 Gereon KremerVarious improvements to documentation (#7283) tree | commitdiff
2021-10-04 Gereon KremerNo longer build docs by default. Use make docs. (#7296) tree | commitdiff
2021-09-30 Gereon KremerIntegrate javadoc documentation (#7278) tree | commitdiff
2021-09-20 Alex OzdemirStart python API Solver documentation (#7064) tree | commitdiff
2021-08-30 Gereon KremerAdd API function to obtain information about a single... tree | commitdiff
2021-08-30 yoni206python docs for Datatype-related classes (#7058) tree | commitdiff
2021-08-19 yoni206Add python quick start guide (#7024) tree | commitdiff
2021-07-29 Aina Niemetzquickstart: Add python example to docs. (#6949) tree | commitdiff
2021-06-24 Aina Niemetzapi: getRealValue: Fix printing of integer values.... tree | commitdiff
2021-06-23 Aina Niemetzdocs: Add quickstart guide. (#6782) tree | commitdiff
2021-06-21 Aina Niemetzdocs: Split out and merge C++ class hierarchy. (#6781) tree | commitdiff
2021-06-09 Andres Noetzlidocs: Fix `Kind` description (#6712) tree | commitdiff
2021-06-02 Aina Niemetzdocs: Restructure index page, fix style issue. (#6657) tree | commitdiff