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

2022-03-21	Gereon Kremer	Refactor documentation (#8288)	blob \| commitdiff \| raw
2022-03-11	Gereon Kremer	Add first step for proofs documentation (#8193)	blob \| commitdiff \| raw \| diff to current
2022-01-07	Gereon Kremer	Some minor improvements to the theory references (...	blob \| commitdiff \| raw \| diff to current
2021-11-12	Gereon Kremer	Various minor docs improvements (#7626)	blob \| commitdiff \| raw \| diff to current
2021-06-04	Aina Niemetz	docs: Migrate datatypes theory reference. (#6662)	blob \| commitdiff \| raw \| diff to current
2021-06-02	Aina Niemetz	docs: Migrate input languages page. (#6659)	blob \| commitdiff \| raw \| diff to current
2021-06-02	Aina Niemetz	docs: Restructure index page, fix style issue. (#6657)	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-19	Gereon Kremer	Generate command line options for sphinx docs (#6555)	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-20	Gereon Kremer	Split C++ API docs from general docs (#6365)	blob \| commitdiff \| raw \| diff to current
2021-04-20	Gereon Kremer	Basic setup for examples in documentation (#6383)	blob \| commitdiff \| raw \| diff to current
2021-04-14	Gereon Kremer	Improve documentation for FP rounding mode, add bibliog...	blob \| commitdiff \| raw \| diff to current
2021-04-09	Aina Niemetz	New C++ Api: Initial layout of Api documentation. ...	blob \| commitdiff \| raw \| diff to current
2021-04-07	Aina Niemetz	New C++ Api: Initial setup of Api documentation. (...	blob \| commitdiff \| raw \| diff to current

RSS Atom