Skip to content

Actions: rems-project/cerberus

Actions

Cerberus-CHERI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cheri.yml
80 workflow runs
80 workflow runs

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
(frontend/translation_effect) Remove unused code Cerberus-CHERI #584: Commit f9a2a4d pushed by kmemarian
28m 56s master
master
28m 56s
[CN] (cparser) Parse ghost argument outputs Cerberus-CHERI #583: Commit e88d46c pushed by kmemarian
29m 59s master
master
29m 59s
(web) fix the build and update instructions in README.md Cerberus-CHERI #582: Commit e3870d1 pushed by kmemarian
2m 27s master
master
2m 27s
Fix web build again Cerberus-CHERI #581: Commit 5154d70 pushed by kmemarian
2m 53s master
master
2m 53s
(pprinters/pp_mem) fixing typo in pp_memop Cerberus-CHERI #580: Commit b6dde19 pushed by kmemarian
2m 39s master
master
2m 39s
Fix web build for Byte Cerberus-CHERI #579: Commit 5062197 pushed by kmemarian
2m 48s master
master
2m 48s
Fix web build for Byte Cerberus-CHERI #578: Pull request #979 synchronize by dc-mak
2m 34s dc-mak:fix-byte-web
dc-mak:fix-byte-web
2m 34s
Fix web build for Byte Cerberus-CHERI #577: Pull request #979 synchronize by dc-mak
2m 32s dc-mak:fix-byte-web
dc-mak:fix-byte-web
2m 32s
(build/Makefile) allow make PROFILE=... Cerberus-CHERI #576: Commit 6d60ef2 pushed by kmemarian
2m 52s master
master
2m 52s
Build cleanup Cerberus-CHERI #575: Pull request #991 synchronize by pqwy
3m 9s pqwy:build-cleanup
pqwy:build-cleanup
3m 9s
Build cleanup Cerberus-CHERI #574: Pull request #991 opened by pqwy
1m 25s pqwy:build-cleanup
pqwy:build-cleanup
1m 25s
(elaboration) annot the 0 constant in a Core negation with source type Cerberus-CHERI #573: Commit 3946c7e pushed by kmemarian
30m 9s master
master
30m 9s
(backends) repair build of bmc/web/CHERI broken by the Byte ctype (bu… Cerberus-CHERI #572: Commit 35d1ec8 pushed by kmemarian
2m 44s master
master
2m 44s
(backends) repair build of bmc/web/CHERI broken by the Byte ctype (but not adding full support) Cerberus-CHERI #571: Pull request #989 opened by kmemarian
3m 41s kmemarian:repair_backends
kmemarian:repair_backends
3m 41s
re-enable CN-specific Div/Mod logic (#988) Cerberus-CHERI #570: Commit 4a18965 pushed by cp526
2m 48s master
master
2m 48s
(Ail) improve desug_info to keep track of the original body of Cabs f… Cerberus-CHERI #569: Commit 0832101 pushed by kmemarian
2m 36s master
master
2m 36s
(elaboration) Temporarily disable CN elaboration of div/mod until CN … Cerberus-CHERI #568: Commit 434d24d pushed by kmemarian
2m 39s master
master
2m 39s
add Fulm pretty-printing for genTypeCategory Cerberus-CHERI #567: Commit cf13594 pushed by kmemarian
2m 44s master
master
2m 44s
(elaboration) reworking Div and Mod Cerberus-CHERI #566: Commit 27c945f pushed by kmemarian
31m 2s master
master
31m 2s
Fix web build for Byte Cerberus-CHERI #565: Pull request #979 synchronize by dc-mak
29m 22s dc-mak:fix-byte-web
dc-mak:fix-byte-web
29m 22s
Fix web build for Byte Cerberus-CHERI #564: Pull request #979 synchronize by dc-mak
2m 35s dc-mak:fix-byte-web
dc-mak:fix-byte-web
2m 35s
Make Byte casts have no UB Cerberus-CHERI #563: Commit 9eb2ce2 pushed by kmemarian
28m 22s master
master
28m 22s
Adjust tests to typecheck and execute Cerberus-CHERI #562: Commit 9f8f2d3 pushed by kmemarian
28m 29s master
master
28m 29s
Address review feedback Cerberus-CHERI #561: Commit 718ca6c pushed by dc-mak
28m 43s master
master
28m 43s
Adding support for generic selection Cerberus-CHERI #560: Commit 881feae pushed by kmemarian
2m 43s master
master
2m 43s