Commit 0a61d6ec authored by Heiko Becker's avatar Heiko Becker

Restate comment

parent f9f05d48
#!/bin/bash #!/bin/bash
########################################################################## ###############################################################################
# # # #
# Affine Arithmetic Experiments for FMCAD 2018 paper # # Affine Arithmetic Experiments for FMCAD 2018 paper #
# First run Daisy on all files found in the folder fmcad2018 to generate # # First run Daisy on all files found in the folder given as third argument #
# certificates and log roundoff errors in a csv file. # # certificates and log roundoff errors in a csv file. #
# Then benchmark each of the FloVer implementations by measuring runtime # # Then benchmark each of the FloVer implementations by measuring runtime #
# when checking the generated certificate. # # when checking the generated certificate. #
# # # #
########################################################################## ###############################################################################
arr=() arr=()
while IFS= read -r -d $'\0'; do while IFS= read -r -d $'\0'; do
......
#!/bin/bash #!/bin/bash
##########################################################################
# # ##############################################################################
# Interval Arithmetic Experiments for FMCAD 2018 paper # # #
# First run Daisy on all files found in the folder fmcad2018 to generate # # Interval Arithmetic Experiments for FMCAD 2018 paper #
# certificates and log roundoff errors in a csv file. # # First run Daisy on all files found in the folder given as third argument #
# Then benchmark each of the FloVer implementations by measuring runtime # # certificates and log roundoff errors in a csv file. #
# when checking the generated certificate. # # Then benchmark each of the FloVer implementations by measuring runtime #
# # # when checking the generated certificate. #
########################################################################## # #
##############################################################################
PROVERS=(coq hol4 binary) PROVERS=(coq hol4 binary)
......
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