Commit 64d364ac authored by Heiko Becker's avatar Heiko Becker

Merge branch 'master' into affine_arithmetic

parents 67f55c96 c3036aae
# Project FloVer # Project FloVer
## First steps ## FMCAD 2018
The artifact and scripts used to run the evaluation for FMCAD 2018 can be found on the branch [FMCAD 2018][1].
The folder `artifacts` contains the results of the evaluation and `scripts` contains the scripts used to obtain the values.
`eval_interval.sh` runs the evaluation for floating-points on intervals, `eval_affine.sh` for floating-points and affine polynomials, and
`eval_fixed.sh` for 32bit word fixed-point numbers.
## Generating Error Bound Certificates ## Generating Error Bound Certificates
...@@ -93,4 +98,6 @@ In no particular order: Raphael Monat, Nikita Zyuzin, Heiko Becker ...@@ -93,4 +98,6 @@ In no particular order: Raphael Monat, Nikita Zyuzin, Heiko Becker
Acknowledgements Acknowledgements
---- ----
We would like to thank Jacques-Henri Jourdan for the many insightful discussions We would like to thank Jacques-Henri Jourdan for the many insightful discussions
and technical help while working on the initial version of FloVer. and technical help while working on the initial version of FloVer.
\ No newline at end of file
[1]: https://gitlab.mpi-sws.org/AVA/FloVer/tree/FMCAD2018
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment