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
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN VIP: Clarify tests CN Spec Testing #84: Pull request #732 opened by dc-mak
December 3, 2024 13:54 25s dc-mak:cn-vip-clarify-tests
dc-mak:cn-vip-clarify-tests
December 3, 2024 13:54 25s
Fix run-cn.sh (#726) CN Spec Testing #83: Commit ede24dc pushed by dc-mak
November 23, 2024 20:57 4m 13s master
master
November 23, 2024 20:57 4m 13s
Fix run-cn.sh CN Spec Testing #82: Pull request #726 opened by dc-mak
November 23, 2024 20:57 4m 22s fix-run-cn
fix-run-cn
November 23, 2024 20:57 4m 22s
Update README.md - add links to papers (#725) CN Spec Testing #81: Commit 263ec7f pushed by PeterSewell
November 23, 2024 07:47 4m 15s master
master
November 23, 2024 07:47 4m 15s
Update README.md - add links to papers CN Spec Testing #80: Pull request #725 opened by PeterSewell
November 23, 2024 07:47 4m 13s PeterSewell-patch-2-1
PeterSewell-patch-2-1
November 23, 2024 07:47 4m 13s
Update README.md (#724) CN Spec Testing #79: Commit 384bddc pushed by PeterSewell
November 23, 2024 07:18 5m 28s master
master
November 23, 2024 07:18 5m 28s
Update CN README.md CN Spec Testing #78: Pull request #724 opened by PeterSewell
November 23, 2024 07:17 5m 19s PeterSewell-patch-1
PeterSewell-patch-1
November 23, 2024 07:17 5m 19s
[CN-exec] Runtime loop invariants CN Spec Testing #77: Pull request #723 synchronize by rbanerjee20
November 22, 2024 01:10 4m 24s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 22, 2024 01:10 4m 24s
[CN-exec] Runtime loop invariants CN Spec Testing #76: Pull request #723 synchronize by rbanerjee20
November 21, 2024 16:19 4m 22s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 21, 2024 16:19 4m 22s
[CN-exec] Runtime loop invariants CN Spec Testing #75: Pull request #723 synchronize by rbanerjee20
November 21, 2024 16:17 1m 57s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 21, 2024 16:17 1m 57s
[CN-exec] Runtime loop invariants CN Spec Testing #74: Pull request #723 synchronize by rbanerjee20
November 21, 2024 15:10 4m 25s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 21, 2024 15:10 4m 25s
[CN-exec] Runtime loop invariants CN Spec Testing #73: Pull request #723 synchronize by rbanerjee20
November 21, 2024 12:20 4m 52s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 21, 2024 12:20 4m 52s
CN: Parallelise and caputure output in CN CI (#703) CN Spec Testing #72: Commit 4cc6b59 pushed by dc-mak
November 21, 2024 08:24 4m 51s master
master
November 21, 2024 08:24 4m 51s
Fix z3 install and CN tests for Dockerfiles (#712) CN Spec Testing #71: Commit 21ec7e0 pushed by dc-mak
November 21, 2024 08:20 4m 2s master
master
November 21, 2024 08:20 4m 2s
[CN-exec] Runtime loop invariants CN Spec Testing #70: Pull request #723 opened by rbanerjee20
November 20, 2024 18:44 3m 59s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 20, 2024 18:44 3m 59s
CN: record additional loop location information for loops in mucore (… CN Spec Testing #69: Commit ac768bd pushed by cp526
November 19, 2024 14:39 4m 13s master
master
November 19, 2024 14:39 4m 13s
CN: record additional loop location information for loops in mucore CN Spec Testing #68: Pull request #718 opened by cp526
November 19, 2024 14:17 4m 17s cp526:more-loop-location-information
cp526:more-loop-location-information
November 19, 2024 14:17 4m 17s
[CN-Test-Gen] More pointer specialization CN Spec Testing #67: Commit 2ea7a65 pushed by ZippeyKeys12
November 19, 2024 07:24 4m 32s master
master
November 19, 2024 07:24 4m 32s
[CN-Test-Gen] Pointer fixes and improvements CN Spec Testing #66: Pull request #717 opened by ZippeyKeys12
November 18, 2024 22:38 4m 11s ZippeyKeys12:cn-test-gen-pointer-fixes
ZippeyKeys12:cn-test-gen-pointer-fixes
November 18, 2024 22:38 4m 11s
Fix z3 install and CN tests for Dockerfiles CN Spec Testing #65: Pull request #712 synchronize by podhrmic
November 18, 2024 16:45 5m 16s podhrmic:redhat-fix
podhrmic:redhat-fix
November 18, 2024 16:45 5m 16s
CN: Parallelise and caputure output in CN CI CN Spec Testing #64: Pull request #703 synchronize by dc-mak
November 15, 2024 10:12 6m 12s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 15, 2024 10:12 6m 12s
CN: Parallelise and caputure output in CN CI CN Spec Testing #63: Pull request #703 synchronize by dc-mak
November 14, 2024 12:06 4m 28s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 14, 2024 12:06 4m 28s
CN: Parallelise and caputure output in CN CI CN Spec Testing #62: Pull request #703 synchronize by dc-mak
November 14, 2024 11:36 4m 29s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 14, 2024 11:36 4m 29s
CN: Parallelise and caputure output in CN CI CN Spec Testing #61: Pull request #703 synchronize by dc-mak
November 14, 2024 10:59 4m 24s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 14, 2024 10:59 4m 24s
CN: Parallelise and caputure output in CN CI CN Spec Testing #60: Pull request #703 synchronize by dc-mak
November 13, 2024 19:18 4m 20s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 13, 2024 19:18 4m 20s