Fix frontend issues with expression and arithmetic operators

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Fix frontend issues with expression and arithmetic operators #266

Closed hackedy closed 3 years ago

hackedy commented 3 years ago

This addresses all the frontend problems in #261. I made the changes off of the main branch since afaik that's the frontend we are using? It should be mergeable into poulet4 if that's where they're actually needed.

jnfoster commented 3 years ago

Strong work!