InfMachine Config
The configuration module for the Infinite Machine. The library provides basic interface
for the configuration for the Infinite Machine. The library provides serialization and
deserialization by serde crate.
Configuration is very simple structure with 3 fields:
- state_len - state length.
- data_part_len - data part length. Length of parts for the memory address and the temp buffer.
- cell_len_bits - length of length of the main memory cell.
The library provides structures:
InfParMachineConfig- machine configuration.InfParInterfaceConfig- machine configuration used by generators.InfParEnvConfig- machine configuration and environment configuration.InfParMachineData- machine data contains config, environment config and circuit.