Petr4 front-end refactor - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Petr4 front-end refactor #340

Closed jnfoster closed 2 years ago

jnfoster commented 2 years ago

Switch preprocessor from cc to p4pp
Move common.ml from lib to bin
Move hex_to_string helper functions into lib/util.ml
Rename petr4test to p4stf
Rename STF directory to p4stf and move STF helper functions there

pataei commented 2 years ago

looks good to me.