Welcome to Seal5’s documentation!

seal5

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

Contents:

• Seal5
  • Overview
  • Prerequisites
  • Usage
  • Examples
  • Documentation
  • Limitations
  • CI/CD Flow
  • Contributions
  • References
  • Acknowledgment

Indices and tables

• Index

• Module Index

• Search Page