carlosorochi/awlsim

geforked van mbuesch/awlsim

Auteur	SHA1 Bericht	Datum
Michael Buesch	96c84d5625 Move benchmark script	6 jaren geleden
Michael Buesch	d24fb83daa run-random: Use parent interpreter	6 jaren geleden
Michael Buesch	62f55df7f7 run-random: Always terminate processes	6 jaren geleden
Michael Buesch	d239ed97d0 run-random: Properly construct paths	6 jaren geleden
Michael Buesch	5d58e77cad Rewrite run-random script in Python	6 jaren geleden