runtimeverification / runtimeverification/mir-semantics
[REFACTOR] Do we need a `Program` class?
Open
@Stevengre is already working on this.
Since Aug 21, 2025.
- Dominant language
- Python
- Stars
- 52
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
The KMIR is a class to manage all the tools, but there is a class to represent the program itself. If we want to deliver static info from out side of the term, we should manage them.
However, it might not be efficient as the llvm backend. We may need to manage these static info in language like Rust.
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.