search

nasa / fpp

F Prime Prime: A modeling language for F Prime
https://fprime.jpl.nasa.gov
Apache License 2.0
49 stars 31 forks source link

Implement Check Signal Uses #500

Closed bocchino closed 1 month ago

bocchino commented 2 months ago

Implement the Check Signal Uses algorithm for state machine semantics.

bocchino commented 1 month ago

Done in commit 4b84b8fc30a41e6031e9e7283d63f0328192c4a3.