package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

Dune Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

A

Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/index.html

Module `Frenetic_netkat`Source

Sourcemodule Bisim : sig ... end

Sourcemodule Domain : sig ... end

The domain of an FDD/Automaton is given by the set of values occuring with each field, either in a test or a modification.

Sourcemodule FabricGen : sig ... end

Sourcemodule Fdd : sig ... end

Forwarding Decision Diagrams

Sourcemodule Generated_Parser : sig ... end

Sourcemodule Global_compiler : sig ... end

Sourcemodule Json : sig ... end

Sourcemodule LexBuffer : sig ... end

A custom lexbuffer that automatically keeps track of the source location. This module is a thin wrapper arounds sedlexing's default buffer, which does not provide this functionality.

Sourcemodule Lexer : sig ... end

Sourcemodule Local_compiler : sig ... end

Sourcemodule Optimize : sig ... end

Sourcemodule Packet : sig ... end

A packet is a map from fields to values.

Sourcemodule Parser : sig ... end

parsing NetKAT polcies and predicates

Sourcemodule Portless_Compiler : sig ... end

Sourcemodule Portless_Generated_Parser : sig ... end

Sourcemodule Pretty : sig ... end

Sourcemodule Semantics : sig ... end

Sourcemodule Syntax : sig ... end

NetKAT Syntax

Sourcemodule Tokens : sig ... end

Sourcemodule Virtual_Compiler : sig ... end

Sourcemodule Vlr : sig ... end