New Domain and Packet modules; fixes - Githubissues

frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System

http://www.frenetic-lang.org/

Other

222 stars 52 forks source link

New Domain and Packet modules; fixes #639

Closed smolkaj closed 5 years ago

smolkaj commented 5 years ago

Fixed some dependencies:

upgrade to cstruct 4.0.0
upgrade to yojson 1.7.0

Improved some interfaces:

Global compiler now exposes automaton type, safely (using private)
Use Hashtbl.foo instead of specialized Tbl.foo in various places.

Added two new modules:

Packet.ml: Models packets as maps from fields to integers.
Domain.ml: The domain of a FDD/Automaton/... is the set of fields that appear in it, together with the set of values that appear with each field (in a test or a modification).