seal5.transform.detect_inouts

Modules

collect	Clean M2-ISA-R/Seal5 metamodel by removing unused constants.
utils	Clean M2-ISA-R/Seal5 metamodel by removing unused constants.
visitor	Detect input/output operands through behavioral reads and writes.