I've accidentally committed directly instead of making a PR: https://github.com/rust-secure-code/projects/commit/f2fc1fb9a7ec66cec16f9a00b3e7fbf29a7f8ec5
Everyone OK with this?
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
@Shnatsel, oh, thanks! :slight_smile: