Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

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