Skip to content

Fix/add primops in partial evaluator#1701

Merged
bauereiss merged 2 commits into
rems-project:sail2from
bauereiss:partial_primops
Jul 15, 2026
Merged

Fix/add primops in partial evaluator#1701
bauereiss merged 2 commits into
rems-project:sail2from
bauereiss:partial_primops

Conversation

@bauereiss

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

Copy link
Copy Markdown

Test Results

   16 files     37 suites   0s ⏱️
1 037 tests 1 034 ✅  3 💤 0 ❌
5 381 runs  5 336 ✅ 45 💤 0 ❌

Results for commit ce5e378.

@bauereiss
bauereiss merged commit f7105c9 into rems-project:sail2 Jul 15, 2026
9 checks passed
@bauereiss
bauereiss deleted the partial_primops branch July 15, 2026 21:43
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