-
Notifications
You must be signed in to change notification settings - Fork 153
Insights: runtimeverification/evm-semantics
Overview
-
0 Active issues
-
- 3 Merged pull requests
- 1 Open pull request
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
3 Releases published by 1 person
3 Pull requests merged by 2 people
-
Update K version in
uv.lock#2795 merged
Aug 29, 2025 -
Fix K version fetching in
update-version#2794 merged
Aug 29, 2025 -
Update dependency: deps/k_release
#2792 merged
Aug 27, 2025
1 Pull request opened by 1 person
-
Update K
#2796 opened
Sep 1, 2025