Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github
Merge branch 'master' into ssprove-ci_ssprove
Nov 23, 2022
coq
Add generated files (#355)
Jan 26, 2023
coq_ssprove
Update based on feedback
Dec 6, 2022
easycrypt
Fixed proofs
Nov 2, 2020
examples-unsafe
Update criterion requirement from 0.3 to 0.4
Sep 16, 2022
examples
Added edwards25519-ecvrf (#354)
Jan 26, 2023
formalization
formalization pdf
Sep 20, 2020
fstar
F* equivalence proofs (Chacha20, Poly1305) (#339)
Dec 22, 2022
img
Add mascot
Feb 2, 2021
language
F*: Insert pub_u8 and pub_i8 in from of u8/i8 literals (#340)
Dec 22, 2022
lib
Coverage test and example gen both working, VC fix
Nov 8, 2022
no_std
Update no_std/.cargo/config.toml
Sep 5, 2022
provider
cryptolib for tls
Sep 1, 2021
utils
qual -> equal
Oct 27, 2022
.gitignore
started improving provider; added tests
Dec 3, 2020
Arithmetic.md
qual -> equal
Oct 27, 2022
CODE_OF_CONDUCT.md
Create CODE_OF_CONDUCT.md
Oct 12, 2022
CONTRIBUTING.md
Update CONTRIBUTING.md
Oct 12, 2022
Cargo.toml
HacspecDefault derive for enums
Sep 20, 2022
LICENSE
Create LICENSE
Jan 27, 2021
Language.md
preparing first release of artifacts (#59)
Jan 10, 2021
Readme.md
Added edwards25519-ecvrf (#354)
Jan 26, 2023
allowed_item_list.json
Removed problematic allowlist (for now)
Aug 17, 2020
presentation_slides.pdf
Link slides and technical report
Apr 19, 2021
rust-toolchain
Working on version bump
Sep 1, 2022