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
15
16

mod action;
mod budget;
mod execution;
mod input;
mod matcher;
mod once;
mod rewrite;
mod runner;
mod state;
mod terminal;

#[cfg(test)]
mod tests;

pub use execution::{Execution, ExecutionStep};
pub use input::RuntimeInput;