Skip to content

Actions: rems-project/isla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
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
Add some Isla config registers to ignored set for Arm 9.4 Ubuntu-22.04 #179: Commit dcece5f pushed by bacam
15m 32s master
master
15m 32s
litmus-dump: add symbolic memory and thread initial registers Ubuntu-22.04 #178: Commit f171818 pushed by bacam
16m 20s master
master
16m 20s
litmus-dump: Add initial memory output alongside the initial registers Ubuntu-22.04 #177: Commit 942d5f8 pushed by bacam
16m 1s master
master
16m 1s
litmus-dump: add initial register dump for ArchSem Ubuntu-22.04 #176: Commit 20959b7 pushed by bacam
15m 52s master
master
15m 52s
RISC-V fixes (#91) Ubuntu-22.04 #175: Commit 49130c5 pushed by Alasdair
16m 4s master
master
16m 4s
RISC-V fixes Ubuntu-22.04 #174: Pull request #91 synchronize by Alasdair
15m 27s riscv_fix
riscv_fix
15m 27s
RISC-V fixes Ubuntu-22.04 #173: Pull request #91 synchronize by Alasdair
15m 10s riscv_fix
riscv_fix
15m 10s
RISC-V fixes Ubuntu-22.04 #172: Pull request #91 synchronize by Alasdair
13m 49s riscv_fix
riscv_fix
13m 49s
RISC-V fixes Ubuntu-22.04 #171: Pull request #91 opened by Alasdair
11m 56s riscv_fix
riscv_fix
11m 56s
Fix lints and rustfmt Ubuntu-22.04 #170: Commit bcc7ee8 pushed by Alasdair
15m 15s master
master
15m 15s
Make assembler play nicely with clang command lines Ubuntu-22.04 #169: Commit a6fd3b6 pushed by bacam
12m 11s master
master
12m 11s
Update isla-web Ubuntu-22.04 #168: Commit 06337ce pushed by Alasdair
12m 14s master
master
12m 14s
Update axiomatic.adoc Ubuntu-22.04 #167: Commit 513af8b pushed by Alasdair
12m 34s master
master
12m 34s
Update for latest Sail Ubuntu-22.04 #166: Commit ce5cd98 pushed by Alasdair
12m 47s master
master
12m 47s
Add structs to the types that can be used with -R x=undefined:... Ubuntu-22.04 #165: Commit ba2033f pushed by bacam
9m 51s master
master
9m 51s