Historie revizí

Autor SHA1 Zpráva Datum
  Michael Buesch 96c84d5625 Move benchmark script před 6 roky
  Michael Buesch d24fb83daa run-random: Use parent interpreter před 6 roky
  Michael Buesch 62f55df7f7 run-random: Always terminate processes před 6 roky
  Michael Buesch d239ed97d0 run-random: Properly construct paths před 6 roky
  Michael Buesch 5d58e77cad Rewrite run-random script in Python před 6 roky