Skip to content

Pull requests: kaist-plrg/p4-spectec

New pull request New
9 Open 71 Closed
9 Open 71 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

Support adding table entries in STF files with keys whose match kind is optional; various fixes tests Related to tests
#122 opened Mar 9, 2026 by shyukahn Loading…
Support ternary match on bool (#54)
#121 opened Mar 6, 2026 by AAYUSH-SPIDEY-SHARMA Loading…
1
Increase Dynamic Semantics Coverage for SL tests Related to tests
#120 opened Feb 27, 2026 by pacokwon Loading…
@pacokwon
feat: Table groups
#117 opened Feb 21, 2026 by KunJeong • Draft
PSA architecture support arch Related to target architecture simulation
#112 opened Jan 30, 2026 by shyukahn Loading…
Fix: Directionless action parameters are not compile-time known p4-mech Related to the mechanized P4 language specification
#106 opened Jan 23, 2026 by AAYUSH-SPIDEY-SHARMA Loading…
1
6
Bounded for loops with global bounds p4-mech Related to the mechanized P4 language specification
#91 opened Jan 9, 2026 by shyukahn Loading…
Bounded for loops with local bounds p4-mech Related to the mechanized P4 language specification
#90 opened Jan 9, 2026 by shyukahn Loading…
Improve fresh variable naming for tuple types in prose generation AI AI-generated content meta-language Related to the P4-SpecTec meta-language
#33 opened Nov 28, 2025 by Copilot AI • Draft
1
@jaehyun1ee
ProTip! Mix and match filters to narrow down what you’re looking for.