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

Add z3new as solver type command line flag, which sets sat.smt=true. CN Proof #97: Pull request #741 opened by cp526
December 6, 2024 12:08 27s z3-options
z3-options
December 6, 2024 12:08 27s
fixed Coq version (it does not compile with 8.19) CN Proof #96: Commit 9805673 pushed by vzaliva
December 6, 2024 01:16 17m 41s master
master
December 6, 2024 01:16 17m 41s
fixed Coq version (it does not compile with 8.19) CN Proof #95: Pull request #740 opened by vzaliva
December 5, 2024 21:31 17m 44s vzaliva:master
vzaliva:master
December 5, 2024 21:31 17m 44s
[CN-Test-Gen] Control backtracks from size splits CN Proof #94: Commit dc6bf28 pushed by ZippeyKeys12
December 5, 2024 02:02 17m 44s master
master
December 5, 2024 02:02 17m 44s
[CN-Test-Gen] Allow random splitting of generator sizes CN Proof #93: Pull request #733 synchronize by ZippeyKeys12
December 5, 2024 01:35 18m 16s ZippeyKeys12:cn-test-gen-size-splitting
ZippeyKeys12:cn-test-gen-size-splitting
December 5, 2024 01:35 18m 16s
[CN-Test-Gen] Allow random splitting of generator sizes CN Proof #92: Pull request #733 synchronize by ZippeyKeys12
December 4, 2024 20:08 17m 50s ZippeyKeys12:cn-test-gen-size-splitting
ZippeyKeys12:cn-test-gen-size-splitting
December 4, 2024 20:08 17m 50s
[CN-Test-Gen] Tell user whether an error is from instrumentation or generators CN Proof #91: Pull request #734 synchronize by ZippeyKeys12
December 4, 2024 20:08 18m 27s ZippeyKeys12:cn-test-gen-error-guidance
ZippeyKeys12:cn-test-gen-error-guidance
December 4, 2024 20:08 18m 27s
CHERI CI dependency fix (#737) CN Proof #90: Commit 6059ddd pushed by ZippeyKeys12
December 4, 2024 20:07 17m 39s master
master
December 4, 2024 20:07 17m 39s
CHERI CI dependency fix CN Proof #89: Pull request #737 synchronize by vzaliva
December 4, 2024 18:43 17m 32s vzaliva:Fix-736
vzaliva:Fix-736
December 4, 2024 18:43 17m 32s
CHERI CI dependency fix CN Proof #88: Pull request #737 opened by vzaliva
December 4, 2024 18:35 1m 17s vzaliva:Fix-736
vzaliva:Fix-736
December 4, 2024 18:35 1m 17s
Trying to fix CI... CN Proof #87: Pull request #735 opened by ZippeyKeys12
December 4, 2024 05:26 18m 31s ZippeyKeys12:ci-fix-dec4
ZippeyKeys12:ci-fix-dec4
December 4, 2024 05:26 18m 31s
[CN-Test-Gen] Tell user whether an error is from instrumentation or generators CN Proof #86: Pull request #734 opened by ZippeyKeys12
December 4, 2024 05:18 38s ZippeyKeys12:cn-test-gen-error-guidance
ZippeyKeys12:cn-test-gen-error-guidance
December 4, 2024 05:18 38s
[CN-Test-Gen] Allow random splitting of generator sizes CN Proof #85: Pull request #733 opened by ZippeyKeys12
December 3, 2024 22:32 24s ZippeyKeys12:cn-test-gen-size-splitting
ZippeyKeys12:cn-test-gen-size-splitting
December 3, 2024 22:32 24s
CN VIP: Clarify tests CN Proof #84: Pull request #732 opened by dc-mak
December 3, 2024 13:54 30s dc-mak:cn-vip-clarify-tests
dc-mak:cn-vip-clarify-tests
December 3, 2024 13:54 30s
Fix run-cn.sh (#726) CN Proof #83: Commit ede24dc pushed by dc-mak
November 23, 2024 20:57 17m 29s master
master
November 23, 2024 20:57 17m 29s
Fix run-cn.sh CN Proof #82: Pull request #726 opened by dc-mak
November 23, 2024 20:57 17m 44s fix-run-cn
fix-run-cn
November 23, 2024 20:57 17m 44s
Update README.md - add links to papers (#725) CN Proof #81: Commit 263ec7f pushed by PeterSewell
November 23, 2024 07:47 18m 42s master
master
November 23, 2024 07:47 18m 42s
Update README.md - add links to papers CN Proof #80: Pull request #725 opened by PeterSewell
November 23, 2024 07:47 17m 29s PeterSewell-patch-2-1
PeterSewell-patch-2-1
November 23, 2024 07:47 17m 29s
Update README.md (#724) CN Proof #79: Commit 384bddc pushed by PeterSewell
November 23, 2024 07:18 17m 54s master
master
November 23, 2024 07:18 17m 54s
Update CN README.md CN Proof #78: Pull request #724 opened by PeterSewell
November 23, 2024 07:17 17m 44s PeterSewell-patch-1
PeterSewell-patch-1
November 23, 2024 07:17 17m 44s
[CN-exec] Runtime loop invariants CN Proof #77: Pull request #723 synchronize by rbanerjee20
November 22, 2024 01:10 18m 26s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 22, 2024 01:10 18m 26s
[CN-exec] Runtime loop invariants CN Proof #76: Pull request #723 synchronize by rbanerjee20
November 21, 2024 16:19 18m 38s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 21, 2024 16:19 18m 38s
[CN-exec] Runtime loop invariants CN Proof #75: Pull request #723 synchronize by rbanerjee20
November 21, 2024 16:17 1m 56s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 21, 2024 16:17 1m 56s
[CN-exec] Runtime loop invariants CN Proof #74: Pull request #723 synchronize by rbanerjee20
November 21, 2024 15:10 3m 11s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 21, 2024 15:10 3m 11s
[CN-exec] Runtime loop invariants CN Proof #73: Pull request #723 synchronize by rbanerjee20
November 21, 2024 12:20 3m 28s rbanerjee20:runtime-loop-invariants
rbanerjee20:runtime-loop-invariants
November 21, 2024 12:20 3m 28s