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

Add integer shift primops to partial evaluator

ce5e378
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build (5.0.0, ubuntu-latest, 0.29.0)
succeeded Jul 15, 2026 in 28s