Skip to content

Actions: rems-project/cerberus

Actions

CI Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-bench.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN VIP: Constrain global allocations CI Benchmarks #35: Commit 68b0b09 pushed by dc-mak
September 26, 2024 14:10 6m 36s master
master
September 26, 2024 14:10 6m 36s
Fix edge case in benchmarking CI Benchmarks #34: Commit e85a739 pushed by cp526
September 26, 2024 07:51 6m 4s master
master
September 26, 2024 07:51 6m 4s
[CN-exec] Fix anonymous records (#585) CI Benchmarks #33: Commit 98434f0 pushed by rbanerjee20
September 25, 2024 17:54 4m 11s master
master
September 25, 2024 17:54 4m 11s
disable that ci-pr-bench workflow CI Benchmarks #32: Commit 7bf378a pushed by cp526
September 25, 2024 15:50 4m 4s master
master
September 25, 2024 15:50 4m 4s
Try adding token permissions CI Benchmarks #31: Commit 8db0cb6 pushed by cp526
September 25, 2024 14:57 4m 22s master
master
September 25, 2024 14:57 4m 22s
CN VIP: Clarify pointer to int CI Benchmarks #30: Commit 3bac7c6 pushed by dc-mak
September 25, 2024 12:22 4m 47s master
master
September 25, 2024 12:22 4m 47s
CN VIP: Add int to pointer rules CI Benchmarks #29: Commit 6cc779a pushed by dc-mak
September 24, 2024 20:28 4m 4s master
master
September 24, 2024 20:28 4m 4s
CN VIP: Add live and bounds check to copy_alloc_id CI Benchmarks #28: Commit 95575f0 pushed by dc-mak
September 24, 2024 12:27 4m 6s master
master
September 24, 2024 12:27 4m 6s
[CN-Exec] Add convert_from_cn_map (#581) CI Benchmarks #27: Commit 2c4e255 pushed by ZippeyKeys12
September 24, 2024 04:24 4m 17s master
master
September 24, 2024 04:24 4m 17s
CN VIP: Add bounds checks for ptr relops CI Benchmarks #26: Commit c665b48 pushed by dc-mak
September 23, 2024 16:09 4m 19s master
master
September 23, 2024 16:09 4m 19s
CN VIP: Add bounds checks for shifting CI Benchmarks #25: Commit 69cc194 pushed by dc-mak
September 23, 2024 12:53 4m 9s master
master
September 23, 2024 12:53 4m 9s
Track total benchmark time in CI CI Benchmarks #24: Commit b9d2a5e pushed by cp526
September 23, 2024 09:59 4m 27s master
master
September 23, 2024 09:59 4m 27s
CHERI: fixing last Admit with new lemmas from coq-cheri-capabilies … CI Benchmarks #23: Commit a09536a pushed by kmemarian
September 17, 2024 17:44 38m 45s master
master
September 17, 2024 17:44 38m 45s
[CN-exec] Fix CN map set (#579) CI Benchmarks #22: Commit 0b1d379 pushed by rbanerjee20
September 17, 2024 10:17 4m 18s master
master
September 17, 2024 10:17 4m 18s
[CN-Exec] Conversions from C types for CN values (#578) CI Benchmarks #21: Commit 2d01aed pushed by rbanerjee20
September 17, 2024 10:08 4m 22s master
master
September 17, 2024 10:08 4m 22s
new UB: CHERI_UB_ZeroLength. flagged in cheri_bounds_set intrinsic CI Benchmarks #20: Commit 7c826ac pushed by kmemarian
September 15, 2024 01:32 40m 22s master
master
September 15, 2024 01:32 40m 22s
CHERI: adding ci tests for the new elaboration of readonly objects CI Benchmarks #19: Commit d218bd4 pushed by kmemarian
September 15, 2024 00:12 4m 2s master
master
September 15, 2024 00:12 4m 2s
[CN] Use only one global model evaluator solver (#547) CI Benchmarks #18: Commit 3c931f2 pushed by yav
September 12, 2024 21:04 4m 5s master
master
September 12, 2024 21:04 4m 5s
CN VIP: Refactor live alloc bounds check CI Benchmarks #17: Commit 5856000 pushed by dc-mak
September 12, 2024 05:42 4m 51s master
master
September 12, 2024 05:42 4m 51s
exclude those new tests from runtime checks, because something is goi… CI Benchmarks #16: Commit 9a71b71 pushed by cp526
September 11, 2024 23:45 5m 16s master
master
September 11, 2024 23:45 5m 16s
Fixes #563 (#570) CI Benchmarks #15: Commit 5df271d pushed by yav
September 11, 2024 21:53 6m 2s master
master
September 11, 2024 21:53 6m 2s
[CN-Exec] Adding cn_internal_to_ail.mli (#561) CI Benchmarks #14: Commit dcdc0ed pushed by ZippeyKeys12
September 11, 2024 18:42 5m 22s master
master
September 11, 2024 18:42 5m 22s
fix formatting CI Benchmarks #13: Commit cf6d760 pushed by cp526
September 11, 2024 13:05 5m 35s master
master
September 11, 2024 13:05 5m 35s
[CN] Flip WellTyped.use_ity default CI Benchmarks #12: Commit 5151a4f pushed by ZippeyKeys12
September 6, 2024 05:18 4m 42s master
master
September 6, 2024 05:18 4m 42s
CN: Combine the base types CI Benchmarks #11: Commit d4f79b6 pushed by dc-mak
September 4, 2024 21:09 5m 5s master
master
September 4, 2024 21:09 5m 5s