diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-02-12 22:50:29 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2016-02-12 22:50:29 -0500 |
| commit | c85f7283994da084a837b88d612a6b937ff2fbd5 (patch) | |
| tree | b460eff65681e122fab15feabffa6fcd5e48606c /src/Spec/EdDSA.v | |
| parent | 06a7e0e095cba1b1e70691e6db0aab64040dac5b (diff) | |
| parent | 6c993ee91855ee8c19c292cd164ab24a7c1012f8 (diff) | |
Merge branch 'spec' of github.mit.edu:plv/fiat-crypto
Diffstat (limited to 'src/Spec/EdDSA.v')
0 files changed, 0 insertions, 0 deletions