Nate Foster
I have re-read the [concurrency](https://p4.org/p4-spec/docs/P4-16-v1.1.0-draft.html#sec-concurrency) section of the language specification. I think the current text strongly suggests that reading the counter should always return an even value, but it doesn't...
See https://github.com/p4lang/p4runtime/pull/90
There's atomic from the perspective of the data plane (what happens to two packets being processed concurrently) vs. control plane (what happens to two control plane operations being processed as...
Wow, that's so cool! We had no idea this paper was re-inventing something well known in industry. This was Nilesh's undergrad research project, advised by Pavol and Jed. -N On...
This is not a bug, but I think it would be a nice feature to have. We could use a lexer hack to have whitespace preserved and added to the...
I agree this is a design flaw. But the spec says this: > The flexibility of P4 annotations comes from the minimal structure mandated by the P4 grammar: annotation bodies...
We already have a lexer that uses various forms of feedback from the parser to determine which tokens to emit. So it would not be hard to add a signal...
Hi Matt, In principle, it should be possible to serialize any part of YATES's initialization routine and then load it from a file or other cache. The details would depend...
@prvnkumar are you able to offer some instructions here?
Oops. This project uses an outdated build system. We need to port it to Dune. I'll work on that now.