Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
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
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
runtimeverification
/
kompass
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
16
Code
Issues
1
Pull requests
1
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Projects
Security and quality
Insights
Update dependency: deps/kmir_release
- #27
#27
Merged
automergerpr-permission-manager[bot]
merged 42 commits into
master
runtimeverification/kompass:master
from
_update-deps/runtimeverification/mir-semantics
runtimeverification/kompass:_update-deps/runtimeverification/mir-semantics
Copy head branch name to clipboard
Apr 24, 2026
Conversation
Commits
42
(42)
Checks
Files changed
Merged
Update dependency: deps/kmir_release
#27
automergerpr-permission-manager[bot]
merged 42 commits into
master
runtimeverification/kompass:master
from
_update-deps/runtimeverification/mir-semantics
runtimeverification/kompass:_update-deps/runtimeverification/mir-semantics
Copy head branch name to clipboard
Commits
Commits on Mar 15, 2026
deps/kmir_release: Set Version 0.4.187
rv-auditor
committed
a298f42
View commit details
Copy full SHA for a298f42
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.187
github-actions[bot]
committed
0bf991d
View commit details
Copy full SHA for 0bf991d
Browse repository at this point
Set Version: 0.1.17
rv-auditor
committed
b1dade4
View commit details
Copy full SHA for b1dade4
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.187
rv-auditor
committed
19a9495
View commit details
Copy full SHA for 19a9495
Browse repository at this point
Commits on Mar 16, 2026
Merge branch 'master' into _update-deps/runtimeverification/mir-semantics
dkcumming
authored
a08114c
View commit details
Copy full SHA for a08114c
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.187
rv-auditor
committed
811dbe7
View commit details
Copy full SHA for 811dbe7
Browse repository at this point
Set Version: 0.1.18
rv-auditor
committed
9a2866c
View commit details
Copy full SHA for 9a2866c
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.187
github-actions[bot]
committed
e75ecb1
View commit details
Copy full SHA for e75ecb1
Browse repository at this point
Commits on Mar 17, 2026
deps/kmir_release: Set Version 0.4.188
rv-auditor
committed
aaaa509
View commit details
Copy full SHA for aaaa509
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.188
github-actions[bot]
committed
50c5cdc
View commit details
Copy full SHA for 50c5cdc
Browse repository at this point
Commits on Mar 20, 2026
deps/kmir_release: Set Version 0.4.191
rv-auditor
committed
2493e3f
View commit details
Copy full SHA for 2493e3f
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.191
github-actions[bot]
committed
ccf7c68
View commit details
Copy full SHA for ccf7c68
Browse repository at this point
Commits on Mar 24, 2026
deps/kmir_release: Set Version 0.4.192
rv-auditor
committed
cb8d3ed
View commit details
Copy full SHA for cb8d3ed
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.192
github-actions[bot]
committed
de5a720
View commit details
Copy full SHA for de5a720
Browse repository at this point
Commits on Mar 27, 2026
deps/kmir_release: Set Version 0.4.193
rv-auditor
committed
e67bf8b
View commit details
Copy full SHA for e67bf8b
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.193
github-actions[bot]
committed
ccbde84
View commit details
Copy full SHA for ccbde84
Browse repository at this point
Commits on Mar 28, 2026
deps/kmir_release: Set Version 0.4.194
rv-auditor
committed
1cfb7e5
View commit details
Copy full SHA for 1cfb7e5
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.194
github-actions[bot]
committed
2af6815
View commit details
Copy full SHA for 2af6815
Browse repository at this point
Commits on Mar 31, 2026
deps/kmir_release: Set Version 0.4.195
rv-auditor
committed
7a8b776
View commit details
Copy full SHA for 7a8b776
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.195
github-actions[bot]
committed
dfdb04d
View commit details
Copy full SHA for dfdb04d
Browse repository at this point
Commits on Apr 2, 2026
deps/kmir_release: Set Version 0.4.197
rv-auditor
committed
6bc9de9
View commit details
Copy full SHA for 6bc9de9
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.197
github-actions[bot]
committed
a454b49
View commit details
Copy full SHA for a454b49
Browse repository at this point
Commits on Apr 7, 2026
deps/kmir_release: Set Version 0.4.200
rv-auditor
committed
b29261b
View commit details
Copy full SHA for b29261b
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.200
github-actions[bot]
committed
2850c09
View commit details
Copy full SHA for 2850c09
Browse repository at this point
deps/kmir_release: Set Version 0.4.202
rv-auditor
committed
99b5d55
View commit details
Copy full SHA for 99b5d55
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.202
rv-auditor
committed
0cd17a3
View commit details
Copy full SHA for 0cd17a3
Browse repository at this point
Commits on Apr 8, 2026
deps/kmir_release: Set Version 0.4.203
rv-auditor
committed
e65e097
View commit details
Copy full SHA for e65e097
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.203
rv-auditor
committed
d9499e2
View commit details
Copy full SHA for d9499e2
Browse repository at this point
Commits on Apr 10, 2026
deps/kmir_release: Set Version 0.4.204
rv-auditor
committed
1b57152
View commit details
Copy full SHA for 1b57152
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.204
rv-auditor
committed
a83d5a7
View commit details
Copy full SHA for a83d5a7
Browse repository at this point
Commits on Apr 11, 2026
deps/kmir_release: Set Version 0.4.205
rv-auditor
committed
b67af50
View commit details
Copy full SHA for b67af50
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.205
rv-auditor
committed
69049fd
View commit details
Copy full SHA for 69049fd
Browse repository at this point
Commits on Apr 15, 2026
deps/kmir_release: Set Version 0.4.206
rv-auditor
committed
644d051
View commit details
Copy full SHA for 644d051
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.206
rv-auditor
committed
c0e0d52
View commit details
Copy full SHA for c0e0d52
Browse repository at this point
Commits on Apr 22, 2026
deps/kmir_release: Set Version 0.4.212
rv-auditor
committed
0fa06c2
View commit details
Copy full SHA for 0fa06c2
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.212
github-actions[bot]
committed
810d547
View commit details
Copy full SHA for 810d547
Browse repository at this point
deps/kmir_release: Set Version 0.4.213
rv-auditor
committed
717a463
View commit details
Copy full SHA for 717a463
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.213
rv-auditor
committed
f44cc45
View commit details
Copy full SHA for f44cc45
Browse repository at this point
Commits on Apr 23, 2026
Update p-token.md and spl-token.md
mariaKt
committed
96ab030
View commit details
Copy full SHA for 96ab030
Browse repository at this point
Compatibility with multiple start symbols (not porting functionality)
mariaKt
committed
81044fc
View commit details
Copy full SHA for 81044fc
Browse repository at this point
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.213
github-actions[bot]
committed
d793933
View commit details
Copy full SHA for d793933
Browse repository at this point
Update step count due to semantics change
mariaKt
committed
43eaed3
View commit details
Copy full SHA for 43eaed3
Browse repository at this point
You can’t perform that action at this time.