projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit
[cvc5.git] / docs /
2022-04-05 Aina Niemetzapi: More fixes in C++ API docs. (#8570) tree | commitdiff
2022-04-05 Alex OzdemirWrite-up for Pythonic API quickstart (#8566) tree | commitdiff
2022-04-05 Mathias Preinerdocs: Fix mkTerm calls in theory documentation. (#8567) tree | commitdiff
2022-04-05 mudathirmahgoubDocs: remove api from package name in java.rst (#8560) tree | commitdiff
2022-04-04 Alex OzdemirBump Pythonic (transcendentals) & exception example... tree | commitdiff
2022-04-04 Aina Niemetzapi: Various fixes in Python documentation. (#8554) tree | commitdiff
2022-04-04 Gereon KremerVarious improvements and fixes in the documentation... tree | commitdiff
2022-04-02 Aina Niemetzapi: Rename get(Selector|Constructor)Term() to getTerm... tree | commitdiff
2022-04-02 Gereon KremerFollow renaming within pythonic API (#8532) tree | commitdiff
2022-04-02 Cesare TinelliMinor edits in docs. (#8540) tree | commitdiff
2022-04-02 Mathias Preinerdocs: Add Python installation instructions for pip... tree | commitdiff
2022-04-02 Andrew ReynoldsAdd a few miscellaneous pieces of documentation (#8533) tree | commitdiff
2022-04-01 Mathias Preinerdocs: Document UnknownExplanation. (#8508) tree | commitdiff
2022-04-01 Gereon KremerDocument special member functions in python API (#8513) tree | commitdiff
2022-04-01 Aina NiemetzPython 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 mudathirmahgoubFix javadoc custom tag warning (#8502) tree | commitdiff
2022-04-01 Mathias Preinerdocs: Add documentation for modes. (#8509) tree | commitdiff
2022-04-01 Aina NiemetzPython api: Various fixes in docs. (#8480) tree | commitdiff
2022-03-31 Ying ShengAdd documentation for sequences (#8496) tree | commitdiff
2022-03-31 mudathirmahgoubFix bag example links (#8504) tree | commitdiff
2022-03-31 Gereon KremerImprove documentation for Statistics in C++ API (#8476) tree | commitdiff
2022-03-31 mudathirmahgoubAdd examples/bags.cpp (#8463) tree | commitdiff
2022-03-31 Gereon KremerImprove documentation for OptionInfo (#8474) tree | commitdiff
2022-03-31 Andres NoetzliMove 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 Preinerdocs: Remove api namespace. (#8455) tree | commitdiff
2022-03-30 Aina Niemetzdocs: Add bags to list of theory references. (#8461) tree | commitdiff
2022-03-30 Andrew ReynoldsChange tuple tokens and update datatypes theory ref... tree | commitdiff
2022-03-30 Mathias PreinerRename master branch to main. (#8452) tree | commitdiff
2022-03-30 Abdalrhman MohamedShow the code for utilities in the docs. (#8387) tree | commitdiff
2022-03-29 mudathirmahgoubAdd bags.rst (#8432) tree | commitdiff
2022-03-26 Aina Niemetzapi: Rename *SortConstructor* to *UninterpretedSortCons... tree | commitdiff
2022-03-25 Aina Niemetzapi: Refactor kinds documentation. (#8384) tree | commitdiff
2022-03-25 Andrew ReynoldsFixes for theory reference for datatypes (#8380) tree | commitdiff
2022-03-23 Gereon KremerAdd API unit tests for statistics (#8341) tree | commitdiff
2022-03-23 Andrew ReynoldsAdd SynthResult to the API (#8370) tree | commitdiff
2022-03-23 Andrew ReynoldsInitial documentation on LFSC (#8365) tree | commitdiff
2022-03-22 Gereon KremerRefactor proof rule documentation (#8303) tree | commitdiff
2022-03-22 Andrew ReynoldsUpdates for the theory reference for separation logic... tree | commitdiff
2022-03-22 mudathirmahgoubupdate sets-and-relations.rst (#8364) tree | commitdiff
2022-03-21 Gereon KremerRefactor documentation (#8288) tree | commitdiff
2022-03-11 Gereon KremerAdd first step for proofs documentation (#8193) tree | commitdiff
2022-03-09 Gereon KremerRename expert statistics to internal, add documentation... tree | commitdiff
2022-03-07 Gereon KremerFix docs warnings (#8019) tree | commitdiff
2022-03-05 Andres Noetzli[Docs] Add missing requirement (#8238) tree | commitdiff
2022-03-03 Gereon KremerBuild python wheels in our CI (#8087) tree | commitdiff
2022-03-03 Gereon KremerIntegrate pythonic api (#8131) tree | commitdiff
2022-03-02 Gereon KremerAdd standard theories to documentation (#8192) tree | commitdiff
2022-02-07 Gereon KremerAdd user documentation for resource limits (#8058) tree | commitdiff
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-02-02 mudathirmahgoubUpdate datatypes.rst (#8009) tree | commitdiff
2022-01-27 Aina NiemetzUpdate AUTHORS und copyright of docs configuration... 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 Aina Niemetzapi: Fix formatting of docs for Term::getSetValue(... tree | commitdiff
2022-01-11 Alex OzdemirAdd new idiomatic examples (#7912) tree | commitdiff
2022-01-07 Gereon KremerImprove docs extension for examples (#7900) tree | commitdiff
2022-01-07 Alex OzdemirPython Idomatic API: Document solver, results, utilitie... tree | commitdiff
2022-01-07 Gereon KremerSome minor improvements to the theory references (... 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
2022-01-03 Gereon KremerAdd download link for examples in documentation (#7836) tree | commitdiff
2021-12-17 mudathirmahgoubAdd relations.cpp, relations.py examples (#7801) 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-12-01 Gereon KremerAdd the first example for z3pycompat (#7722) 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-11-10 Aina Niemetzsets: Rename set.intersection to set.inter. (#7622) tree | commitdiff
2021-11-09 Aina Niemetzsets: Update theory reference and smt2 examples. (... tree | commitdiff
2021-11-08 Gereon KremerImprove rendering of expert options. (#7589) tree | commitdiff
2021-10-28 Gereon KremerRemove separate cpp docs for UnknownExplanation (#7516) tree | commitdiff
2021-10-27 Gereon KremerAdd documentation on output tags (#7499) 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-21 Aina Niemetzdocs: Use light gray for background on the right. ... 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 KremerAdd sygus examples to documentation (#7303) 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-10-01 mudathirmahgoubUpdate java examples using the new Java API (#7225) tree | commitdiff
2021-09-30 Gereon KremerIntegrate javadoc documentation (#7278) tree | commitdiff
2021-09-20 Alex OzdemirStart python API Solver documentation (#7064) tree | commitdiff
next