Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
538 workflow runs
538 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use projections in schedulable Proof PR #3200: Pull request #855 synchronize by michaelmcinerney
February 28, 2025 09:07 11m 18s
February 28, 2025 09:07 11m 18s
Use projections in schedulable Proof PR #3199: Pull request #855 synchronize by michaelmcinerney
February 27, 2025 09:28 1h 21m 18s
February 27, 2025 09:28 1h 21m 18s
Add GIC v3 support for AArch64 platforms Proof PR #3198: Pull request #846 synchronize by lsf37
February 27, 2025 04:40 28s
February 27, 2025 04:40 28s
Add GIC v3 support for AArch64 platforms Proof PR #3197: Pull request #846 synchronize by lsf37
February 27, 2025 04:21 19m 31s
February 27, 2025 04:21 19m 31s
lib: add gets_gets_the_corres_ex_abs' to ExtraCorres Proof PR #3196: Pull request #859 opened by michaelmcinerney
February 27, 2025 00:36 3h 30m 4s
February 27, 2025 00:36 3h 30m 4s
Use projections in schedulable Proof PR #3195: Pull request #855 synchronize by michaelmcinerney
February 27, 2025 00:34 2h 54m 42s
February 27, 2025 00:34 2h 54m 42s
Use projections in schedulable Proof PR #3194: Pull request #855 synchronize by michaelmcinerney
February 27, 2025 00:22 11m 3s
February 27, 2025 00:22 11m 3s
Add GIC v3 support for AArch64 platforms Proof PR #3193: Pull request #846 synchronize by lsf37
February 26, 2025 23:44 3h 24m 57s
February 26, 2025 23:44 3h 24m 57s
clib: move ccorres_cond_both' to CCorresLemmas Proof PR #3192: Pull request #856 synchronize by michaelmcinerney
February 26, 2025 14:02 1h 28m 26s
February 26, 2025 14:02 1h 28m 26s
Rules for Lib, February '25 edition Proof PR #3191: Pull request #857 synchronize by michaelmcinerney
February 26, 2025 10:25 3h 8m 57s
February 26, 2025 10:25 3h 8m 57s
Add GIC v3 support for AArch64 platforms Proof PR #3190: Pull request #846 synchronize by lsf37
February 26, 2025 04:49 3h 38m 16s
February 26, 2025 04:49 3h 38m 16s
Use projections in schedulable Proof PR #3189: Pull request #855 synchronize by michaelmcinerney
February 26, 2025 04:21 43s
February 26, 2025 04:21 43s
Rules for Lib, February '25 edition Proof PR #3188: Pull request #857 synchronize by michaelmcinerney
February 26, 2025 01:55 3h 24m 58s
February 26, 2025 01:55 3h 24m 58s
Rules for Lib, February '25 edition Proof PR #3187: Pull request #857 synchronize by michaelmcinerney
February 25, 2025 09:10 3h 1m 46s
February 25, 2025 09:10 3h 1m 46s
Small IPC lemmas Proof PR #3186: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 01:46 13m 24s
February 25, 2025 01:46 13m 24s
Rules for Lib, February '25 edition Proof PR #3185: Pull request #857 opened by michaelmcinerney
February 25, 2025 01:42 3h 13m 48s
February 25, 2025 01:42 3h 13m 48s
clib: move ccorres_cond_both' to CCorresLemmas Proof PR #3184: Pull request #856 opened by michaelmcinerney
February 25, 2025 00:44 2h 2m 31s
February 25, 2025 00:44 2h 2m 31s
Add GIC v3 support for AArch64 platforms Proof PR #3183: Pull request #846 synchronize by lsf37
February 25, 2025 00:19 3h 11m 26s
February 25, 2025 00:19 3h 11m 26s
Add GIC v3 support for AArch64 platforms Proof PR #3182: Pull request #846 synchronize by lsf37
February 25, 2025 00:07 11m 49s
February 25, 2025 00:07 11m 49s
Small IPC lemmas Proof PR #3181: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 00:04 1h 15m 44s
February 25, 2025 00:04 1h 15m 44s
Small IPC lemmas Proof PR #3180: Pull request #822 synchronize by michaelmcinerney
February 24, 2025 02:16 2h 15m 49s
February 24, 2025 02:16 2h 15m 49s
Use projections in schedulable Proof PR #3179: Pull request #855 opened by michaelmcinerney
February 24, 2025 01:50 2h 26m 30s
February 24, 2025 01:50 2h 26m 30s
refill_budget_check_ccorres Proof PR #3178: Pull request #821 synchronize by michaelmcinerney
February 19, 2025 02:59 11m 30s
February 19, 2025 02:59 11m 30s
refill_budget_check_ccorres Proof PR #3177: Pull request #821 synchronize by michaelmcinerney
February 19, 2025 00:34 2h 4m 38s
February 19, 2025 00:34 2h 4m 38s
refill_budget_check_ccorres Proof PR #3176: Pull request #821 synchronize by michaelmcinerney
February 19, 2025 00:16 2h 11m 31s
February 19, 2025 00:16 2h 11m 31s