keleusma 0.2.0

Total Functional Stream Processor with definitive WCET and WCMU verification, targeting no_std + alloc embedded scripting
Documentation

keleusma

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

This version has 13 feature flags, 3 of them enabled by default.

default

compile (default)

This feature flag does not enable additional features.

floats (default)

This feature flag does not enable additional features.

verify (default)

This feature flag does not enable additional features.

narrow-address-16

This feature flag does not enable additional features.

narrow-address-32

This feature flag does not enable additional features.

narrow-address-8

This feature flag does not enable additional features.

narrow-float-32

This feature flag does not enable additional features.

narrow-word-16

This feature flag does not enable additional features.

narrow-word-32

This feature flag does not enable additional features.

narrow-word-8

This feature flag does not enable additional features.

sdl3-example

shell

This feature flag does not enable additional features.

signatures