Skip to content

ISAR formatting and formal improvements

vaclavrequested to merge
formatting_ISAR into main
  • Related issues:
  • Requested reviewers: @tyagiri

Reason why this change is needed

  • This is a follow-up to !1453 (merged) which addresses further formal improvements.

Description of the change

  • Formal improvements around SPLIT_REND_WITH_HEAD_ROT.

Affected operating points

  • All is BE.

Merge request reports