Skip to content

README.md

Latest commit

 

History

History
45 lines (33 loc) · 507 Bytes

README.md

File metadata and controls

45 lines (33 loc) · 507 Bytes

Installation

sudo apt install opam
opam init
opam switch create 5.3.0
eval $(opam env)

opam install -y dune
opam install -y sedlex landmarks-ppx menhir yojson alcotest core async
opam install -y ego

Usage

NetKAT REPL:

dune exec netkat-repl

NetKAT command-line:

dune exec netkat examples/b.nkpl

NetKAT TCP server:

dune exec netkat-listen
nc localhost 8080

NetKAT Egg test:

dune exec netkat-egg

Parse all examples:

make parse
tail -f parsed.txt