search

nasa / fpp

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

Implement Compute Flattened Initial Transition #503

Closed bocchino closed 2 weeks ago

bocchino commented 2 weeks ago

Implement the Compute Flattened Initial Transition algorithm for state machine semantics.

bocchino commented 2 weeks ago

After revising the code gen strategy, this is no longer needed.