História revízii

Autor SHA1 Správa Dátum
  parazyd 3f5148e149 zkrunner: Remove unused proofs and use symlink for opcodes proof. 3 rokov pred
  parazyd 99f68db953 zkas: Enforce k declaration on top of the source file. 3 rokov pred
  freerangedev ccff4b250f zkrunner: Add previous work 3 rokov pred