seal5.backends.riscv_features.writer

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

Functions

gen_riscv_features_str(name, ext_settings)	Generate features string for LLVM patch.
main()	Main app entrypoint.