search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
74 stars 20 forks source link

Poulet4 compilertests #349

Closed nikaido-shinku closed 1 year ago

nikaido-shinku commented 2 years ago

able to extract and emit

rudynicolop commented 1 year ago

@nikaido-shinku this is ready to merge?

nikaido-shinku commented 1 year ago

It used to be ready to merge. I would recommend merging poulet4 to this branch again to see if everything is still working.

hackedy commented 1 year ago

Closing due to inactivity. But we can keep the branch around.