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

Conversation

@PhilippvK
Copy link
Copy Markdown
Member

No description provided.

@PhilippvK PhilippvK self-assigned this Apr 27, 2026
@PhilippvK PhilippvK merged commit 2e0c739 into coredsl2 Apr 27, 2026
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant