runtimeverification / runtimeverification/mir-semantics
Prepare AWS initial application
Open
@ACassimiro is already working on this.
Since Mar 21, 2025.
- Dominant language
- Python
- Stars
- 52
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
The following repo fork needs to be populated with information about kmir or koat and a handful of example proofs from stdlib.
https://github.com/runtimeverification/verify-rust-std/
To start with, a tool description here is required. Then a CI workflow to demo the tool needs to be set up.
Example of a workflow from a submission
https://github.com/model-checking/verify-rust-std/issues/213
For context:
https://model-checking.github.io/verify-rust-std/challenges.html
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.