diff options
author | Jade Philipoom <jadep@mit.edu> | 2016-02-15 18:55:52 -0500 |
---|---|---|
committer | Jade Philipoom <jadep@mit.edu> | 2016-02-15 18:55:52 -0500 |
commit | 94ffdeea380dd1265a832e1744228325ce0517db (patch) | |
tree | 65f7a05e3be61faa42ae279d2e96e8bd858333ac /src/Spec | |
parent | ce4dba4f81fdeb1c1220b8dabf9d8acb00fce901 (diff) | |
parent | c711c52d057024c4b40a86f6f77f2e96ae2208ef (diff) |
merge
Diffstat (limited to 'src/Spec')
-rw-r--r-- | src/Spec/Ed25519.v (renamed from src/Spec/EdDSA25519.v) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/Spec/EdDSA25519.v b/src/Spec/Ed25519.v index e5796b8f2..e5796b8f2 100644 --- a/src/Spec/EdDSA25519.v +++ b/src/Spec/Ed25519.v |