Module encoding 

The main component of libLISA’s semantics is an Encoding. An encoding represents a group of instructions with similar semantics.

An encoding consists of two components: a bitpattern (for grouping instructions) and Dataflows.

Modules

bitpattern

Types representing the bitpattern in an Encoding.

dataflows

Types representing the dataflows in an Encoding.

indexed

Provides a collection type for crate::encoding::Encodings that can be used in self-referential structures and can be serialized to disk.

mcs

Methods for splitting encodings into overlapping groups and finding mimimum covering subsets of encodings.

Structs

Encoding

Dataflows and semantics for a group of similar instructions. An encoding matches at least one instruction. If an encoding matches an instruction, it can be instantiated for that instruction.

EncodingWithFilters

An Encoding with pre-computed filters.

WriteOrdering

Describes the order in which outputs should be written, if the part_values match.

Enums

InstantiationError

An error returned when instantiating an Encoding fails.

IntegrityError

Error returned by Encoding::integrity_check.

RestrictError

An error returned when Encoding::restrict_to fails.

Functions

merge_encodings_semantically

Performs an eager merging of a collection of crate::encoding::Encodings.

merge_encodings_structurally

Performs a conservative merging of a collection of crate::encoding::Encodings.