One doc tagged with "codegen"

Generating code with prepare_sbd_toe_codegen_context — branching by status, citations discipline, mandatory security_rationale.