Thomas Röhl f4f081e596 Gnuplot plotting script

2019-08-21 16:03:51 +02:00

..

src

Small fixes.

2019-07-01 09:59:10 +02:00

bench.pl

Add header line to output for later use in bench.plot

2019-08-21 16:03:23 +02:00

bench.plot

Gnuplot plotting script

2019-08-21 16:03:51 +02:00

bench.py

Add header line to output for later use in bench.plot

2019-08-21 16:03:23 +02:00

Makefile

Small fixes.

2019-07-01 09:59:10 +02:00