seal5.backends.riscv_register_info.writer

Generate Patches for RISCVRegisterInfo.td.

Functions

gen_riscv_register_info_str(set_def)

main()

Main app entrypoint.

write_riscv_register_info(reg)