Andrea Gussoni f31f61cf3d SCRIPTS: Modified benchmark results store 8 years ago
..
Makefile 3e6e6ab7bd SCRIPTS: Modified benchmark retrieval and added Makefile 8 years ago
deploy.sh b901644fe6 SCRIPTS: Added script for the timing of the benchmarks 8 years ago
gnuplot.gnu 2e8d143233 SCRIPTS: Added first gnuplot script for plotting data 8 years ago
time-and-save.sh f31f61cf3d SCRIPTS: Modified benchmark results store 8 years ago