seal5.cli.transform

Command line subcommand for transforming Seal5 inputs . Transform inputs

  1. Create M2-ISA-R metamodel

  2. Convert to Seal5 metamodel (including aliases, builtins,…)

  3. Analyse/optimize instructions

Functions

add_transform_options(parser)

get_parser(subparsers)

"Define and return a subparser for the transform subcommand.

handle(args)

Callback function which will be called to process the transform subcommand