Stream: wg-secure-code

Topic: projects


Shnatsel (Aug 29 2019 at 18:15, on Zulip):

I've accidentally committed directly instead of making a PR: https://github.com/rust-secure-code/projects/commit/f2fc1fb9a7ec66cec16f9a00b3e7fbf29a7f8ec5
Everyone OK with this?

Shnatsel (Aug 29 2019 at 18:17, on Zulip):

Maybe we should also split the list in "mature" and "experimental" or some such to accommodate stuff like https://github.com/viperproject/prusti-dev
I wish it more visibility, but it's not helpful to put stuff that works and stuff that almost definitely doesn't on the same list

Tony Arcieri (Aug 29 2019 at 20:13, on Zulip):

looks neat

jakubadamw (Aug 30 2019 at 15:40, on Zulip):

@Shnatsel, oh, thanks! :slight_smile:

Last update: Nov 11 2019 at 23:15UTC