Skip to content

import benchmarks from the original gigasom.benchmarks repo

Also:

  • oliver's scripts reworked to general workflow advice
  • IMPC script imported too

Merge request reports