Semantics for Phase 1 state machines

nasa / fpp

F Prime Prime: A modeling language for F Prime

https://fprime.jpl.nasa.gov

Apache License 2.0

41 stars 31 forks source link

Closed bocchino closed 3 weeks ago

bocchino commented 1 month ago

garthwatney commented 1 month ago

Added semantic checks for state machines in passive and active components

bocchino commented 3 weeks ago

Done in #439.