Streamline Shifting Boilerplate in P4cub Lifting Pass

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

75 stars 21 forks source link

Closed rudynicolop closed 1 year ago

rudynicolop commented 1 year ago

Shifting operations on P4cub terms during the lifting pass now share one definition and specification.

An arbitrary-length product type is the foundation of these changes.

rudynicolop commented 1 year ago

Squashed commits. Ready for review!

rudynicolop commented 1 year ago

@hackedy and @ericthewry I believe this is ready for review.