Commit 2f9c1a1f authored by Heiko Becker's avatar Heiko Becker

Update README with pointer for FMCAD evaluation.

parent 040f86fa
# 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`.
The folder `artifacts` contains the results of the evaluation and `scripts` contains the scripts used to obtain the values.
`` runs the evaluation for floating-points on intervals, `` for floating-points and affine polynomials, and
`` for 32bit word fixed-point numbers.
## Generating Error Bound Certificates
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