infmachine_config

Crates.ioinfmachine_config
lib.rsinfmachine_config
version0.1.0
created_at2025-05-31 12:07:58.423555+00
updated_at2025-05-31 12:07:58.423555+00
descriptionThe Infinite Machine configuration.
homepage
repositoryhttps://github.com/matszpk/infmachine_config
max_upload_size
id1696313
size30,125
Mateusz Szpakowski (matszpk)

documentation

https://docs.rs/infmachine_config

README

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.
Commit count: 15

cargo fmt