seal5.transform.simplify_trivial_slices

Modules

transform

Remove (rd != 0) checks from M2-ISA-R/Seal5 metamodel.

visitor

A transformation module for simplifying M2-ISA-R behavior expressions.