Skip to content

Mention p4-spectec in README and the spec document - #1420

Merged
rcgoodfellow merged 1 commit into
p4lang:mainfrom
jaehyun1ee:p4spectec
Sep 14, 2026
Merged

rcgoodfellow merged 1 commit into
p4lang:mainfrom
jaehyun1ee:p4spectec

Conversation

@jaehyun1ee

Copy link
Copy Markdown
Contributor

Following @jonathan-dilorenzo's suggestion at the August 2026 LDWG meeting, this PR adds a short description of the P4-SpecTec project (with links to both the repository and the auto-generated specification) to README.md and the P4-16 specification document.

Thank you for the suggestion!

Signed-off-by: jaehyun1ee <99jaehyunlee@kaist.ac.kr>
@rcgoodfellow
rcgoodfellow merged commit f3bac91 into p4lang:main Sep 14, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants