Tags: FL03/rstm
Tags
v0.1.4 (#62) * v0.1.4 Signed-off-by: FL03 <jo3mccain@icloud.com> * cleanup Signed-off-by: FL03 <jo3mccain@icloud.com> * update examples Signed-off-by: FL03 <jo3mccain@icloud.com> * update state Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update head_step.rs Signed-off-by: FL03 <jo3mccain@icloud.com> --------- Signed-off-by: FL03 <jo3mccain@icloud.com>
v0.1.3 (#60) * v0.1.3 Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Cargo.toml Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_tmh_engine.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update README.md Signed-off-by: FL03 <jo3mccain@icloud.com> * update README.md Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update tail.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_head.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_head.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> --------- Signed-off-by: FL03 <jo3mccain@icloud.com>
v0.1.2 (#58) * v0.1.2 Signed-off-by: FL03 <jo3mccain@icloud.com> * update cargo-publish.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * cargo update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update macros Signed-off-by: FL03 <jo3mccain@icloud.com> * update rules.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update README.md Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * impl_head_ext.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update README.MD Signed-off-by: FL03 <jo3mccain@icloud.com> * update README.md Signed-off-by: FL03 <jo3mccain@icloud.com> * update rules.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update rules.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update rules.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update program.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update rust.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_head_ext.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_tail_ext.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update rust.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update rust.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Cargo.toml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_tmh.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update instruction_set.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update instruction_set.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update lib.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update lib.rs Signed-off-by: FL03 <jo3mccain@icloud.com> --------- Signed-off-by: FL03 <jo3mccain@icloud.com>
v0.1.1 (#44) * v0.1.1 Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_turing_engine.rsupdate Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Cargo.toml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * cargo fmt --all Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update rust.yml Signed-off-by: FL03 <jo3mccain@icloud.com> --------- Signed-off-by: FL03 <jo3mccain@icloud.com>
v0.1.0 (#41) * v0.1.0 Signed-off-by: FL03 <jo3mccain@icloud.com> * update .github/workflows Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update examples/tmh.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update macros/rules.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update macros/rules.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update macros/rules.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * cleanup rstm-actors Signed-off-by: FL03 <jo3mccain@icloud.com> * cleanup rstm-actors Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_head.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update rulespace.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update rstm/examples Signed-off-by: FL03 <jo3mccain@icloud.com> * update program.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> --------- Signed-off-by: FL03 <jo3mccain@icloud.com>
v0.0.9 (#36) * v0.0.9 Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Cargo.toml Signed-off-by: FL03 <jo3mccain@icloud.com> * update rust.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update actors/error.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update state/tests Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_turing_engine.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_tmh_ext.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update cargo-clippy.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update bounds.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update utils/bounds.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_turing_engine.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update cargo-clippy.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update cargo-clippy.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update impl_turing_engine.rs Signed-off-by: FL03 <jo3mccain@icloud.com> * update release.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Cargo.toml Signed-off-by: FL03 <jo3mccain@icloud.com> --------- Signed-off-by: FL03 <jo3mccain@icloud.com>
v0.0.8 (#25) * v0.0.8 Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Cargo.toml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * updateupdate Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update cargo-publish.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update rust.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update cargo-publish.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update cargo-clippy.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * refractor the `program` macro Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> --------- Signed-off-by: FL03 <jo3mccain@icloud.com>
v0.0.7 (#23) * v0.0.7 Signed-off-by: Joe McCain III <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> * update rust.yml Signed-off-by: FL03 <jo3mccain@icloud.com> * update Signed-off-by: FL03 <jo3mccain@icloud.com> --------- Signed-off-by: Joe McCain III <jo3mccain@icloud.com> Signed-off-by: FL03 <jo3mccain@icloud.com>
PreviousNext