seal5

Seal5 - Semi-automated LLVM Support for RISC-V Extensions including Autovectorization.

Modules

`backends`	Backends module for seal5.
`build_cache`
`cli`	Seal5 Command Line
`dependencies`	Seal5 dependencies.
`flow`	Seal5 Flow API.
`index`	Classes for managing index fiels used to summarize patches.
`logging`	Loging utilities for Seal5.
`metrics`
`model`	TODO
`model_utils`	Utilities for loading and dumping metamodels.
`pass_list`
`passes`
`resources`	Tools module for seal5.
`riscv_utils`
`settings`	Settings module for seal5.
`testgen_utils`	Seal5 TestGen Utils.
`tools`	Tools module for seal5.
`transform`	Transform module for seal5.
`types`	Type definitions for seal5.
`utils`	Seal5 utility functions.
`version`	Version module for seal5.
`wrapper`	Wrappers for running the seal5 flow with minimal efforts.