Stream: wg-secure-code

Topic: secure-code cargo-crev proofs repository


Nick12 (Aug 23 2019 at 19:33, on Zulip):

Would it make sense to have a repo with cargo-crev proofs done by trusted people? I'm not 100% sure on how cargo-crev works, maybe just an entity/user is enough.

Shnatsel (Aug 27 2019 at 19:07, on Zulip):

I'd rather have individuals review code and provide proofs on their own than use the WG for that. The WG membership is essentially open, so I don't think a WG repo for proofs would make sense.

Last update: Nov 11 2019 at 23:15UTC