search

verified-network-toolchain / petr4

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

Add some more explicit casts #417

Closed hackedy closed 1 year ago

hackedy commented 1 year ago

Fixes #193, #369, also permits no-op or idempotent casts e.g. (bool)(bool)true.

hackedy commented 1 year ago

Missing some casts for typedef

hackedy commented 1 year ago

I think we aren't missing casts for typedef because typedefs are done away with by saturate_type.

hackedy commented 1 year ago

However I'm going to remove the newtype<-->newtype casts, which I don't think are spec compliant.