MappingBenchmark.sh
Regor0.2

Feb 13 2018

updating benchmarks for master
fe40acb75d90
·Christoph Schaefer on Feb 13 2018, 17:26.
cleaned up master a bit and created test scripts
7efac3b8c77f
·Christoph Schaefer on Feb 13 2018, 16:25.