seal5.cli.transform
Command line subcommand for transforming Seal5 inputs . Transform inputs
Create M2-ISA-R metamodel
Convert to Seal5 metamodel (including aliases, builtins,…)
Analyse/optimize instructions
Functions
|
|
|
"Define and return a subparser for the transform subcommand. |
|
Callback function which will be called to process the transform subcommand |