Skip to content

m2isar/backends/etiss/instruction_transform.py: add missing make_static for expr.right#87

Merged
PhilippvK merged 1 commit into
coredsl2from
develop
Apr 27, 2026
Merged

m2isar/backends/etiss/instruction_transform.py: add missing make_static for expr.right#87
PhilippvK merged 1 commit into
coredsl2from
develop