diff options
author | Jason Gross <jgross@mit.edu> | 2017-09-16 04:19:11 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-09-16 04:19:11 -0400 |
commit | bce09bed5ba274b50a517843ab042f7db79e7226 (patch) | |
tree | 711b48be43b2203b9a67aeda62cc45955bac1c9a /src/Spec/Ed25519.v | |
parent | 101b567a4f24b140a9939f9bbffc67b0ad5e1e1b (diff) |
Drop test target on travis
It gives "illegal instruction" on p256
Diffstat (limited to 'src/Spec/Ed25519.v')
0 files changed, 0 insertions, 0 deletions