Skip to content

Pull requests: runtimeverification/k

New pull request New
17 Open 3,453 Closed
17 Open 3,453 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Use bottom_up in fuzzer template substitution
#4769 opened Mar 13, 2025 by bbyalcinkaya • Draft
Update Poetry version automerge
#4767 opened Mar 13, 2025 by tothtamas28 Loading…
@tothtamas28
1
Update dependency: deps/llvm-backend_release automerge
#4765 opened Mar 11, 2025 by rv-jenkins Loading…
@gtrepta
Process complex LHS patterns in function rules lean4-backend
#4757 opened Feb 19, 2025 by tothtamas28 Loading…
@tothtamas28
Update pyk dependencies pyk
#4746 opened Jan 24, 2025 by tothtamas28 • Draft
@tothtamas28
Avoid clashes of generated declarations and Lean 4 lean4-backend
#4742 opened Jan 21, 2025 by JuanCoRo Loading…
@JuanCoRo
6
Remove generated Option type for total functions automerge lean4-backend
#4741 opened Jan 21, 2025 by JuanCoRo • Draft
@JuanCoRo
2
keep the constraints unchanged after creating a new cterm
#4709 opened Dec 11, 2024 by Stevengre • Draft
@Stevengre
7
Adding preserves-definedness attributes to domains.md enhancement
#4680 opened Nov 2, 2024 by PetarMax • Draft
@PetarMax
fix wrong type annotations for KCFG.NDBranch
#4661 opened Oct 13, 2024 by pxhdev Loading…
1
Remove Subst.pred functionality
#4626 opened Sep 5, 2024 by ehildenb • Draft
@ehildenb
Proof container proof type enhancement
#4358 opened May 15, 2024 by nwatson22 Loading…
@nwatson22
15
Add is_loop predicate to KCFGSemantics and derived classes refactor
#4329 opened May 8, 2024 by nwatson22 • Draft
@nwatson22
Minimize boilerplate when building Commands/Options refactor
#4292 opened Apr 27, 2024 by nwatson22 • Draft
1
@nwatson22
4
Port Att.scala to Java
#4038 opened Feb 23, 2024 by Scott-Guest • Draft
Refactor allowed syntax checks for attributes
#4011 opened Feb 20, 2024 by Scott-Guest • Draft
@Scott-Guest
1
Add int-simplification builtin builtins
#2840 opened Aug 30, 2022 by ehildenb • Draft
2 tasks
3
ProTip! What’s not been updated in a month: updated:<2025-02-13.