Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
520 workflow runs
520 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Monads: refactor reader_option and nondet connection Proof PR #2722: Pull request #722 synchronize by corlewis
February 25, 2024 01:11 2h 30m 9s
February 25, 2024 01:11 2h 30m 9s
Monads: refactor reader_option and nondet connection Proof PR #2721: Pull request #722 opened by corlewis
February 24, 2024 23:54 3h 32m 9s
February 24, 2024 23:54 3h 32m 9s
pull Simpl update from AFP 2023 Proof PR #2720: Pull request #717 synchronize by lsf37
February 21, 2024 09:50 3h 21m 47s
February 21, 2024 09:50 3h 21m 47s
Some more rules for Lib Proof PR #2719: Pull request #720 synchronize by michaelmcinerney
February 21, 2024 06:33 3h 30m 33s
February 21, 2024 06:33 3h 30m 33s
Enlarge the trace monad rule set for RG logic Proof PR #2718: Pull request #721 opened by corlewis
February 21, 2024 05:44 3h 34m 3s
February 21, 2024 05:44 3h 34m 3s
monads/wp: update checks for when to trace wp Proof PR #2717: Pull request #719 synchronize by corlewis
February 21, 2024 05:04 3h 23m 43s
February 21, 2024 05:04 3h 23m 43s
More progress on completing the trace monad rule set Proof PR #2716: Pull request #696 synchronize by corlewis
February 21, 2024 04:58 4h 6m 10s
February 21, 2024 04:58 4h 6m 10s
Some more rules for Lib Proof PR #2715: Pull request #720 synchronize by michaelmcinerney
February 21, 2024 04:17 3h 55m 51s
February 21, 2024 04:17 3h 55m 51s
pull Simpl update from AFP 2023 Proof PR #2714: Pull request #717 synchronize by lsf37
February 21, 2024 02:59 2h 35m 9s
February 21, 2024 02:59 2h 35m 9s
Some more rules for Lib Proof PR #2713: Pull request #720 opened by michaelmcinerney
February 20, 2024 23:57 3h 38m 40s
February 20, 2024 23:57 3h 38m 40s
More progress on completing the trace monad rule set Proof PR #2712: Pull request #696 synchronize by corlewis
February 20, 2024 23:25 5h 32m 52s
February 20, 2024 23:25 5h 32m 52s
More progress on completing the trace monad rule set Proof PR #2711: Pull request #696 synchronize by corlewis
February 20, 2024 23:07 3h 54m 53s
February 20, 2024 23:07 3h 54m 53s
monads/wp: update checks for when to trace wp Proof PR #2710: Pull request #719 opened by corlewis
February 19, 2024 04:27 3h 20m 12s
February 19, 2024 04:27 3h 20m 12s
Improve monads documentation Proof PR #2709: Pull request #718 opened by corlewis
February 19, 2024 04:21 2h 38m 28s
February 19, 2024 04:21 2h 38m 28s
pull Simpl update from AFP 2023 Proof PR #2708: Pull request #717 synchronize by lsf37
February 18, 2024 08:54 3h 15m 22s
February 18, 2024 08:54 3h 15m 22s
pull Simpl update from AFP 2023 Proof PR #2707: Pull request #717 synchronize by lsf37
February 18, 2024 08:47 7m 5s
February 18, 2024 08:47 7m 5s
pull Simpl update from AFP 2023 Proof PR #2706: Pull request #717 opened by lsf37
February 18, 2024 08:44 10m 26s
February 18, 2024 08:44 10m 26s
capdl: refactor tcb_slots Proof PR #2705: Pull request #716 synchronize by corlewis
February 16, 2024 01:24 40m 4s
February 16, 2024 01:24 40m 4s
capdl: refactor tcb_slots Proof PR #2704: Pull request #716 opened by corlewis
February 16, 2024 01:11 26m 21s
February 16, 2024 01:11 26m 21s
github: make sure artifact names are unique Proof PR #2703: Pull request #714 opened by lsf37
February 8, 2024 08:31 14m 58s
February 8, 2024 08:31 14m 58s
GitHub workflow updates Proof PR #2702: Pull request #712 opened by lsf37
February 3, 2024 03:04 15m 37s
February 3, 2024 03:04 15m 37s
More progress on completing the trace monad rule set Proof PR #2701: Pull request #696 synchronize by corlewis
January 31, 2024 23:34 3h 38m 5s
January 31, 2024 23:34 3h 38m 5s
c-parser: turn README into main C-parser website Proof PR #2700: Commit a71f90a pushed by lsf37
January 30, 2024 08:20 13m 42s rt
rt
January 30, 2024 08:20 13m 42s
cherry-pick CI and docs commits from master into rt Proof PR #2699: Pull request #711 opened by lsf37
January 30, 2024 06:58 14m 0s
January 30, 2024 06:58 14m 0s
Ensure that umm_types.txt is saved relative to theory file. Proof PR #2698: Pull request #674 synchronize by lsf37
January 27, 2024 07:42 6h 24m 24s
January 27, 2024 07:42 6h 24m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-01-27 or the other filters available.