Update README.md with proper link to FMCAD2018 branch

README.md

@@ -2,7 +2,7 @@
 
 ## FMCAD 2018
 
-The artifact and scripts used to run the evaluation for FMCAD 2018 can be found on the branch `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.
@@ -98,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