Skip to content

Actions: rems-project/cerberus

Actions

docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
220 workflow runs
220 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN-exec: Add with-test-gen CLI flag for generating executable spec of… docker #45: Commit 81c3ff9 pushed by rbanerjee20
August 14, 2024 11:00 48m 1s master
master
August 14, 2024 11:00 48m 1s
unsued lemma docker #44: Commit 7a4768c pushed by vzaliva
August 13, 2024 22:01 3h 46m 10s master
master
August 13, 2024 22:01 3h 46m 10s
Defining two calling conventions for Core docker #43: Commit 431e3c1 pushed by kmemarian
August 13, 2024 18:35 3h 26m 37s master
master
August 13, 2024 18:35 3h 26m 37s
typo fixed docker #42: Commit 5db6f96 pushed by vzaliva
August 13, 2024 18:02 33m 33s master
master
August 13, 2024 18:02 33m 33s
repr_preserves wip docker #41: Commit adc6e00 pushed by vzaliva
August 13, 2024 16:02 1h 59m 52s master
master
August 13, 2024 16:02 1h 59m 52s
CN: Add support for bitwise subtraction docker #40: Commit 273815c pushed by dc-mak
August 13, 2024 14:55 1h 8m 7s master
master
August 13, 2024 14:55 1h 8m 7s
additional alignment checks in repr docker #39: Commit efaa7ba pushed by vzaliva
August 12, 2024 23:59 3h 46m 16s master
master
August 12, 2024 23:59 3h 46m 16s
[CN-Test-Gen] Set Sym.executable_spec_enabled docker #38: Commit 201ceb8 pushed by ZippeyKeys12
August 12, 2024 23:51 8m 19s master
master
August 12, 2024 23:51 8m 19s
CHERI-CI: updating test after e0640bcc7384a8dd876672ed2fd227ac9cac498b docker #37: Commit e5f60e6 pushed by kmemarian
August 12, 2024 22:40 1h 10m 47s master
master
August 12, 2024 22:40 1h 10m 47s
Fixing the elaboration of bitwise shift operators docker #36: Commit e0640bc pushed by kmemarian
August 12, 2024 20:08 2h 32m 40s master
master
August 12, 2024 20:08 2h 32m 40s
Complete some address arithmetic proofs; reorganize sections in Proof… docker #35: Commit c5c1da0 pushed by vzaliva
August 12, 2024 18:23 1h 45m 2s master
master
August 12, 2024 18:23 1h 45m 2s
Add support for shift-right on signed numbers. docker #34: Commit 1519c83 pushed by kmemarian
August 12, 2024 17:24 59m 18s master
master
August 12, 2024 17:24 59m 18s
Remove constraints from resource hints, docker #33: Commit 89a1278 pushed by cp526
August 10, 2024 09:59 3h 36m 50s master
master
August 10, 2024 09:59 3h 36m 50s
introduced mem_state_with_cap_preserves docker #32: Commit 1bae8ff pushed by vzaliva
August 9, 2024 22:09 3h 37m 48s master
master
August 9, 2024 22:09 3h 37m 48s
adhoc performance improvement for resource-derived constraints docker #31: Commit 4506341 pushed by cp526
August 9, 2024 09:12 3h 37m 2s master
master
August 9, 2024 09:12 3h 37m 2s
CI: unsilence CN output docker #30: Commit 0a3246c pushed by cp526
August 9, 2024 07:56 1h 16m 4s master
master
August 9, 2024 07:56 1h 16m 4s
generalizing refactorable part of repr_preserves proof` docker #29: Commit 45dc64e pushed by vzaliva
August 9, 2024 01:12 3h 55m 24s master
master
August 9, 2024 01:12 3h 55m 24s
Update pretty printing of structs to match input notation: docker #28: Commit 32ee941 pushed by cp526
August 8, 2024 21:42 3h 30m 16s master
master
August 8, 2024 21:42 3h 30m 16s
CN-exec: apply ocamlformat docker #27: Commit 3d925cd pushed by rbanerjee20
August 8, 2024 17:51 3h 50m 56s master
master
August 8, 2024 17:51 3h 50m 56s
CN-exec: Fix bug in translation of StructUpdate docker #26: Commit 83880a4 pushed by rbanerjee20
August 8, 2024 15:39 2h 12m 38s master
master
August 8, 2024 15:39 2h 12m 38s
[CN-exec] Add CI for CN runtime testing capability (#458) docker #25: Commit 2702dba pushed by rbanerjee20
August 8, 2024 10:55 3h 42m 49s master
master
August 8, 2024 10:55 3h 42m 49s
re-implementing amap_add_list_not_at. Proofs in progress. docker #24: Commit abf69ed pushed by vzaliva
August 7, 2024 23:47 3h 37m 1s master
master
August 7, 2024 23:47 3h 37m 1s
make solver use uintptr_t in pointer mapping rather than intptr_t docker #23: Commit bb1596f pushed by cp526
August 7, 2024 23:04 43m 37s master
master
August 7, 2024 23:04 43m 37s
CN-exec: Upgrade & move single file runtime script (#439) docker #22: Commit 1d5dc3e pushed by rbanerjee20
August 7, 2024 14:47 3h 42m 45s master
master
August 7, 2024 14:47 3h 42m 45s
ADDR_LIMIT alignment axiom docker #21: Commit b3358e4 pushed by vzaliva
August 6, 2024 23:44 3h 42m 1s master
master
August 6, 2024 23:44 3h 42m 1s