Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn.yml
247 workflow runs
247 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clarify SMT limitation CN Proof #122: Pull request #754 opened by dc-mak
December 10, 2024 23:13 16m 42s dc-mak:clarify-smt-limitation
dc-mak:clarify-smt-limitation
December 10, 2024 23:13 16m 42s
Tidy up Definition module CN Proof #121: Commit 0749b8e pushed by dc-mak
December 10, 2024 21:33 16m 47s master
master
December 10, 2024 21:33 16m 47s
CN: Tidy definitions CN Proof #120: Pull request #753 synchronize by dc-mak
December 10, 2024 20:08 16m 21s dc-mak:tidy-definitions
dc-mak:tidy-definitions
December 10, 2024 20:08 16m 21s
Rename ResourceTypes to Request CN Proof #119: Commit 109600d pushed by dc-mak
December 10, 2024 19:39 17m 31s master
master
December 10, 2024 19:39 17m 31s
CN: Tidy definitions CN Proof #118: Pull request #753 opened by dc-mak
December 10, 2024 19:05 16m 8s dc-mak:tidy-definitions
dc-mak:tidy-definitions
December 10, 2024 19:05 16m 8s
CN: Tidy resource types CN Proof #117: Pull request #750 synchronize by dc-mak
December 10, 2024 19:05 16m 45s dc-mak:tidy-resourceTypes
dc-mak:tidy-resourceTypes
December 10, 2024 19:05 16m 45s
CN: Tidy resource types CN Proof #116: Pull request #750 synchronize by dc-mak
December 10, 2024 19:03 2m 10s dc-mak:tidy-resourceTypes
dc-mak:tidy-resourceTypes
December 10, 2024 19:03 2m 10s
CN: Tidy resource types CN Proof #115: Pull request #750 synchronize by dc-mak
December 10, 2024 19:02 55s dc-mak:tidy-resourceTypes
dc-mak:tidy-resourceTypes
December 10, 2024 19:02 55s
[CN-Test-Gen] Allow controlling progress output (#751) CN Proof #114: Commit cc1bd05 pushed by ZippeyKeys12
December 10, 2024 17:53 16m 18s master
master
December 10, 2024 17:53 16m 18s
[CN-Test-Gen] Allow controlling progress output (--progress-level) CN Proof #113: Pull request #751 opened by ZippeyKeys12
December 10, 2024 17:35 16m 40s ZippeyKeys12:cn-test-gen-disable-dynamic-progress
ZippeyKeys12:cn-test-gen-disable-dynamic-progress
December 10, 2024 17:35 16m 40s
CN: Tidy resource types CN Proof #112: Pull request #750 opened by dc-mak
December 10, 2024 15:32 16m 12s dc-mak:tidy-resourceTypes
dc-mak:tidy-resourceTypes
December 10, 2024 15:32 16m 12s
CN VIP: Use record for base and size in Alloc CN Proof #111: Commit 1425590 pushed by dc-mak
December 10, 2024 15:30 16m 9s master
master
December 10, 2024 15:30 16m 9s
[CN-Test-Gen] Add input discard timeout (#747) CN Proof #110: Commit d5c47f3 pushed by ZippeyKeys12
December 10, 2024 15:09 16m 54s master
master
December 10, 2024 15:09 16m 54s
[CN-Test-Gen] Add input discard timeout CN Proof #109: Pull request #747 opened by ZippeyKeys12
December 10, 2024 14:49 16m 54s ZippeyKeys12:cn-test-gen-timeout
ZippeyKeys12:cn-test-gen-timeout
December 10, 2024 14:49 16m 54s
CN VIP: Tidy up loc info for Alloc CN Proof #108: Pull request #746 synchronize by dc-mak
December 10, 2024 14:02 16m 57s dc-mak:tidy-alloc-loc
dc-mak:tidy-alloc-loc
December 10, 2024 14:02 16m 57s
CN VIP: Tidy up loc info for Alloc CN Proof #107: Pull request #746 opened by dc-mak
December 10, 2024 13:36 16m 33s dc-mak:tidy-alloc-loc
dc-mak:tidy-alloc-loc
December 10, 2024 13:36 16m 33s
[CN-Test-Gen] Note if error comes from cn-exec (#734) CN Proof #106: Commit 3618709 pushed by ZippeyKeys12
December 10, 2024 11:38 16m 16s master
master
December 10, 2024 11:38 16m 16s
CN VIP: Clarify tests CN Proof #105: Commit 3a7897a pushed by dc-mak
December 9, 2024 23:21 15m 58s master
master
December 9, 2024 23:21 15m 58s
CN VIP: Clarify tests CN Proof #104: Pull request #732 synchronize by dc-mak
December 9, 2024 14:48 16m 51s dc-mak:cn-vip-clarify-tests
dc-mak:cn-vip-clarify-tests
December 9, 2024 14:48 16m 51s
tentatively tweak z3 solver parameter, as suggested by Can C (#744) CN Proof #103: Commit fe99f7d pushed by cp526
December 6, 2024 17:44 16m 16s master
master
December 6, 2024 17:44 16m 16s
tentatively tweak z3 solver parameter, as suggested by Can C CN Proof #102: Pull request #744 opened by cp526
December 6, 2024 17:12 16m 6s cp526:z3-solver-parameter-tweak-1
cp526:z3-solver-parameter-tweak-1
December 6, 2024 17:12 16m 6s
fix formatting (#743) CN Proof #101: Commit 6029b76 pushed by cp526
December 6, 2024 13:37 17m 51s master
master
December 6, 2024 13:37 17m 51s
fix formatting CN Proof #100: Pull request #743 opened by cp526
December 6, 2024 13:37 18m 30s cp526:fix-cn-formatting
cp526:fix-cn-formatting
December 6, 2024 13:37 18m 30s
add command line flag to optionally disable learning constraints from… CN Proof #99: Commit 36582a6 pushed by cp526
December 6, 2024 13:26 3m 21s master
master
December 6, 2024 13:26 3m 21s
add command line flag to optionally disable learning constraints from… CN Proof #98: Pull request #742 opened by cp526
December 6, 2024 13:26 3m 32s optionally-disable-resource-derived-constraints
optionally-disable-resource-derived-constraints
December 6, 2024 13:26 3m 32s