edwardalee
commented
2 months ago I've pushed support here for the diagrams, so that when a watchdog declares an action as an effect, we get this:
Closed lhstrh closed 2 months ago
edwardalee
commented
2 months ago I've pushed support here for the diagrams, so that when a watchdog declares an action as an effect, we get this:
The grammar allows effects to be specified for a watchdog, but the compiler wasn't resolving effects correctly and the code generator needed to be updated to ensure that effects are brought into scope. This PR also updates the diagram synthesis to render watchdog effects correctly.