Poulet4 extraction warnings

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Closed rudynicolop closed 2 years ago

rudynicolop commented 2 years ago

Resolved or suppressed warnings relating to extraction:

nat uses Stdlib instead of Pervasives, b/c this pull-request is still unresolved.
Added locality and database info to hints.
Suppressed "ignored arguments" warning 20.