search

frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System
http://www.frenetic-lang.org/
Other
223 stars 51 forks source link

Fixed eval for VSwitch and VPort headers #552

Closed poddarh closed 7 years ago

arjunguha commented 7 years ago

@smolkaj @jnfoster and others: I assume nobody objects to this change? All it does is make the NetKAT interpreter accept packets with virtual switches/ports.

smolkaj commented 7 years ago

Looks good!

smolkaj commented 7 years ago

damn, I accidentally reinvoked travis

jnfoster commented 7 years ago

+1

SGTM

On Sun, Mar 26, 2017 at 8:50 PM, Steffen Smolka notifications@github.com wrote:

damn, I accidentally reinvoked travis

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/frenetic-lang/frenetic/pull/552#issuecomment-289347827, or mute the thread https://github.com/notifications/unsubscribe-auth/ABwi0oCsXyvOOs7rYBfs8AioPsW-8aH-ks5rpzIBgaJpZM4MokBL .