2017-11-01 23:03:23 -07:00
|
|
|
#!/bin/sh
|
2019-09-08 08:23:19 -07:00
|
|
|
sage verify.sage Ep
|
|
|
|
|
sage verify.sage Eq
|
|
|
|
|
|
|
|
|
|
echo ""
|
2020-11-19 13:54:44 -08:00
|
|
|
echo "Ep (Pallas)"
|
|
|
|
|
echo "-----------"
|
2019-09-08 08:23:19 -07:00
|
|
|
grep -Rn '.' Ep/verify-* |grep '^Ep/verify-.*:1:' |sed 's/:1:/ = /'
|
|
|
|
|
echo ""
|
2020-11-19 13:54:44 -08:00
|
|
|
echo "Eq (Vesta)"
|
|
|
|
|
echo "----------"
|
2019-09-08 08:23:19 -07:00
|
|
|
grep -Rn '.' Eq/verify-* |grep '^Eq/verify-.*:1:' |sed 's/:1:/ = /'
|
2017-11-01 23:03:23 -07:00
|
|
|
|
