git.libre-soc.org Git - cvc5.git/history

2021-12-08	Gereon Kremer	Turn kinds in python API into a proper Enum (#7686)	blob \| commitdiff \| raw
2021-11-30	Gereon Kremer	Extend docs example extension (#7717)	blob \| commitdiff \| raw \| diff to current
2021-11-30	Alex Ozdemir	Scaffold the idiomatic API's documentation (#7715)	blob \| commitdiff \| raw \| diff to current
2021-11-17	Gereon Kremer	Add documentation for z3py compatibility API (#7652)	blob \| commitdiff \| raw \| diff to current
2021-10-27	Gereon Kremer	Add documentation on output tags (#7499)	blob \| commitdiff \| raw \| diff to current
2021-10-04	Gereon Kremer	Various improvements to documentation (#7283)	blob \| commitdiff \| raw \| diff to current
2021-09-30	Gereon Kremer	Integrate javadoc documentation (#7278)	blob \| commitdiff \| raw \| diff to current
2021-06-19	Aina Niemetz	docs: Fix config to produce unique Sphinx section label...	blob \| commitdiff \| raw \| diff to current
2021-06-19	Aina Niemetz	docs: Remove 'View page source' link in right corner...	blob \| commitdiff \| raw \| diff to current
2021-06-04	Aina Niemetz	docs: Migrate datatypes theory reference. (#6662)	blob \| commitdiff \| raw \| diff to current
2021-05-26	Gereon Kremer	Add more examples to the documentation (#6569)	blob \| commitdiff \| raw \| diff to current
2021-05-21	Aina Niemetz	api docs: Update copyright. (#6596)	blob \| commitdiff \| raw \| diff to current
2021-05-19	Gereon Kremer	Generate command line options for sphinx docs (#6555)	blob \| commitdiff \| raw \| diff to current
2021-05-04	Gereon Kremer	Improve generation of python API documentation (#6482)	blob \| commitdiff \| raw \| diff to current
2021-04-27	Gereon Kremer	Initial setup for docs of python API (#6445)	blob \| commitdiff \| raw \| diff to current
2021-04-26	Gereon Kremer	Generate docs conf.py by cmake (#6441)	blob \| commitdiff \| raw \| diff to current

RSS Atom