alpha
Login
Join now
gazagnaire.org
/
ocaml-exact
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Exact answers to check a floating-point computation against
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
ocaml-exact
/
lib
11 files
at
main
Thomas Gazagnaire
·
exact: bound a decimal's exact value before building it
·
2w ago
51a1deba
decimal.ml
exact: bound a decimal's exact value before building it
2w ago
decimal.mli
exact: bound a decimal's exact value before building it
2w ago
discrete.ml
exact: a binomial tail costs one step per term, not one per trial squared
3w ago
discrete.mli
exact: improve docs
2w ago
dune
exact: add rational numerical test oracles
2mo ago
ieee.ml
exact: add rational numerical test oracles
2mo ago
ieee.mli
exact: improve docs
2w ago
interval.ml
exact: add rational numerical test oracles
2mo ago
interval.mli
ocaml-exact: improve doc strings
3w ago
witness.ml
exact: add decimal reading and its adversarial witness corpus
2mo ago
witness.mli
ocaml-exact: improve doc strings
3w ago
