seal5.backends.riscv_gnu.writer

Generate a unified binutils/GDB patch from transformed Seal5 models.

Functions

collect(models)	Collect deterministic tables, preserving arbitrary operand bit slices.
function_body(text, function)	Locate the unique definition body for a function name.
generate_patch(models, source)	Return a patch for one binutils-gdb checkout without changing that checkout.
insert_switch(text, function, content)	Insert content immediately before a function's unique operand switch.
main()	Standalone backend entry point.
matching_delimiter(text, start, opening, closing)	Return the matching closing delimiter, ignoring comments and quoted text.
replace_once(text, anchor, replacement)	Fail on unrecognized upstream layouts instead of emitting a partial patch.
substitute_assembly_operand(match, ...)	Replace one assembly operand placeholder or reject an unknown name.