seal5

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

Modules

backends	Backends module for seal5.
cli	Seal5 Command Line
dependencies	Seal5 dependencies.
flow	Seal5 Flow API.
index
logging	Loging utilities for Seal5.
model	TODO
pass_list
passes
resources	Tools module for seal5.
settings	Settings module for seal5.
tools	Tools module for seal5.
transform	Transform module for seal5.
types	Type definitions for seal5.
utils	Seal5 utility functions.
version	Version module for seal5.