issues
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
Revise state machine spec
#434
Closed
bocchino
closed
3 months ago
bocchino
commented
4 months ago
[x] Update rules for name resolution
[x] Update location specifiers
[x] Review for consistency of style
[x] Mark sections that will not be implemented in Phase 1
bocchino
commented
3 months ago
Done in #440.