seal5.transform

Transform module for seal5.

Modules

`annotate_opcodes`
`check_pattern_support`
`collect_immediate_operands`
`collect_operand_types`
`collect_raises`
`collect_register_operands`
`converter`	Tranform M2-ISA-R metamodel to Seal5 metamodel.
`detect_calls`
`detect_imm_leafs`
`detect_inouts`
`detect_loops`
`detect_registers`
`detect_side_effects`
`drop_unused`
`eliminate_mod_rfs`
`eliminate_rd_cmp_zero`
`explicit_truncations`
`filter_model`
`infer_types`
`inline_functions`
`optimize_instructions`
`process_settings`
`simplify_trivial_slices`