runtimeverification / runtimeverification/mir-semantics

Simplify sorts and review parsing in KMIR-AST

Open
#449 1 comment 0 reactions 1 assignee View on GitHub

@jberthold is already working on this.

Since Feb 10, 2025.

Dominant language
Python
Stars
52
Forks
5
No merged PRs in 30d

Description

A few improvements to make working with the KMIR-AST::Pgm easier.

  • The AllocBytes sort in body.md contains a sequence of optional byte values. This seems to be an unnecessary complication.
  • The ProvenanceMap is currently parsed as a simple Int list but could be more structured.
  • A few other FIXME notes from prior work on the python parser can be removed now

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.