This is a logic prototype of an FSM being used in my capstone project. The code doesn't actually run — the main focus was on verifying the design of the FSM, and practicing some Rust along the way (especially the proc-macro I put together).
If you really want it, the code is licensed under GPL-2.0-only.