runtimeverification / runtimeverification/stable-mir-json

Produce JSON schema for stable MIR JSON (from a corpus)

Open
#98 0 comments 0 reactions 1 assignee View on GitHub

@Stevengre is already working on this.

Since Sep 9, 2025.

  • #99 by @Stevengre — open
Dominant language
Rust
Stars
11
Forks
6
No merged PRs in 30d

Description

We need a JSON schema for Stable MIR JSON.
A possible way to start creating the schema would be to run all the test-ui tests and retain the output, then analyse the output JSON to create a first version of the schema.
This first version needs to then be double-checked against the Rust code that produces the data, and enhanced with comments and descriptions about what the fields mean.

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.