-
Notifications
You must be signed in to change notification settings - Fork 93
List of Proof Repositories
Reto Kaiser edited this page Apr 30, 2020
·
56 revisions
To help people bootstrap and find other users reviewing crates, we collect links to Proof Repositories. Feel free to add yours.
Use cargo crev repo fetch url <url> subcommand to import.
-
https://github.com/dpc/crev-proofs# link -
https://github.com/oherrala/crev-proofs# link -
https://github.com/Canop/crev-proofs# link -
https://github.com/Mark-Simulacrum/crev-proofs# link -
https://github.com/kornelski/crev-proofs# link -
https://gitlab.com/KonradBorowski/crev-proofs# link -
https://github.com/BurntSushi/crev-proofs# link -
https://github.com/qnighy/crev-proofs# link -
https://github.com/programmerjake/crev-proofs# link -
https://github.com/kpcyrd/crev-proofs# link -
https://github.com/MaulingMonkey/crev-proofs# link -
https://gitlab.com/phgsng/crev-proofs# link -
https://github.com/vorner/crev-proofs# link -
https://github.com/zoechi/crev-proofs# link -
https://github.com/dbrgn/crev-proofs# link -
https://github.com/HeroicKatora/crev-proofs# link -
https://github.com/niklasf/crev-proofs# link -
https://github.com/LucianoBestia/crev-proofs# link -
https://github.com/jhpratt/crev-proofs# link -
https://github.com/roblabla/crev-proofs# link
Additionally, we now get a list of all people who forked the crev-proofs template on GitHub (and on GitLab).
In version 0.6 we've changed cryptographic primitives into more inter-operable ones. Unfortunately this means that old identities are now invalid. Use cargo crev import proof to mass-convert old reviews to new identity. Eg.
cd ~/.config/crev/proofs
read -sr CREV_PASSPHRASE && cat (find . -name '*.proof.crev' -type f) | cargo crev import proof
The following links will probably lead to reviews created by old-format IDs. Please move them above once they have been converted.
-
https://framagit.org/antoyo/crev-proofs# link -
https://github.com/hirschenberger/crev-proofs# link -
https://github.com/Detegr/crev-proofs# link -
https://github.com/repi/crev-proofs# link -
https://github.com/bjorn3/crev-proofs# link -
https://github.com/vi/crev-proofs# link -
https://github.com/mglax/crev-proofs# link -
https://github.com/sgeisler/crev-proofs# link -
https://github.com/otavio/crev-proofs# link