runtimeverification / runtimeverification/mir-semantics
Set up (file for) a lemma library for mir-semantics
Open
@jberthold is already working on this.
Since Mar 20, 2025.
- Dominant language
- Python
- Stars
- 52
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Once we have more proof-related work with mir-semantics, we will need some standard lemmas. The library file should be set up now with some initial lemmas (maybe simple invariants about values and list-related lemmas like list-size estimates for partially-symbolic lists).
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.