saymrwulf/risc0-curve25519-dalek-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/risc0-curve25519-dalek-source.git synced 2026-09-04 20:03:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Patched source for Aeneas/Charon formal verification transpilation
2258 commits 1 branch 0 tags 5.1 MiB
Rust 99.6%
Shell 0.2%
HTML 0.2%
Find a file
pinkforest 7db9981a7f
Re-work CI around workspace 
Co-authored-by: Michael Rosenberg <michael@mrosenberg.pub>
2023-06-28 09:38:56 +00:00
.github/workflows Re-work CI around workspace 2023-06-28 09:38:56 +00:00
curve25519-dalek Re-organize Cargo manifests to workspace 2023-06-28 09:38:06 +00:00
curve25519-dalek-derive Clean up backend features and vendor curve25519_dalek_derive (#531) 2023-06-22 01:46:27 -04:00
docs/assets Move CI & assets into workspace 2023-06-28 08:59:51 +00:00
ed25519-dalek Re-organize Cargo manifests to workspace 2023-06-28 09:38:06 +00:00
x25519-dalek Re-organize Cargo manifests to workspace 2023-06-28 09:38:06 +00:00
.gitignore Move CI & assets into workspace 2023-06-28 08:59:51 +00:00
Cargo.toml Re-organize Cargo manifests to workspace 2023-06-28 09:38:06 +00:00
CONTRIBUTING.md Move CI & assets into workspace 2023-06-28 08:59:51 +00:00