diff options
author | Jason Gross <jgross@mit.edu> | 2016-11-05 23:49:55 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-11-05 23:49:55 -0400 |
commit | e0e24406acc52e59877eb51b21e76702298e0cf3 (patch) | |
tree | c7cd62b9775ec65a02c15588e867f9e2492025a9 /src/Spec/EdDSA.v | |
parent | a002e5043eed1dcf4203386262f69d03334e80e6 (diff) |
Plug in boundedness proofs
We no longer admit the boundedness proofs (other than freeze); a
significant chunk of the boundedness proofs now line up nicely.
Diffstat (limited to 'src/Spec/EdDSA.v')
0 files changed, 0 insertions, 0 deletions