Open turion opened 6 months ago
Follow-up of #299. Tries to improve how clock erasure works. Ideally, after clock erasure, flow should just be a call to reactimate on a concrete automaton.
flow
reactimate
Follow-up of #299. Tries to improve how clock erasure works. Ideally, after clock erasure,
flow
should just be a call toreactimate
on a concrete automaton.