projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9894b5f) | patch
Improve documentation for FP rounding mode, add bibliography (#6343)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 14 Apr 2021 21:52:06 +0000 (23:52 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Apr 2021 21:52:06 +0000 (21:52 +0000)
commit729b25ea1270344a2ad168f272fd68f53256b661
treeccb4e951fd68be9205479828def7b76fdd29bebftree
parent9894b5fca418879ec472e5efbb43be26995e4045commit | diff
Improve documentation for FP rounding mode, add bibliography (#6343)

Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
docs/conf.py diff | blob | history
docs/cpp/roundingmode.rst diff | blob | history
docs/index.rst diff | blob | history
docs/references.bib [new file with mode: 0644] blob
docs/references.rst [new file with mode: 0644] blob
src/api/cpp/cvc5.h diff | blob | history