projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Some minor improvements to the theory references (#7881)
[cvc5.git] / docs / ext /
2022-01-03 Gereon KremerAdd download link for examples in documentation (#7836) tree | commitdiff
2021-12-15 Aina Niemetzapi: Fix smt-lib code blocks and math in C++ docs.... tree | commitdiff
2021-12-08 Gereon KremerTurn kinds in python API into a proper Enum (#7686) tree | commitdiff
2021-11-30 Gereon KremerExtend docs example extension (#7717) 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-09-20 Alex OzdemirStart python API Solver documentation (#7064) tree | commitdiff
2021-07-02 Gereon KremerRefactor lexer for SMT-LIB in sphinx (#6805) tree | commitdiff
2021-06-23 Aina Niemetzdocs: Add quickstart guide. (#6782) 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-04 Aina Niemetzdocs: Migrate datatypes theory reference. (#6662) tree | commitdiff
2021-05-26 Gereon KremerAdd more examples to the documentation (#6569) tree | commitdiff
2021-05-19 Gereon KremerGenerate command line options for sphinx docs (#6555) tree | commitdiff
2021-04-22 Gereon KremerAdd API documentation for statistics (#6364) tree | commitdiff
2021-04-20 Gereon KremerBasic setup for examples in documentation (#6383) tree | commitdiff