-
Notifications
You must be signed in to change notification settings - Fork 159
Insights: runtimeverification/k
Overview
-
0 Active issues
-
- 5 Merged pull requests
- 3 Open pull requests
- 0 Closed issues
- 0 New issues
Could not load contribution data
Please try again later
4 Releases published by 1 person
-
v7.1.261 K Framework Release v7.1.261
published
May 26, 2025 -
v7.1.262 K Framework Release v7.1.262
published
May 27, 2025 -
v7.1.263 K Framework Release v7.1.263
published
May 28, 2025 -
v7.1.264 K Framework Release v7.1.264
published
May 29, 2025
5 Pull requests merged by 3 people
-
Lean 4 backend: further function implementation (2)
#4827 merged
May 29, 2025 -
Update Lesson 1.4 README.
#4818 merged
May 28, 2025 -
Update dependency: deps/haskell-backend_release
#4815 merged
May 27, 2025 -
Prelude.lean: fix error on the length ofArray.?pad#4823 merged
May 26, 2025 -
Update README in Lesson 1.3
#4805 merged
May 26, 2025
3 Pull requests opened by 3 people
-
Update nix flake inputs structure and add `rv-nix-tools` to dependency update workflow
#4824 opened
May 26, 2025 -
Update dependency: deps/haskell-backend_release
#4825 opened
May 28, 2025 -
Update Lesson 1.6 README
#4826 opened
May 29, 2025
2 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Update Lesson 1.5 README.
#4816 commented on
May 26, 2025 • 2 new comments -
Migrate to modern Python Logger API
#4813 commented on
May 26, 2025 • 0 new comments