merge
error
fixes to program equivalence check, uncovered design bug
reverting commits, because compile errors exist
merge with rebecca
got rid of accessor functions, we now just interrogate the datatype
Update README.md
merge
Added OCaml-topology link to the README
Top-level MAC Learning example
Detangle
Actually parse command-line options
Tidying
Parser shaping up
bug fix : menhir priority level was inverted earlier, fixed
Incremental improvement
Added NetKAT lexer and parser to build stage, though they are not building as of now
adding lexer for NetKAT
grammar broken into different fields of headers and the type of values that they expect. Build errors related to types have not been resolved
Parser Compiling successfully