Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
41 workflow run results
41 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test and docs for corres method + slight tweaks for the same Proof PR #2567: Pull request #656 synchronize by lsf37
August 30, 2023 14:12 3h 53m 31s
August 30, 2023 14:12 3h 53m 31s
refinement proof for AArch64 Proof PR #2566: Pull request #668 synchronize by lsf37
August 29, 2023 18:59 1h 2m 54s
August 29, 2023 18:59 1h 2m 54s
refinement proof for AArch64 Proof PR #2565: Pull request #668 synchronize by lsf37
August 29, 2023 06:59 41m 11s
August 29, 2023 06:59 41m 11s
refinement proof for AArch64 Proof PR #2564: Pull request #668 synchronize by lsf37
August 28, 2023 13:30 7h 25m 21s
August 28, 2023 13:30 7h 25m 21s
refinement proof for AArch64 Proof PR #2563: Pull request #668 opened by lsf37
August 28, 2023 12:52 3h 56m 12s
August 28, 2023 12:52 3h 56m 12s
Progress on completing the trace monad rule set Proof PR #2562: Pull request #667 synchronize by corlewis
August 28, 2023 09:09 4h 30m 3s
August 28, 2023 09:09 4h 30m 3s
Progress on completing the trace monad rule set Proof PR #2561: Pull request #667 opened by corlewis
August 24, 2023 06:16 4h 10m 28s
August 24, 2023 06:16 4h 10m 28s
More Nondet Monad improvements Proof PR #2560: Pull request #666 opened by corlewis
August 23, 2023 02:05 4h 12m 6s
August 23, 2023 02:05 4h 12m 6s
Trace Monad refactor Proof PR #2559: Pull request #664 synchronize by corlewis
August 23, 2023 01:51 18m 5s
August 23, 2023 01:51 18m 5s
Trace Monad refactor Proof PR #2558: Pull request #664 synchronize by corlewis
August 22, 2023 10:08 17m 25s
August 22, 2023 10:08 17m 25s
Minor Nondet Monad improvements Proof PR #2557: Pull request #665 synchronize by corlewis
August 22, 2023 10:03 4h 29m 12s
August 22, 2023 10:03 4h 29m 12s
Trace Monad refactor Proof PR #2556: Pull request #664 synchronize by corlewis
August 21, 2023 02:02 20m 8s
August 21, 2023 02:02 20m 8s
Trace Monad refactor Proof PR #2555: Pull request #664 synchronize by corlewis
August 18, 2023 06:56 1h 17m 52s
August 18, 2023 06:56 1h 17m 52s
Trace Monad refactor Proof PR #2554: Pull request #664 synchronize by corlewis
August 18, 2023 06:47 13m 40s
August 18, 2023 06:47 13m 40s
Trace Monad refactor Proof PR #2553: Pull request #664 synchronize by corlewis
August 18, 2023 03:18 3h 44m 59s
August 18, 2023 03:18 3h 44m 59s
Minor Nondet Monad improvements Proof PR #2552: Pull request #665 synchronize by corlewis
August 18, 2023 02:39 4h 7m 11s
August 18, 2023 02:39 4h 7m 11s
Improve corres rules whileLoop Proof PR #2551: Pull request #650 synchronize by michaelmcinerney
August 17, 2023 15:07 4h 44m 9s
August 17, 2023 15:07 4h 44m 9s
Trace Monad refactor Proof PR #2550: Pull request #664 synchronize by corlewis
August 15, 2023 03:10 1h 13m 16s
August 15, 2023 03:10 1h 13m 16s
Trace Monad refactor Proof PR #2549: Pull request #664 synchronize by corlewis
August 15, 2023 00:23 3h 42m 42s
August 15, 2023 00:23 3h 42m 42s
Minor Nondet Monad improvements Proof PR #2548: Pull request #665 synchronize by corlewis
August 15, 2023 00:22 3h 54m 26s
August 15, 2023 00:22 3h 54m 26s
Minor Nondet Monad improvements Proof PR #2547: Pull request #665 synchronize by corlewis
August 14, 2023 11:10 3h 46m 9s
August 14, 2023 11:10 3h 46m 9s
Minor Nondet Monad improvements Proof PR #2546: Pull request #665 synchronize by corlewis
August 14, 2023 11:08 3m 27s
August 14, 2023 11:08 3m 27s
Trace Monad refactor Proof PR #2545: Pull request #664 synchronize by corlewis
August 14, 2023 10:39 2h 56m 51s
August 14, 2023 10:39 2h 56m 51s
Minor Nondet Monad improvements Proof PR #2544: Pull request #665 opened by corlewis
August 14, 2023 08:51 2h 17m 43s
August 14, 2023 08:51 2h 17m 43s
Trace Monad refactor Proof PR #2543: Pull request #664 opened by corlewis
August 14, 2023 08:50 1h 43m 19s
August 14, 2023 08:50 1h 43m 19s