Nate Foster
Can you send me a note at [email protected]? I'll get you set up.
Perhaps you could share a complete program that exhibits the bug? And if you're running on Bmv2, a full trace of the log would be useful. It's hard to help...
Thanks @jafingerhut!
You'll need to make sure you're on an up-to-date version of p4c and bmv2 (on the VM) and of the tutorial materials themselves. It looks like there is a mis-match....
No worries. Our fault for not test driving this carefully beforehand. And it was fine because there were only ~8 folks on the Web client, so they just stayed in...
Yep. I remember you mentioned that during training :-)
Here's what we did for the P4 language spec. The [p4.org](https://p4.org) web server has these static pages: `p4-16-working-draft.html`: ```html const url = "https://raw.githubusercontent.com/p4lang/p4-spec/gh-pages/docs/P4-16-working-spec.html"; const req = new XMLHttpRequest(); req.open("GET", url,...
This is how Petr4 works.
Here is Petr4's pre-processor: https://github.com/cornell-netlab/p4pp. It's about 900 lines of OCaml code. I can't say that it's extensively tested, so their may be bugs. But it was used for the...
Correction, it's around 600 lines of OCaml code. The largest source file, `bake.p4` "bakes in" versions of `core.p4` and `v1model.p4.` This was used in the Javascript backend of Petr4, where...