seal5.backends.riscv_gnu

GNU RISC-V opcode and patch generation.

Modules

encoding	Translate Seal5 instruction encodings without assuming standard RISC-V fields.
writer	Generate a unified binutils/GDB patch from transformed Seal5 models.