Skip to content

Actions: rems-project/cerberus

Actions

CN Spec Testing

Actions

Loading...
Loading

Show workflow options

Create status badge

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