seal5.backends.riscv_intrinsics.writer

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

Functions

build_attr(arch, intrinsic)
build_emit(arch, intrinsic)
build_target(arch, intrinsic)
ir_type_to_pattern(ir_type)
ir_type_to_text(ir_type)
main()	Main app entrypoint.

Classes

PatchFrag(patchee, tag[, contents])

Pairs patch contents to location to apply it