seal5.transform.annotate_opcodes.annotate

Annotate opcode and encoding fmt using CoreDSL2 attributes.

Functions

annotate_opcodes(instr_def, enc_mask, enc_match)
get_parser()
main(argv)
run(args)