seal5.backends.riscv_gisel_legalizer

Seal5 RISCV GISel Legalizer backend

Modules

writer

Clean M2-ISA-R/Seal5 metamodel to .core_desc file.