Skip to content

Actions: rems-project/isla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Switch CI back to HEAD of sail Ubuntu-24.04 #14: Commit 2e14c2c pushed by bacam
11m 9s master
master
11m 9s
Fix unsound extract rewrites over bvadd and bvsub Ubuntu-24.04 #13: Pull request #106 opened by rui314
8m 19s rui314:fix-commute-extract-carry
rui314:fix-commute-extract-carry
8m 19s
Update isla-sail for sail rewrite change Ubuntu-24.04 #12: Commit bf1a42f pushed by bacam
10m 48s master
master
10m 48s
Fix isla-sail/isla-lib against current Sail 0.20.2 + current sail-riscv Ubuntu-24.04 #11: Pull request #105 opened by benlaurie
Action required benlaurie:fix/sail-file-api-compat
benlaurie:fix/sail-file-api-compat
Action required
Track Sail API changes Ubuntu-24.04 #10: Commit b1b84d3 pushed by bacam
10m 22s master
master
10m 22s
Fix trace comment printing Ubuntu-24.04 #9: Commit f189d5c pushed by bacam
9m 32s master
master
9m 32s
Fix trace comment printing Ubuntu-24.04 #8: Pull request #103 synchronize by bacam
10m 50s trace-comment-refix
trace-comment-refix
10m 50s
Fix trace comment printing Ubuntu-24.04 #7: Pull request #103 synchronize by bacam
10m 35s trace-comment-refix
trace-comment-refix
10m 35s
Tweak isla-sail opens for recent Sail versions Ubuntu-24.04 #6: Commit 0f0b9da pushed by bacam
12m 46s master
master
12m 46s
Bump Ubuntu and OCaml versions for CI Ubuntu-24.04 #5: Pull request #104 synchronize by bacam
10m 1s ci-update
ci-update
10m 1s
Bump Ubuntu and OCaml versions for CI Ubuntu-24.04 #4: Pull request #104 synchronize by bacam
9m 17s ci-update
ci-update
9m 17s
Bump Ubuntu and OCaml versions for CI Ubuntu-24.04 #3: Pull request #104 synchronize by bacam
12m 46s ci-update
ci-update
12m 46s
Bump Ubuntu and OCaml versions for CI Ubuntu-24.04 #2: Pull request #104 synchronize by bacam
29s ci-update
ci-update
29s
Bump Ubuntu and OCaml versions for CI Ubuntu-24.04 #1: Pull request #104 opened by bacam
52s ci-update
ci-update
52s
Fix trace comment printing Ubuntu-22.04 #190: Pull request #103 opened by bacam
13s trace-comment-refix
trace-comment-refix
13s
Improve --remove-uninteresting heuristic for non-default attrs Ubuntu-22.04 #189: Commit 7f6882b pushed by Alasdair
9s master
master
9s
Fix/Add PTE attributes and consider PTE values with non-default attributes interesting Ubuntu-22.04 #188: Pull request #100 opened by Nils-Lauermann
13m 0s Nils-Lauermann:master
Nils-Lauermann:master
13m 0s
Support threads with empty code section (#95) Ubuntu-22.04 #187: Commit 8d1e398 pushed by Alasdair
15m 28s master
master
15m 28s
Add same-page-offset relation Ubuntu-22.04 #186: Pull request #99 opened by Nils-Lauermann
15m 47s Nils-Lauermann:same_page_offset
Nils-Lauermann:same_page_offset
15m 47s
Support threads with empty code section Ubuntu-22.04 #185: Pull request #95 synchronize by Nils-Lauermann
15m 56s Nils-Lauermann:empty-thread
Nils-Lauermann:empty-thread
15m 56s
Add const_primops for riscv32 Ubuntu-22.04 #184: Commit b898a55 pushed by bacam
15m 41s master
master
15m 41s
Add --isla-output-dir option to isla-sail Ubuntu-22.04 #183: Commit f742610 pushed by bacam
15m 20s master
master
15m 20s
Add vector subrange pattern support to isla-sail Ubuntu-22.04 #182: Commit 053d48b pushed by bacam
15m 26s master
master
15m 26s
isla-sail: track upstream changes Ubuntu-22.04 #181: Commit 6ca0455 pushed by bacam
15m 13s master
master
15m 13s
Support threads with empty code section Ubuntu-22.04 #180: Pull request #95 opened by Nils-Lauermann
13m 27s Nils-Lauermann:empty-thread
Nils-Lauermann:empty-thread
13m 27s