search

verified-network-toolchain / petr4

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

Constant Inlining #364

Closed zachary-kent closed 1 year ago

zachary-kent commented 1 year ago

This PR implements translation of constant declarations by inlining them during a pass over P4Light.

ericthewry commented 1 year ago

This looks awesome! Feel free to merge once the conflicts are resolved.

zachary-kent commented 1 year ago

This looks awesome! Feel free to merge once the conflicts are resolved.

Do you know why the checks are failing when trying to install core_unix?

zachary-kent commented 1 year ago

@ericthewry I added a --no-checksums switch to opam install in the build files, which seemed to fix the weird errors that caused some checks to fail. Would it be okay to merge this in?