Skip to content

Actions: rems-project/isla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow the length primop to be used for vectors
Ubuntu-22.04 #156: Commit 5117d17 pushed by bacam
October 2, 2024 13:31 15m 48s master
October 2, 2024 13:31 15m 48s
Fix isla-sail
Ubuntu-22.04 #155: Commit 90da0f8 pushed by Alasdair
September 16, 2024 15:02 12m 23s master
September 16, 2024 15:02 12m 23s
Update isla-sail
Ubuntu-22.04 #154: Commit f7ba93e pushed by Alasdair
September 13, 2024 14:36 13m 58s master
September 13, 2024 14:36 13m 58s
Improve register assumption simplification to use shadowing writes
Ubuntu-22.04 #153: Commit 537a478 pushed by bacam
August 21, 2024 12:07 19m 47s master
August 21, 2024 12:07 19m 47s
Add support for indexing register array
Ubuntu-22.04 #152: Pull request #81 synchronize by bacam
July 22, 2024 12:30 13m 19s ffengyu:master
July 22, 2024 12:30 13m 19s
Fix initial register value setting for I64 registers
Ubuntu-22.04 #150: Commit be4327c pushed by bacam
July 19, 2024 10:43 12m 40s master
July 19, 2024 10:43 12m 40s
Refactor run_litmus
Ubuntu-22.04 #149: Commit 58bc827 pushed by Alasdair
July 15, 2024 16:09 12m 42s master
July 15, 2024 16:09 12m 42s
Update Isla for exceptions
Ubuntu-22.04 #148: Commit 72e0045 pushed by Alasdair
July 11, 2024 19:44 15m 43s master
July 11, 2024 19:44 15m 43s
Fix cargo test and rustfmt
Ubuntu-22.04 #147: Commit d61cc70 pushed by Alasdair
July 3, 2024 18:29 11m 57s master
July 3, 2024 18:29 11m 57s
Add smtperf feature
Ubuntu-22.04 #146: Commit 48805f7 pushed by Alasdair
July 3, 2024 17:52 11m 11s master
July 3, 2024 17:52 11m 11s
Update ubuntu_22_04.yml
Ubuntu-22.04 #145: Commit ee4743c pushed by Alasdair
June 27, 2024 12:38 12m 14s master
June 27, 2024 12:38 12m 14s
Allow cycles with no opcode
Ubuntu-22.04 #144: Commit c265e27 pushed by Alasdair
June 27, 2024 11:25 2m 49s master
June 27, 2024 11:25 2m 49s
Add some additional registers to the Arm v9.4 config
Ubuntu-22.04 #143: Commit b98a77d pushed by Alasdair
June 26, 2024 18:34 2m 51s master
June 26, 2024 18:34 2m 51s
Add support for interrupts in tests
Ubuntu-22.04 #142: Commit fbcc49d pushed by Alasdair
June 26, 2024 18:12 5m 49s master
June 26, 2024 18:12 5m 49s
(isla-axiomatic/smt) don't generate trivial bitvector constraints
Ubuntu-22.04 #141: Commit afe3449 pushed by bensimner
June 11, 2024 15:17 5m 41s master
June 11, 2024 15:17 5m 41s
(isla-axiomatic/lib) expose some functions to be consumed by litmus-t…
Ubuntu-22.04 #140: Commit c6f29bb pushed by bensimner
May 19, 2024 12:23 13m 37s master
May 19, 2024 12:23 13m 37s
(isla-lib/memory) fix: remove old debug print region
Ubuntu-22.04 #139: Commit d0e350b pushed by bensimner
May 19, 2024 12:23 13m 48s master
May 19, 2024 12:23 13m 48s
Include field information when using --probe for register writes
Ubuntu-22.04 #138: Commit fd750c0 pushed by bacam
April 29, 2024 12:19 15m 39s master
April 29, 2024 12:19 15m 39s
Merge pull request #72 from rems-project/isla-litmus-dump
Ubuntu-22.04 #137: Commit bdd2369 pushed by Alasdair
April 17, 2024 14:21 11m 51s master
April 17, 2024 14:21 11m 51s
isla-litmus-dump WIP
Ubuntu-22.04 #136: Pull request #72 synchronize by Alasdair
April 17, 2024 14:08 11m 59s isla-litmus-dump
April 17, 2024 14:08 11m 59s
Fix some pick dependency issues
Ubuntu-22.04 #135: Commit a9b68f3 pushed by Alasdair
April 17, 2024 14:08 11m 40s master
April 17, 2024 14:08 11m 40s
Update ubuntu_22_04.yml
Ubuntu-22.04 #134: Commit 90c95b7 pushed by Alasdair
April 17, 2024 12:10 11m 15s master
April 17, 2024 12:10 11m 15s
Update ubuntu_22_04.yml
Ubuntu-22.04 #133: Commit bf1e2b6 pushed by Alasdair
April 17, 2024 11:55 10m 8s master
April 17, 2024 11:55 10m 8s
Refactor taint tracking type
Ubuntu-22.04 #132: Commit ca98710 pushed by Alasdair
April 17, 2024 11:37 6m 18s master
April 17, 2024 11:37 6m 18s
Update MSRV
Ubuntu-22.04 #131: Commit b5854a7 pushed by Alasdair
April 15, 2024 13:17 6m 9s master
April 15, 2024 13:17 6m 9s