lf-lang / reactor-uc

A lightweight reactor runtime targeted at resource-constrained embedded systems
BSD 2-Clause "Simplified" License
2 stars 2 forks source link

Support overwriting output ports #28

Closed erlingrj closed 4 weeks ago

erlingrj commented 4 weeks ago

In the Reactor semantics, two reactions can have the same Output as an effect and the last write wins. Our current implementation will not work with DelayedConnections where two lf_set will lead to two events being scheduled.