projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove HOL/fmf bound messages in set defaults (#7487)
[cvc5.git] / docs /
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
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 Gereon KremerIntegrate installation instructions into documentation... tree | commitdiff
2021-07-29 Aina Niemetzquickstart: Add python example to docs. (#6949) tree | commitdiff
2021-07-28 Andres NoetzliPrint link to docs preview (#6922) tree | commitdiff
2021-07-06 Haniel BarbosaPorting C++ API examples to SMT-LIB examples (#6789) tree | commitdiff
2021-07-06 Gereon KremerAdd doc page about transcendentals (#6755) tree | commitdiff
2021-07-02 Gereon KremerRefactor lexer for SMT-LIB in sphinx (#6805) 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-19 Aina Niemetzdocs: Fix config to produce unique Sphinx section label... tree | commitdiff
2021-06-19 Aina Niemetzdocs: Remove 'View page source' link in right corner... tree | commitdiff
2021-06-15 Aina Niemetzdocs: Fix reference in sep logic reference. (#6747) tree | commitdiff
2021-06-15 Aina Niemetzdocs: Add references instead of links in theory referen... tree | commitdiff
2021-06-09 Aina Niemetzdocs: Migrate sets and relations theory reference.... tree | commitdiff
2021-06-09 Aina Niemetzdocs: Migrate separation logic theory reference. (... tree | commitdiff
2021-06-09 Andres Noetzlidocs: Fix `Kind` description (#6712) tree | commitdiff
2021-06-04 Aina Niemetzdocs: Migrate datatypes theory reference. (#6662) tree | commitdiff
2021-06-02 Aina Niemetzdocs: Migrate input languages page. (#6659) tree | commitdiff
2021-06-02 Aina Niemetzdocs: Restructure index page, fix style issue. (#6657) tree | commitdiff
2021-05-26 Gereon KremerAdd more examples to the documentation (#6569) tree | commitdiff
2021-05-26 Gereon KremerReduce size of sphinx-gh output (#6601) tree | commitdiff
2021-05-25 Aina Niemetzapi docs: Fix and tweak style for home and top links... tree | commitdiff
2021-05-21 Aina Niemetzapi docs: Tweak and fix style. (#6582) tree | commitdiff
2021-05-21 Aina Niemetzapi docs: Update copyright. (#6596) tree | commitdiff
2021-05-20 Gereon KremerMinor improvements to the API (#6585) tree | commitdiff
2021-05-19 Gereon KremerGenerate command line options for sphinx docs (#6555) tree | commitdiff
2021-05-14 Aina Niemetzapi docs: Tweak style to be consistent with website... tree | commitdiff
2021-05-04 Gereon KremerImprove generation of python API documentation (#6482) tree | commitdiff
2021-04-27 Gereon KremerInitial setup for docs of python API (#6445) tree | commitdiff
2021-04-27 Gereon KremerUse std::hash for API types (#6432) tree | commitdiff
2021-04-26 Gereon KremerGenerate docs conf.py by cmake (#6441) tree | commitdiff
2021-04-22 Gereon KremerAdd API documentation for statistics (#6364) tree | commitdiff
2021-04-22 Aina Niemetzapi docs: Rename doxygen output directory. (#6426) tree | commitdiff
2021-04-22 Aina Niemetzapi docs: Remove file reintroduced in past merge. ... tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-21 Mathias Preinercmake: Add optional module name argument for check_pyth... tree | commitdiff
2021-04-20 Gereon KremerSplit C++ API docs from general docs (#6365) tree | commitdiff
2021-04-20 Gereon KremerBasic setup for examples in documentation (#6383) tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-14 Gereon KremerImprove documentation for FP rounding mode, add bibliog... tree | commitdiff
2021-04-14 Gereon KremerImprove documentation of API kinds (#6341) tree | commitdiff
2021-04-14 Gereon KremerImprove documentation for API exceptions (#6340) tree | commitdiff
2021-04-13 Aina NiemetzAPI docs: Add custom target to build for GH pages.... tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-09 Aina NiemetzNew C++ Api: Initial layout of Api documentation. ... tree | commitdiff
2021-04-07 Aina NiemetzNew C++ Api: Initial setup of Api documentation. (... tree | commitdiff