Merge commit 'd029ddea8396d7a39910028dd5ae436a3bd3e9bb' as 'jubjub'

This commit is contained in:
Sean Bowe
2019-12-12 11:32:47 -07:00
34 changed files with 4035 additions and 0 deletions

View File

@@ -0,0 +1,4 @@
#!/bin/sh
sage verify.sage .
grep -Rn '.' verify-* |grep '^verify-.*:1:' |sed 's/:1:/ = /'