List_Misc

Negation_Type

WordInterval_Lists

Repeat_Stabilize

Firewall_Common

Semantics

Matching

Ruleset_Update

Call_Return_Unfolding

Ternary

Matching_Ternary

Semantics_Ternary

Datatype_Selectors

IpAddresses

L4_Protocol_Flags

Ports

Conntrack_State

Tagged_Packet

Common_Primitive_Syntax

Unknown_Match_Tacs

Common_Primitive_Matcher_Generic

Common_Primitive_Matcher

Example_Semantics

Alternative_Semantics

Semantics_Stateful

Semantics_Goto

Negation_Type_DNF

Matching_Embeddings

Fixed_Action

Normalized_Matches

Negation_Type_Matching

Primitive_Normalization

MatchExpr_Fold

Common_Primitive_Lemmas

Ports_Normalize

IpAddresses_Normalize

Interfaces_Normalize

Word_Upto

Protocols_Normalize

Remdups_Rev

Ipassmt

No_Spoof

Common_Primitive_toString

Routing_IpAssmt

Output_Interface_Replace

Interface_Replace

Optimizing

Transform

Conntrack_State_Transform

Primitive_Abstract

SimpleFw_Compliance

Semantics_Embeddings

Iptables_Semantics

Code_Interface

Parser6

No_Spoof_Embeddings

Parser

Code_haskell

Access_Matrix_Embeddings

Documentation