rsaeb 0.5.0

A no_std + alloc interpreter for A=B ordered rewrite programs.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! Runtime budgets and byte-count value types.
//!
//! Limits configure execution and trace materialization. Counts report measured
//! byte lengths from parsed payloads, runtime states, return outputs, and trace
//! snapshots.

pub use crate::bytes::{
    PayloadByteCount, ReturnOutputByteCount, RuntimeStateByteCount, TraceSnapshotByteCount,
};
pub use crate::program::{
    DEFAULT_MAX_RETURN_LEN, DEFAULT_MAX_STATE_LEN, DEFAULT_MAX_STEPS,
    DEFAULT_MAX_TRACE_SNAPSHOT_LEN, ReturnByteLimit, RunLimits, StateByteLimit, StepCount,
    StepLimit, TraceSnapshotByteLimit, TraceSnapshotLimits,
};