Skip to content

Navigation Menu

Appearance settings

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

runtimeverification / mir-semantics Public

Notifications You must be signed in to change notification settings
Fork 3
Star 24

Code
Issues 26
Pull requests 4
Actions
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Security
Insights

Milestones
Milestone 3 - KMIR Semantics

Milestone 3 - KMIR Semantics

Closed

Overdue by 1 year(s)

•

Due by July 22, 2023

Closed Jul 9, 2024

100% complete

Requirements:

Define the semantics of MIR. Given the timeframe, it is unlikely to cover the complete MIR semantics, but we aim for a core subset;
Pass related conformance testing (related we mean MIR test cases whose semantics is supported in item 1 above);
Implement kmir run to execute MIR programs;
Extend CI/CLI and README to include kmir run functionality;
Pack up and submit to grant repo: https://github.com/w3f/Grant-Milestone-Delivery#process

List view

Select all issues: List view

0 issues of 21 selected

Open
(0)
Closed
(21)

Revamp installation and testing instructions

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Merged (completed).

runtimeverification/mir-semanticsnumber 124

#124 In runtimeverification/mir-semantics;

· by geo2a was closed

on Apr 3, 2023

Minimal semantics to support execution of handwritten Mir

kmir-testsAdding/updating tests in KMIRAdding/updating tests in KMIR

mir-semanticsMIR semantics in KMIR semantics in K

Status: Merged (completed).

runtimeverification/mir-semanticsnumber 117

#117 In runtimeverification/mir-semantics;

· by geo2a was closed

on Apr 27, 2023

Semantics: initialization

mir-semanticsMIR semantics in KMIR semantics in K

Status: Merged (completed).

runtimeverification/mir-semanticsnumber 115

#115 In runtimeverification/mir-semantics;

· by geo2a was closed

on Mar 28, 2023

Refactor test data in preparation for implementing semantics

Status: Merged (completed).

runtimeverification/mir-semanticsnumber 106

#106 In runtimeverification/mir-semantics;

· by geo2a was closed

on Mar 20, 2023

Make sure kbuild is installed before kompiling K targets

bugSomething isn't workingSomething isn't working

k-toolingintegration with K toolsintegration with K tools

Status: Merged (completed).

runtimeverification/mir-semanticsnumber 151

#151 In runtimeverification/mir-semantics;

· by geo2a was closed

on Jun 15, 2023

Feature/basic operations

mir-parserMIR syntax in KMIR syntax in K

Status: Merged (completed).

runtimeverification/mir-semanticsnumber 160

#160 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jun 24, 2023

Refactor/syntax update

Status: Merged (completed).

runtimeverification/mir-semanticsnumber 213

#213 In runtimeverification/mir-semantics;

· by dkcumming was closed

on Sep 27, 2023

Defining operational semantics for the basic subset of MIR syntax

Status: Closed (completed).

#76 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jul 9, 2024

Make sure that all tokens in the semantics are whitelisted as identifiers

mir-parserMIR syntax in KMIR syntax in K

Status: Closed (completed).

#90 In runtimeverification/mir-semantics;

· by virgil-serbanuta was closed

on Jul 9, 2024

Move sorts to the "stable" section

mir-parserMIR syntax in KMIR syntax in K

Status: Closed (completed).

#93 In runtimeverification/mir-semantics;

· by virgil-serbanuta was closed

on Jul 9, 2024

Figure out a better way to parse identifiers.

mir-parserMIR syntax in KMIR syntax in K

Status: Closed (completed).

#91 In runtimeverification/mir-semantics;

· by virgil-serbanuta was closed

on Jul 9, 2024

Understand and rename MIR-only cast annotations

mir-parserMIR syntax in KMIR syntax in K

Status: Closed (completed).

#92 In runtimeverification/mir-semantics;

· by virgil-serbanuta was closed

on Jul 9, 2024

Write tests for <code>kmir run</code> with basic computations and control flow

kmir-testsAdding/updating tests in KMIRAdding/updating tests in KMIR

mir-semanticsMIR semantics in KMIR semantics in K

Status: Closed (completed).

#166 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Nov 28, 2023

Regenerate MIR outputs of <code>compiletest-rs/ui</code> to obtain simpler and cleaner MIR file

kmir-testsAdding/updating tests in KMIRAdding/updating tests in KMIR

Status: Closed (completed).

#168 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jul 12, 2023

krun throw an error instance of <code>std::out_of_range</code>

bugSomething isn't workingSomething isn't working

k-toolingintegration with K toolsintegration with K tools

Status: Closed (completed).

#167 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jul 16, 2023

CI failed due to the compiletest was not updated

bugSomething isn't workingSomething isn't working

Status: Closed (completed).

#177 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jul 14, 2023

Need timeout to <code>make compiletest-run-fail</code> stuck on some test cases

kmir-testsAdding/updating tests in KMIRAdding/updating tests in KMIR

Status: Closed (completed).

#180 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jul 16, 2023

<code>kmir parse</code> fail in Docker container.

bugSomething isn't workingSomething isn't working

k-toolingintegration with K toolsintegration with K tools

Status: Closed (completed).

#150 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jun 15, 2023

kmir parse reaches ambiguity on <code>CheckedAdd()</code>

mir-parserMIR syntax in KMIR syntax in K

Status: Closed (completed).

#158 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jul 16, 2023

RValue as <code>const Eq</code> parsing failure: <code>unexpected Eq</code>

bugSomething isn't workingSomething isn't working

mir-parserMIR syntax in KMIR syntax in K

Status: Closed (completed).

#171 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jul 9, 2024

Parsing ambiguity remains unsolved

bugSomething isn't workingSomething isn't working

mir-parserMIR syntax in KMIR syntax in K

mir-semanticsMIR semantics in KMIR semantics in K

Status: Closed (completed).

#172 In runtimeverification/mir-semantics;

· by yanliu18 was closed

on Jul 4, 2023

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.