Historique des commits

Auteur SHA1 Message Date
  parazyd 3f5148e149 zkrunner: Remove unused proofs and use symlink for opcodes proof. il y a 3 ans
  parazyd 99f68db953 zkas: Enforce k declaration on top of the source file. il y a 3 ans
  freerangedev ccff4b250f zkrunner: Add previous work il y a 3 ans