saymrwulf/curve25519-dalek-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/curve25519-dalek-source.git synced 2026-09-04 20:24:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Patched source for Aeneas/Charon formal verification transpilation
9 commits 1 branch 0 tags 5.7 MiB
Rust 99.6%
Shell 0.2%
HTML 0.2%
Find a file
Isis Lovecruft 0282179c8a
Use 'license' directive rather than 'license-file'. 
When using the 'licence-file' directive, crates.io states that the license is
"non-standard", when really it should say that the code is CC0 (public
domain).
2016-12-08 21:40:01 +00:00
src Remove an unused import. 2016-12-08 10:20:52 +00:00
.gitignore Initial commit 2016-12-01 22:03:46 +00:00
Cargo.toml Use 'license' directive rather than 'license-file'. 2016-12-08 21:40:01 +00:00
REAME.md Add benchmarks to the README. 2016-12-08 21:39:41 +00:00