Skip to content

Actions: rems-project/cerberus

Actions

CN Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn-bench.yml
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN: Tidy up function specification parsing (#889) CN Benchmarks #89: Commit 20f55e1 pushed by dc-mak
February 27, 2025 10:38 7m 32s master
master
February 27, 2025 10:38 7m 32s
[CN-exec] Runtime loop invariants (#884) CN Benchmarks #88: Commit a082bc5 pushed by rbanerjee20
February 26, 2025 18:09 7m 58s master
master
February 26, 2025 18:09 7m 58s
Bump setup-qemu-action to 3.4.0 (#887) CN Benchmarks #87: Commit 7475359 pushed by dc-mak
February 26, 2025 10:55 19m 1s master
master
February 26, 2025 10:55 19m 1s
Ignore LibCN formatting PR for blame (#885) CN Benchmarks #86: Commit d995085 pushed by ZippeyKeys12
February 24, 2025 01:18 7m 35s master
master
February 24, 2025 01:18 7m 35s
[CI] Check LibCN formatting CN Benchmarks #85: Commit e961f6e pushed by ZippeyKeys12
February 24, 2025 00:33 7m 48s master
master
February 24, 2025 00:33 7m 48s
Resource inference logging (with Coq export) (#878) CN Benchmarks #84: Commit fe137a7 pushed by cp526
February 19, 2025 08:31 8m 13s master
master
February 19, 2025 08:31 8m 13s
cerberus: remove errant ':w' from filename CN Benchmarks #83: Commit 244ac5b pushed by kmemarian
February 19, 2025 07:02 7m 49s master
master
February 19, 2025 07:02 7m 49s
[CN-Exec] Fix bump padding on new block (#881) CN Benchmarks #82: Commit 4779444 pushed by ZippeyKeys12
February 18, 2025 22:35 7m 43s master
master
February 18, 2025 22:35 7m 43s
[CN-Seq-Test] Add cn seq_test (#855) CN Benchmarks #81: Commit bcf8c87 pushed by ZippeyKeys12
February 18, 2025 18:33 8m 29s master
master
February 18, 2025 18:33 8m 29s
[CN-Test-Gen] Various tweaks and nitpicks (#877) CN Benchmarks #80: Commit 71ed0aa pushed by ZippeyKeys12
February 17, 2025 19:37 8m 19s master
master
February 17, 2025 19:37 8m 19s
[CN-Test-Gen] Parallelize CI tests via make -j (#876) CN Benchmarks #79: Commit 31226c8 pushed by ZippeyKeys12
February 16, 2025 05:58 7m 44s master
master
February 16, 2025 05:58 7m 44s
[CN-Test-Gen] More test case sizing strategies (#871) CN Benchmarks #78: Commit ba4a383 pushed by ZippeyKeys12
February 13, 2025 21:43 8m 17s master
master
February 13, 2025 21:43 8m 17s
[CI] Cache cerberus-lib.opam dependencies (#869) CN Benchmarks #77: Commit d121f04 pushed by ZippeyKeys12
February 13, 2025 04:00 12m 6s master
master
February 13, 2025 04:00 12m 6s
[CN-Exec/CN-Test-Gen] Configurable trace granularity (#867) CN Benchmarks #76: Commit 3a7da3d pushed by ZippeyKeys12
February 13, 2025 02:22 9m 14s master
master
February 13, 2025 02:22 9m 14s
[CN-Exec] Add reset_fulminate for initialization CN Benchmarks #75: Commit 99b260a pushed by ZippeyKeys12
February 13, 2025 01:27 12m 19s master
master
February 13, 2025 01:27 12m 19s
[CI] Remove redundant opam switch create (#865) CN Benchmarks #74: Commit 94c5aa1 pushed by ZippeyKeys12
February 13, 2025 00:55 9m 47s master
master
February 13, 2025 00:55 9m 47s
[CI] Fix CI caching for Cerberus and Cerberus-CHERI (#864) CN Benchmarks #73: Commit b949ca0 pushed by ZippeyKeys12
February 12, 2025 21:28 12m 27s master
master
February 12, 2025 21:28 12m 27s
[CN-Test-Gen] Allocator cleanup and fixes CN Benchmarks #72: Commit c935516 pushed by ZippeyKeys12
February 5, 2025 20:16 7m 59s master
master
February 5, 2025 20:16 7m 59s
[CN-Test-Gen] Add TESTING.md CN Benchmarks #71: Commit d7d4e67 pushed by ZippeyKeys12
January 29, 2025 18:49 8m 14s master
master
January 29, 2025 18:49 8m 14s
Makes cached model evaluator solver resetable (#833) CN Benchmarks #70: Commit 8d2d1f5 pushed by cp526
January 28, 2025 22:45 7m 49s master
master
January 28, 2025 22:45 7m 49s
[CN-Test-Gen] Fix simplifying of != (#835) CN Benchmarks #69: Commit e9a9261 pushed by ZippeyKeys12
January 23, 2025 23:13 8m 59s master
master
January 23, 2025 23:13 8m 59s
add opam version (#817) CN Benchmarks #68: Commit 3567800 pushed by cp526
January 14, 2025 14:26 8m 29s master
master
January 14, 2025 14:26 8m 29s
Change translation to work around CVC5 limitation. (#826) CN Benchmarks #67: Commit f1782db pushed by cp526
January 14, 2025 12:09 8m 8s master
master
January 14, 2025 12:09 8m 8s
Add missing bits for supporting default in executable specs. (#814) CN Benchmarks #66: Commit f662db6 pushed by yav
January 10, 2025 22:42 8m 24s master
master
January 10, 2025 22:42 8m 24s
[CN-Exec] Add UBSan (w/o alignment) to CI (#825) CN Benchmarks #65: Commit 8b22b2b pushed by ZippeyKeys12
January 9, 2025 17:41 8m 13s master
master
January 9, 2025 17:41 8m 13s