Skip to content

Pull requests: runtimeverification/k

New pull requestNew
16 Open 3,595 Closed
16 Open 3,595 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 reviewsReview requiredApproved reviewChanges requested
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort
Sort by
NewestOldestMost commentedLeast commentedRecently updatedLeast recently updatedBest match
Most reactions
👍👎😄🎉😕❤️🚀👀

Pull requests list

Update dependency: deps/llvm-backend_release automerge
#4938 opened Jun 23, 2026 by rv-jenkinsContributorLoading…
@gtrepta
1
pyk: booster-only recover mode for the APR prover, isolating and recording Kore handoffs
#4931 opened Jun 10, 2026 by ehildenbMember • Draft
pyk: context-aware sort-parameter inference in add_sort_params (port of Java AddSortInjections)
#4915 opened Apr 27, 2026 by ehildenbMember • Draft
3
Improvements to show, and new show from disc
#4911 opened Apr 20, 2026 by mariaKtCollaborator • Draft
17
Fixing some typos in domains.md automerge
#4905 opened Mar 20, 2026 by dkcummingContributorLoading…
12
Hotfix pyk equation rendering
#4882 opened Nov 17, 2025 by jbertholdCollaborator • Draft
Empty PR
#4878 opened Nov 5, 2025 by RaoulSchaffranekMemberLoading…
Update dependency: web/k-web-theme automerge
#4876 opened Oct 31, 2025 by rv-jenkinsContributorLoading…
@yiyi-wang-rv
Update Lesson 1.7 tutorial
#4828 opened Jun 2, 2025 by ibastysContributorLoading…
Update Lesson 1.6 README
#4826 opened May 29, 2025 by ibastysContributorLoading…
Update Lesson 1.5 README.
#4816 opened May 14, 2025 by ibastysContributorLoading…
6
Add explicit symbol name for isKResult function on Readme
#4807 opened May 5, 2025 by 0xkoheLoading…
2
Avoid clashes of generated declarations and Lean 4 lean4-backend
#4742 opened Jan 21, 2025 by JuanCoRoMemberLoading…
@JuanCoRo
6
Adding preserves-definedness attributes to domains.md enhancement
#4680 opened Nov 2, 2024 by PetarMaxContributor • Draft
fix wrong type annotations for KCFG.NDBranch
#4661 opened Oct 13, 2024 by pxhdevLoading…
1
Remove Subst.pred functionality
#4626 opened Sep 5, 2024 by ehildenbMember • Draft
@ehildenb
ProTip! Adding no:label will show everything without a label.