seal5.transform.explicit_truncations.visitor
A transformation module for making implicit truncations explicit in M2-ISA-R behavior expressions.
Classes
|
Make implicit truncations explicit in behavioral expressions. |
A transformation module for making implicit truncations explicit in M2-ISA-R behavior expressions.
Classes
|
Make implicit truncations explicit in behavioral expressions. |