Skip to content

Pull requests: runtimeverification/k

New pull request New
Clear current search query, filters, and sorts
9 Open 3,554 Closed
9 Open 3,554 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update dependency: deps/llvm-backend_release automerge
#4871 by rv-jenkins was merged Oct 16, 2025 Loading…
@gtrepta
1
Update dependency: deps/uv2nix automerge
#4870 by rv-jenkins was merged Oct 14, 2025 Loading…
@tothtamas28 @juliankuners
Resolve Spotless + Java 17
#4869 by F-WRunTime was merged Oct 8, 2025 Loading…
@F-WRunTime
1
[DO NOT MERGE] Testing PR workflow
#4868 by Robertorosmaninho was closed Oct 8, 2025 • Draft
1
Add Python 3.14 to pyk code quality CI job automerge
#4867 by tothtamas28 was merged Oct 9, 2025 Loading…
@tothtamas28
Update dependency: deps/pyproject-build-systems automerge
#4866 by rv-jenkins was merged Oct 3, 2025 Loading…
@tothtamas28 @juliankuners
Update dependency: deps/uv2nix automerge
#4865 by rv-jenkins was merged Oct 3, 2025 Loading…
@tothtamas28 @juliankuners
Update LLVM version from 15/16 to 17 across K Framework
#4864 by F-WRunTime was closed Oct 2, 2025 Loading…
9 of 12 tasks
Moving builds up in MacOS Versions to Latest automerge
#4863 by F-WRunTime was merged Oct 7, 2025 Loading…
@F-WRunTime
Introduce pyproject-nix overlay in nix flake automerge
#4862 by juliankuners was merged Oct 2, 2025 Loading…
Remove iohk hydra cache automerge
#4861 by ehildenb was merged Oct 1, 2025 Loading…
@ehildenb
Skip loading circularity module for non-circularity proofs automerge
#4860 by ehildenb was merged Oct 1, 2025 Loading…
@ehildenb
1
Update LLVM version from 15/16 to 17 across K Framework
#4859 by F-WRunTime was closed Sep 18, 2025 Loading…
9 of 12 tasks
Update dependency: deps/llvm-backend_release automerge
#4858 by rv-jenkins was merged Sep 17, 2025 Loading…
@gtrepta
Add comprehensive macOS testing to PR workflow
#4857 by F-WRunTime was merged Oct 7, 2025 Loading…
1 of 9 tasks
@F-WRunTime
1
Skip macOS testing in release: Make macOS testing non-blocking automerge
#4856 by F-WRunTime was merged Sep 13, 2025 Loading…
1 task done
Do not require MacOS Test / Deploy Success
#4855 by F-WRunTime was closed Sep 11, 2025 Loading…
Update LLVM version from 15/16 to 17 across K Framework automerge
#4854 by F-WRunTime was merged Sep 18, 2025 Loading…
9 of 12 tasks
@F-WRunTime
1
Allow publishing releases without macos-tests automerge
#4853 by RaoulSchaffranek was merged Sep 11, 2025 Loading…
Fix macos release followup
#4852 by juliankuners was closed Sep 11, 2025 • Draft
2
Uninstall pre-installed cmake prior to building with brew in CI automerge
#4851 by juliankuners was merged Sep 2, 2025 Loading…
3
Update dependency: deps/llvm-backend_release automerge
#4850 by rv-jenkins was merged Aug 29, 2025 Loading…
@gtrepta
1
Fix Noble Dockerfile, Nix release errors automerge
#4848 by palinatolmach was merged Aug 26, 2025 Loading…
@palinatolmach
2
Disable markup parsing in TUI automerge
#4845 by palinatolmach was merged Aug 12, 2025 Loading…
1
1
Adjust K nix caching automerge
#4844 by juliankuners was merged Jul 17, 2025 Loading…
ProTip! Follow long discussions with comments:>50.