seal5.cli

Seal5 Command Line

Modules

build	Command line subcommand for building Seal5 LLVM.
clean	Command line subcommand for cleaning seal5 environment.
common
deploy	Command line subcommand for deploying seal5 LLVM.
export	Command line subcommand for Exporting Seal5 artifacts
generate	Generating Seal5 patches
init	Command line subcommand for initializing Seal5 environment.
install	Command line subcommand for installing Seal5 LLVM.
load	Command line subcommand for loading Seal5 inputs (CoreDesc,yml, ll,.c ...) .
main	Console script for seal5.
patch	Command line subcommand for Applying Seal5 patches.
reset	Command line subcommand for resetting the seal5 environment.
setup	Command line subcommand for Installing Seal5 dependencies
test	Command line subcommand for Testing seal5 environment.
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.