chiark / gitweb /
machinery for checking that our OUTER parallel iteration works - before we delete it