Breinich/BenchmarkingPortal

This is a web portal for the ftsrg research group, that is capable for benchmarking various tools with the benchexec tool on virtual machines in the cloud in a distributed way.

C#MIT