Compare Rust verification tools

[clementblaudeau]

There are many rust verification tools being developed, with different use-cases and features. It would be very useful to do the zoology of rust tools, i.e. to understand their defining characteristics. The list of tools should include, at least:

• [ ] hax
• [ ] Creusot
• [ ] Aeneas
• [ ] Kani
• [ ] Verus
• [ ] Flux
• [ ] RefinedRust
• [ ] Gillian-Rust

[giltho]

Gillian-Rust author here, happy to have a quick call to clarify what our prototype can do :)

[github-actions[bot]]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[clementblaudeau]

Still very much relevant