diff --git a/README.md b/README.md index 7c042ef3fe9ce1287a80896438bf877ccff22435..91cc5c0f74e12955871adaca0dbe168209bd4dd7 100755 --- a/README.md +++ b/README.md @@ -1,6 +1,11 @@ # 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 @@ -93,4 +98,6 @@ In no particular order: Raphael Monat, Nikita Zyuzin, Heiko Becker Acknowledgements ---- We would like to thank Jacques-Henri Jourdan for the many insightful discussions -and technical help while working on the initial version of FloVer. \ No newline at end of file +and technical help while working on the initial version of FloVer. + +[1]: https://gitlab.mpi-sws.org/AVA/FloVer/tree/FMCAD2018 \ No newline at end of file