Skip to content
Snippets Groups Projects
user avatar
David Bühler authored
split_monitors are created and internally used by partition.
New type split_kind to distinguish between static and dynamic splits, instead
of using different constructors in the action type.
0850d534
History
Name Last commit Last update