Skip to content

Actions: rems-project/cerberus

Actions

CHERI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

increase maximum CN tuple arity, as needed by pgtable CHERI #173: Pull request #782 opened by cp526
December 21, 2024 21:01 2m 34s smt-more-cn-tuples
smt-more-cn-tuples
December 21, 2024 21:01 2m 34s
Fix #779: Mark offset off as an integer constant CHERI #172: Commit d80d846 pushed by dc-mak
December 20, 2024 19:32 2m 42s master
master
December 20, 2024 19:32 2m 42s
Fix #779: Mark offset off as an integer constant CHERI #171: Pull request #781 synchronize by dc-mak
December 20, 2024 19:00 2m 55s dc-mak:offsetof-int-const
dc-mak:offsetof-int-const
December 20, 2024 19:00 2m 55s
Fix #779: Mark offset off as an integer constant CHERI #170: Pull request #781 opened by dc-mak
December 20, 2024 18:40 2m 51s dc-mak:offsetof-int-const
dc-mak:offsetof-int-const
December 20, 2024 18:40 2m 51s
CN: Error on unused modules CHERI #169: Commit 0766055 pushed by dc-mak
December 20, 2024 18:19 3m 7s master
master
December 20, 2024 18:19 3m 7s
CN: Error on unused modules CHERI #168: Pull request #780 synchronize by dc-mak
December 20, 2024 18:00 2m 54s dc-mak:error-on-unused-module
dc-mak:error-on-unused-module
December 20, 2024 18:00 2m 54s
CN: Error on unused modules CHERI #167: Pull request #780 synchronize by dc-mak
December 20, 2024 17:58 2m 1s dc-mak:error-on-unused-module
dc-mak:error-on-unused-module
December 20, 2024 17:58 2m 1s
CN: Error on unused modules CHERI #166: Pull request #780 opened by dc-mak
December 20, 2024 17:55 2m 42s dc-mak:error-on-unused-module
dc-mak:error-on-unused-module
December 20, 2024 17:55 2m 42s
Fix diff-prog CHERI #165: Commit 1ce88c1 pushed by dc-mak
December 20, 2024 17:04 3m 5s master
master
December 20, 2024 17:04 3m 5s
[CN-Exec] Give more info for Predicate not found (#775) CHERI #164: Commit 6791a6c pushed by ZippeyKeys12
December 19, 2024 22:41 3m 7s master
master
December 19, 2024 22:41 3m 7s
[CN-Exec] Extract and use CN-Test-Gen bounds analysis (#773) CHERI #163: Commit 40a2585 pushed by ZippeyKeys12
December 19, 2024 22:40 2m 39s master
master
December 19, 2024 22:40 2m 39s
[CN-Exec] Extract and use CN-Test-Gen bounds analysis CHERI #162: Pull request #773 synchronize by ZippeyKeys12
December 19, 2024 22:25 2m 42s ZippeyKeys12:cn-exec-each-generalization
ZippeyKeys12:cn-exec-each-generalization
December 19, 2024 22:25 2m 42s
[CN-Exec] Give more info for Predicate not found CHERI #161: Pull request #775 opened by ZippeyKeys12
December 19, 2024 22:20 2m 43s ZippeyKeys12:cn-exec-better-predicate-not-found-error
ZippeyKeys12:cn-exec-better-predicate-not-found-error
December 19, 2024 22:20 2m 43s
[CN-Exec] Extract and use CN-Test-Gen bounds analysis CHERI #160: Pull request #773 opened by ZippeyKeys12
December 19, 2024 22:07 2m 53s ZippeyKeys12:cn-exec-each-generalization
ZippeyKeys12:cn-exec-each-generalization
December 19, 2024 22:07 2m 53s
[CN-Exec] Error names which function is uninterpreted (#772) CHERI #159: Commit cc888bf pushed by ZippeyKeys12
December 19, 2024 21:29 2m 40s master
master
December 19, 2024 21:29 2m 40s
[CN-Exec] Make error name which function is uninterpreted CHERI #158: Pull request #772 opened by ZippeyKeys12
December 19, 2024 20:11 3m 2s ZippeyKeys12:cn-exec-better-error-for-uninterp
ZippeyKeys12:cn-exec-better-error-for-uninterp
December 19, 2024 20:11 3m 2s
Fix diff-prog CHERI #157: Pull request #771 opened by dc-mak
December 19, 2024 15:28 2m 44s dc-mak:fix-diff-prog
dc-mak:fix-diff-prog
December 19, 2024 15:28 2m 44s
Rename diff-prog args to opts CHERI #156: Commit 2ee75d6 pushed by dc-mak
December 17, 2024 13:18 2m 55s master
master
December 17, 2024 13:18 2m 55s
Update diff prog CHERI #155: Pull request #767 opened by dc-mak
December 17, 2024 12:55 2m 43s dc-mak:update-diff-prog
dc-mak:update-diff-prog
December 17, 2024 12:55 2m 43s
CN VIP: optimise shifts CHERI #154: Commit b5f552e pushed by dc-mak
December 16, 2024 18:19 2m 38s master
master
December 16, 2024 18:19 2m 38s
CN VIP: Correct/explain shifting assumptions CHERI #153: Pull request #756 synchronize by dc-mak
December 16, 2024 18:04 2m 37s dc-mak:cn-vip-adjust-shifts
dc-mak:cn-vip-adjust-shifts
December 16, 2024 18:04 2m 37s
CN: Reduce warnings for experimental tokens CHERI #152: Commit 940e91f pushed by dc-mak
December 12, 2024 15:14 2m 55s master
master
December 12, 2024 15:14 2m 55s
CN: Reduce lexer warning CHERI #151: Pull request #762 synchronize by dc-mak
December 12, 2024 14:55 2m 41s dc-mak:reduce-lexer-warning
dc-mak:reduce-lexer-warning
December 12, 2024 14:55 2m 41s
CN: Reduce lexer warning CHERI #150: Pull request #762 opened by dc-mak
December 12, 2024 14:35 3m 8s dc-mak:reduce-lexer-warning
dc-mak:reduce-lexer-warning
December 12, 2024 14:35 3m 8s
CN VIP: Correct/explain shifting assumptions CHERI #149: Pull request #756 synchronize by dc-mak
December 11, 2024 22:03 2m 44s dc-mak:cn-vip-adjust-shifts
dc-mak:cn-vip-adjust-shifts
December 11, 2024 22:03 2m 44s