seal5.backends

Backends module for seal5.

Modules

`coredsl2`	Seal5 CoreDSL2 backend
`llvmir`	Seal5 LLVMIR backend
`patterngen`	Seal5 PatternGen backend
`report`	Reports module for seal5.
`riscv_features`	Seal5 RISCVFeatures.td backend
`riscv_gisel_legalizer`	Seal5 RISCV GISel Legalizer backend
`riscv_instr_info`	Backend for RISCVInstrInfo.td
`riscv_intrinsics`
`riscv_isa_info`	Seal5 RISCVISAInfo.td backend
`riscv_register_info`	Seal5 RISCVRegisterInfo.td backend
`viewer_seal5`	This module contains the graphical M2-ISA-R module viewer.
`yaml`	Seal5 YAML backend.