p4lang / p4-applications

P4 Applications WG repo
107 stars 46 forks source link

INT-MX: Generalize domain specific 'source-only' metadata #87

Closed mickeyspiegel closed 3 years ago

mickeyspiegel commented 4 years ago

Change INT-MX 'source-only' metadata to 'source-inserted' metadata. When a DS Instruction bit is defined for a domain, the definition must specify the following properties:

jklr commented 4 years ago