{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":173480464,"defaultBranch":"master","name":"perennial","ownerLogin":"mit-pdos","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-03-02T17:54:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12404246?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717004455.0","currentOid":""},"activityList":{"items":[{"before":"11b864a67a88098269400bef478171e182e5e2dc","after":"489e80643767329fe97740d553a29334e22cc417","ref":"refs/heads/master","pushedAt":"2024-05-29T18:37:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeldovich","name":"Nickolai Zeldovich","path":"/zeldovich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828308?s=80&v=4"},"commit":{"message":"update deps","shortMessageHtmlLink":"update deps"}},{"before":"f93a561236fe1c90d8183f6ade74e35082c76031","after":null,"ref":"refs/heads/controlflow","pushedAt":"2024-05-29T17:40:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"}},{"before":"aab1018b13453cd3980b68ed2743c975b1be1421","after":"11b864a67a88098269400bef478171e182e5e2dc","ref":"refs/heads/master","pushedAt":"2024-05-29T17:38:47.000Z","pushType":"pr_merge","commitsCount":21,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Merge pull request #68 from mit-pdos/controlflow\n\nAdded support for general control flow in Go using an exception monad","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2323872870\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-pdos/perennial/issues/68\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-pdos/perennial/pull/68/hovercard\" href=\"https://github.com/mit-pdos/perennial/pull/68\">#68</a> from mit-pdos/controlflow"}},{"before":"364141cb70e372bb32f285a6c1cf7a726cad035e","after":"f93a561236fe1c90d8183f6ade74e35082c76031","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T17:34:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Undo bad change and regoose go_journal wal due to changed comment","shortMessageHtmlLink":"Undo bad change and regoose go_journal wal due to changed comment"}},{"before":"9110b6ff5341cac79a62b13b5e81c31a73b7a5d8","after":"364141cb70e372bb32f285a6c1cf7a726cad035e","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T17:15:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Fix vrsm/configservice proof","shortMessageHtmlLink":"Fix vrsm/configservice proof"}},{"before":"b816fd04621a109f7cb7991b57343e8e5157ff9f","after":"9110b6ff5341cac79a62b13b5e81c31a73b7a5d8","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T17:10:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Fix paxos proof using dfrac instead of readonly","shortMessageHtmlLink":"Fix paxos proof using dfrac instead of readonly"}},{"before":"04ae069c106bb4117bef3a172ee63175d66335e3","after":"b816fd04621a109f7cb7991b57343e8e5157ff9f","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T16:49:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Checkpoint switching over to dfrac instead of readonly;\n\nthe change to asyncfile's top-level spec will require changes all\nthroughout paxos","shortMessageHtmlLink":"Checkpoint switching over to dfrac instead of readonly;"}},{"before":"ec1ea173a3cf033253d2632cf78495047e734525","after":"aab1018b13453cd3980b68ed2743c975b1be1421","ref":"refs/heads/master","pushedAt":"2024-05-29T16:21:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yunshengtw","name":"Yun-Sheng Chang","path":"/yunshengtw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29350735?s=80&v=4"},"commit":{"message":"Some invariance proof w.r.t. learn_prepare","shortMessageHtmlLink":"Some invariance proof w.r.t. learn_prepare"}},{"before":"017a722df0754b42ddfde1fd6fecf66ce7d9bff8","after":"04ae069c106bb4117bef3a172ee63175d66335e3","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T16:12:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Qed proofs for asyncfile","shortMessageHtmlLink":"Qed proofs for asyncfile"}},{"before":"ba9a942fb3e2dbe23a723e6e5e194cb44bf2085f","after":"017a722df0754b42ddfde1fd6fecf66ce7d9bff8","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T15:57:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Verify AsyncFile__flushThread","shortMessageHtmlLink":"Verify AsyncFile__flushThread"}},{"before":"494e69cc7f598fab9e6be15f22c5d8a0f006db38","after":"ba9a942fb3e2dbe23a723e6e5e194cb44bf2085f","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T15:50:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Seal up for loop control flow statements","shortMessageHtmlLink":"Seal up for loop control flow statements"}},{"before":"c475ee27b4a3cf522418b7ea3c6dcf45cf61f938","after":"494e69cc7f598fab9e6be15f22c5d8a0f006db38","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T15:27:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Regoose after bug fix","shortMessageHtmlLink":"Regoose after bug fix"}},{"before":"6e854e089293f95dd1d65b526aeea50943ec00e8","after":"c475ee27b4a3cf522418b7ea3c6dcf45cf61f938","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T15:23:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Regoose after bug fix and verify AsyncFile__Write","shortMessageHtmlLink":"Regoose after bug fix and verify AsyncFile__Write"}},{"before":"9ad65c359393772602ae5c505edd7d1383809351","after":"6e854e089293f95dd1d65b526aeea50943ec00e8","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T15:12:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Verify wp_AsyncFile__wait","shortMessageHtmlLink":"Verify wp_AsyncFile__wait"}},{"before":"87ed448d373348660ed7ce63a0374a84c4478d93","after":"9ad65c359393772602ae5c505edd7d1383809351","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T14:44:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"More progress on asyncfile proof; need to either prove and use wp_bind_inv\n\nor adjust PureExec for exception monad to allow for a semicolon to still\nwork when wp_binding to the next statement.","shortMessageHtmlLink":"More progress on asyncfile proof; need to either prove and use wp_bin…"}},{"before":"53a3ee92f22514530d934e1d5f9a2578be5a4791","after":"87ed448d373348660ed7ce63a0374a84c4478d93","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T05:04:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Checkpoint new proof of asyncfile","shortMessageHtmlLink":"Checkpoint new proof of asyncfile"}},{"before":"83f9f3ad3cff04092aa3af4c92c9d60baf6b7454","after":"53a3ee92f22514530d934e1d5f9a2578be5a4791","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T04:55:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Add admitted PureExec instances for exception monad;\n\nadd exception monad patterns to wp_pure_filter.","shortMessageHtmlLink":"Add admitted PureExec instances for exception monad;"}},{"before":"2e72f868e437eacf0939ef6979ed16addbf86bdd","after":"83f9f3ad3cff04092aa3af4c92c9d60baf6b7454","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T03:39:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Add variadic noop","shortMessageHtmlLink":"Add variadic noop"}},{"before":null,"after":"2e72f868e437eacf0939ef6979ed16addbf86bdd","ref":"refs/heads/controlflow","pushedAt":"2024-05-29T03:36:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"upamanyus","name":"Upamanyu Sharma","path":"/upamanyus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10575923?s=80&v=4"},"commit":{"message":"Add trusted implementations for log, fmt, sync, grove_ffi","shortMessageHtmlLink":"Add trusted implementations for log, fmt, sync, grove_ffi"}},{"before":"a1f5db663c3156ac16894c7600540f8aa8ec3d78","after":"ec1ea173a3cf033253d2632cf78495047e734525","ref":"refs/heads/coq/tested","pushedAt":"2024-05-28T07:05:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"use persistent ptsto in tutorial proofs\n\nand fix up some missing pieces along the way","shortMessageHtmlLink":"use persistent ptsto in tutorial proofs"}},{"before":"a1f5db663c3156ac16894c7600540f8aa8ec3d78","after":"ec1ea173a3cf033253d2632cf78495047e734525","ref":"refs/heads/master","pushedAt":"2024-05-27T12:42:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zeldovich","name":"Nickolai Zeldovich","path":"/zeldovich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828308?s=80&v=4"},"commit":{"message":"use persistent ptsto in tutorial proofs\n\nand fix up some missing pieces along the way","shortMessageHtmlLink":"use persistent ptsto in tutorial proofs"}},{"before":"a096af1ccf6daf34e5dba2329271c8f6ebc6052a","after":"a1f5db663c3156ac16894c7600540f8aa8ec3d78","ref":"refs/heads/coq/tested","pushedAt":"2024-05-26T07:03:52.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Remove some stray Search commands","shortMessageHtmlLink":"Remove some stray Search commands"}},{"before":"7d53d4a469c6bdbb8a07aeced41f83f7b30be77c","after":"952bec4149e63db650b6c53007cef94c9bbc4903","ref":"refs/heads/tchajed/diaframe","pushedAt":"2024-05-25T16:23:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Fix readonly hints","shortMessageHtmlLink":"Fix readonly hints"}},{"before":"fdcdf0cfa3877afee56a4c4abcbc769f3328d885","after":"7d53d4a469c6bdbb8a07aeced41f83f7b30be77c","ref":"refs/heads/tchajed/diaframe","pushedAt":"2024-05-25T13:02:07.000Z","pushType":"push","commitsCount":27,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into tchajed/diaframe","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into tchajed/diaframe"}},{"before":"ab7df068e91b41bb59b23e5ea5f60ea9b5be9017","after":"a1f5db663c3156ac16894c7600540f8aa8ec3d78","ref":"refs/heads/master","pushedAt":"2024-05-25T12:16:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Remove some stray Search commands","shortMessageHtmlLink":"Remove some stray Search commands"}},{"before":"59b5b576f2f6011f7927fbb1d4ecf0e588c206e3","after":null,"ref":"refs/heads/dfrac-heap","pushedAt":"2024-05-25T07:11:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zeldovich","name":"Nickolai Zeldovich","path":"/zeldovich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828308?s=80&v=4"}},{"before":"ab7df068e91b41bb59b23e5ea5f60ea9b5be9017","after":null,"ref":"refs/heads/dfrac-heap2","pushedAt":"2024-05-25T07:11:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zeldovich","name":"Nickolai Zeldovich","path":"/zeldovich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828308?s=80&v=4"}},{"before":"a096af1ccf6daf34e5dba2329271c8f6ebc6052a","after":"ab7df068e91b41bb59b23e5ea5f60ea9b5be9017","ref":"refs/heads/master","pushedAt":"2024-05-25T07:11:30.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"zeldovich","name":"Nickolai Zeldovich","path":"/zeldovich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828308?s=80&v=4"},"commit":{"message":"update for dfrac after merge","shortMessageHtmlLink":"update for dfrac after merge"}},{"before":"c9c030e1f2161cf9d6f61b74fa26675aa70726ff","after":"a096af1ccf6daf34e5dba2329271c8f6ebc6052a","ref":"refs/heads/coq/tested","pushedAt":"2024-05-25T07:04:19.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"fix build","shortMessageHtmlLink":"fix build"}},{"before":"e6893133bd271c11dc3041a748720398adf49551","after":"ab7df068e91b41bb59b23e5ea5f60ea9b5be9017","ref":"refs/heads/dfrac-heap2","pushedAt":"2024-05-25T06:37:31.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"zeldovich","name":"Nickolai Zeldovich","path":"/zeldovich","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/828308?s=80&v=4"},"commit":{"message":"update for dfrac after merge","shortMessageHtmlLink":"update for dfrac after merge"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEV0aUTQA","startCursor":null,"endCursor":null}},"title":"Activity · mit-pdos/perennial"}