Skip to content

Actions: mit-pdos/perennial

Actions

Commit mailbot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mailbot.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump external/iris from 5ab4a89 to 8c15c91 Commit mailbot #91: Commit 8aa673a pushed by dependabot bot
February 20, 2025 09:25 51s dependabot/submodules/external/iris-8c15c91
dependabot/submodules/external/iris-8c15c91
February 20, 2025 09:25 51s
Bump external/stdpp from 0b8ac81 to 0dbb394 Commit mailbot #90: Commit 14aa55a pushed by dependabot bot
February 18, 2025 09:47 49s dependabot/submodules/external/stdpp-0dbb394
dependabot/submodules/external/stdpp-0dbb394
February 18, 2025 09:47 49s
Prove lemmas for waitgroup ghost state Commit mailbot #89: Commit c58e28b pushed by upamanyus
February 17, 2025 20:32 49s master
master
February 17, 2025 20:32 49s
Fix Commit mailbot #88: Commit 623ab81 pushed by upamanyus
February 16, 2025 21:30 59s master
master
February 16, 2025 21:30 59s
Use own_crash_ex for durable states in paxos Commit mailbot #87: Commit d11cd6d pushed by yunshengtw
February 15, 2025 21:25 1m 1s master
master
February 15, 2025 21:25 1m 1s
Qed WaitGroup.Wait; simplify invariants a bit; give more intuitive names Commit mailbot #86: Commit bb35844 pushed by upamanyus
February 15, 2025 19:53 38s master
master
February 15, 2025 19:53 38s
Bump go and python versions (#174) Commit mailbot #85: Commit ff7b7cc pushed by tchajed
February 14, 2025 16:17 57s master
master
February 14, 2025 16:17 57s
ruff Commit mailbot #84: Commit 7d91280 pushed by tchajed
February 14, 2025 16:13 52s bump-go-python
bump-go-python
February 14, 2025 16:13 52s
Bump go and python versions Commit mailbot #83: Commit 8278812 pushed by tchajed
February 14, 2025 16:12 48s bump-go-python
bump-go-python
February 14, 2025 16:12 48s
Bump external/stdpp from cc5fd62 to 0b8ac81 Commit mailbot #82: Commit a6a13c2 pushed by dependabot bot
February 13, 2025 10:03 46s dependabot/submodules/external/stdpp-0b8ac81
dependabot/submodules/external/stdpp-0b8ac81
February 13, 2025 10:03 46s
Bump external/iris from 5ab4a89 to fe2122a Commit mailbot #81: Commit ddbabb7 pushed by dependabot bot
February 13, 2025 10:03 51s dependabot/submodules/external/iris-fe2122a
dependabot/submodules/external/iris-fe2122a
February 13, 2025 10:03 51s
Formulate semaphore invariant for waitgroup; Qed wp_WaitGroup__Add Commit mailbot #80: Commit cbb7355 pushed by upamanyus
February 12, 2025 17:53 50s master
master
February 12, 2025 17:53 50s
State and prove wp_runtime_Semacquire Commit mailbot #79: Commit 0ec849c pushed by upamanyus
February 12, 2025 17:00 50s master
master
February 12, 2025 17:00 50s
Support typed atomic load and store Commit mailbot #78: Commit e98c778 pushed by upamanyus
February 12, 2025 16:44 50s master
master
February 12, 2025 16:44 50s
Finally have a plausible proof plan for waitgroup; proving that the Commit mailbot #77: Commit ec2036b pushed by upamanyus
February 12, 2025 16:23 57s master
master
February 12, 2025 16:23 57s
Start verifying the real Go WaitGroup implementation, Commit mailbot #76: Commit f005e77 pushed by upamanyus
February 11, 2025 04:16 51s master
master
February 11, 2025 04:16 51s
Update dependencies Commit mailbot #75: Commit fd7de70 pushed by tchajed
February 10, 2025 17:25 44s master
master
February 10, 2025 17:25 44s
Bump external/iris from d4ffb57 to bf4146f Commit mailbot #74: Commit b784d63 pushed by dependabot bot
February 10, 2025 09:20 1m 2s dependabot/submodules/external/iris-bf4146f
dependabot/submodules/external/iris-bf4146f
February 10, 2025 09:20 1m 2s
Bump external/iris-named-props from 960a279 to 3cf2d97 Commit mailbot #73: Commit 912b375 pushed by dependabot bot
February 10, 2025 09:20 56s dependabot/submodules/external/iris-named-props-3cf2d97
dependabot/submodules/external/iris-named-props-3cf2d97
February 10, 2025 09:20 56s
Bump external/record-update from 2160f5a to da99719 Commit mailbot #72: Commit d0fe646 pushed by dependabot bot
February 10, 2025 09:20 1m 8s dependabot/submodules/external/record-update-da99719
dependabot/submodules/external/record-update-da99719
February 10, 2025 09:20 1m 8s
Start sketching out context Commit mailbot #71: Commit ed9becd pushed by upamanyus
February 7, 2025 22:15 47s master
master
February 7, 2025 22:15 47s
Make use of new interface comparison in NewSession Commit mailbot #70: Commit 2d78915 pushed by upamanyus
February 7, 2025 21:21 43s master
master
February 7, 2025 21:21 43s
Implement interface comparison more carefully; prove that it's always Commit mailbot #69: Commit 7693b9c pushed by upamanyus
February 7, 2025 21:10 51s master
master
February 7, 2025 21:10 51s
Regoose; more NewSession progress Commit mailbot #68: Commit a737ef9 pushed by upamanyus
February 7, 2025 19:24 44s master
master
February 7, 2025 19:24 44s
Re-proofgen to use type names rather than their underlying type defs; Commit mailbot #67: Commit bc4639c pushed by upamanyus
February 7, 2025 18:09 47s master
master
February 7, 2025 18:09 47s