p4-spec

p4-spec copied to clipboard

Use Madoko INCLUDE directive for grammar excerpts within the spec

4

jfingerh

Add scripts to compare spec grammar.mdk file against p4c Bison parser

2

jfingerh

Open to a few changes to grammar.mdk file to make it easier to compare to grammar in p4c?

9

Here are some changes that I have in mind, and have verified that it can make the contents of the grammar.mdk file much quicker for a person to compare against...

jafingerhut

Add expression to represent an invalid header

18

jfingerh

Add definition of initial table entries, without const qualifier

7

jfingerh

Update list of Ubuntu versions supported by install script

1

jfingerh

P4_16: Convenient initialization of header/structs

16

## Personnel - [x] **Owner**: @jafingerhut - [x] **Supporters**: @liujed, @marko-stanoj ## Design - [x] **Document**: ## Implementation - [x] **`p4-spec`**: https://github.com/p4lang/p4-spec/pull/717 - [x] **`p4c`**: https://github.com/p4lang/p4c/pull/2368 ## Process - [x]...

jafingerhut

mihaibudiu

Specify core.p4 match_kind semantics

4

Signed-off-by: Mihai Budiu Fixes #1090 To be discussed at the LDWG

mihaibudiu

Design syntax and semantics to indicate persistent storage of per-table-entry data across packets, modifiable in data plane

33

## Personnel - [x] **Owner**: @jafingerhut - [x] **Supporters**: @mariobaldi ## Design - [ ] **Document**: Discussion about a few possible ways such a feature could be designed: https://github.com/jafingerhut/p4-guide/tree/master/data-plane-writable-per-table-entry-state ##...

jafingerhut