search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
75 stars 21 forks source link

binop type #436

Closed Harim-H closed 1 year ago

jnfoster commented 1 year ago

@pataei is this still useful? It's been pending for ~4 months. Let's either merge it in or delete it...

pataei commented 1 year ago

@jnfoster added a review for it just for reference and I'll apply my comments and merge it. Sorry this has been pending for so long.

jnfoster commented 1 year ago

Sounds good!

pataei commented 1 year ago

After working on this a bit, I'm closing this PR. It contains lots of syntax errors and doesn't even compile. @Harim-H for future reference, you must never commit and push code without compiling it.