diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-02-15 15:21:29 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-02-15 15:21:49 -0500 |
| commit | c711c52d057024c4b40a86f6f77f2e96ae2208ef (patch) | |
| tree | e032092b0313157fe0d3848370616855c30bd845 /src/Spec | |
| parent | 0b5115da9d2b1d9a32bdb11eb9f81ceec9999c1d (diff) | |
Finish seperating our specs: remove old non-specified code
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 c4547860a..c4547860a 100644 --- a/src/Spec/EdDSA25519.v +++ b/src/Spec/Ed25519.v |