Closed erlingrj closed 1 month ago
@tanneberger Here I port your level assignment implementation and put it in the runtime (instead of requiring it to be code-generated). Still missing causality cycle check though.
Coverage after merging level-assignment into main will be
@tanneberger Here I port your level assignment implementation and put it in the runtime (instead of requiring it to be code-generated). Still missing causality cycle check though.