{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":325077883,"defaultBranch":"main","name":"daisy-nfsd","ownerLogin":"mit-pdos","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-12-28T17:45:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12404246?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705037995.0","currentOid":""},"activityList":{"items":[{"before":"ac8bb3ef35c13e149b113b677d39a1c6e1f42f5f","after":"26f42d8a78a5fa1bab0744c4c5b51cc8c678f079","ref":"refs/heads/main","pushedAt":"2024-01-12T16:23:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Update AWS instructions for Lunar","shortMessageHtmlLink":"Update AWS instructions for Lunar"}},{"before":"644a915f065f0ac34e435be367bcb044d2620366","after":"ac8bb3ef35c13e149b113b677d39a1c6e1f42f5f","ref":"refs/heads/main","pushedAt":"2024-01-12T15:58:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Update dependencies in aws setup","shortMessageHtmlLink":"Update dependencies in aws setup"}},{"before":"5be7d05988ab1a06f79c3471c7ec08a2f0758b60","after":null,"ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T05:39:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"}},{"before":"98434db21451b76c700dcf5783b2bca00a63c132","after":"644a915f065f0ac34e435be367bcb044d2620366","ref":"refs/heads/main","pushedAt":"2024-01-12T05:39:49.000Z","pushType":"pr_merge","commitsCount":29,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Merge pull request #3 from mit-pdos/dafny-4\n\nUpdate to Dafny 4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2078098265\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-pdos/daisy-nfsd/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-pdos/daisy-nfsd/pull/3/hovercard\" href=\"https://github.com/mit-pdos/daisy-nfsd/pull/3\">#3</a> from mit-pdos/dafny-4"}},{"before":"ded80e672da4d2299eea0e1a76ab2b616e9f7214","after":"5be7d05988ab1a06f79c3471c7ec08a2f0758b60","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T05:34:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"ci: run checkout first so go caching works","shortMessageHtmlLink":"ci: run checkout first so go caching works"}},{"before":"4d7e6d1745f23e51c36eb6284613b7000ddd0c7e","after":"ded80e672da4d2299eea0e1a76ab2b616e9f7214","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T05:27:03.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":"Add a Dafny project file","shortMessageHtmlLink":"Add a Dafny project file"}},{"before":"efc002df40a44827d6f46d31b4d30c9bb9db7f12","after":"4d7e6d1745f23e51c36eb6284613b7000ddd0c7e","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T05:15:46.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":"Attempt to make byte_fs proof more robust","shortMessageHtmlLink":"Attempt to make byte_fs proof more robust"}},{"before":"7889de062f63fcb336de09832cef3cabb2d3a6d0","after":"efc002df40a44827d6f46d31b4d30c9bb9db7f12","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T05:05:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Fix dirent proof","shortMessageHtmlLink":"Fix dirent proof"}},{"before":"3d44c4fefdd96058208806caf7919ef135538750","after":"7889de062f63fcb336de09832cef3cabb2d3a6d0","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T04:50:21.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Use new CLI for Go translation","shortMessageHtmlLink":"Use new CLI for Go translation"}},{"before":"0bc2d3e1f26680b205893979e5bdfc9c956ae8ca","after":"3d44c4fefdd96058208806caf7919ef135538750","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T03:50:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Fix roundup proofs","shortMessageHtmlLink":"Fix roundup proofs"}},{"before":"23d9cfd8ce3365f01214acf95c987938aca395a9","after":"0bc2d3e1f26680b205893979e5bdfc9c956ae8ca","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T03:44:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add more assertions to nonlin proofs","shortMessageHtmlLink":"Add more assertions to nonlin proofs"}},{"before":"71dc0964221ae052a2bad8560375620273f1ad65","after":"23d9cfd8ce3365f01214acf95c987938aca395a9","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T03:37:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Bump setup-dafny-action for all jobs","shortMessageHtmlLink":"Bump setup-dafny-action for all jobs"}},{"before":"e6dcf266d75c78c35923dd6bbb3597a282b5e888","after":"71dc0964221ae052a2bad8560375620273f1ad65","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T03:37:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Use latest version of setup-dafny-action","shortMessageHtmlLink":"Use latest version of setup-dafny-action"}},{"before":"8bfd1d4cd2eb7124df62ec1a062aed72b3a20c87","after":"e6dcf266d75c78c35923dd6bbb3597a282b5e888","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T03:33:55.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":"Update CI config","shortMessageHtmlLink":"Update CI config"}},{"before":"857411712a7e4f7d93e325c607eb165cf3ce9053","after":"8bfd1d4cd2eb7124df62ec1a062aed72b3a20c87","ref":"refs/heads/dafny-4","pushedAt":"2024-01-12T03:30:45.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 Go compilation issues","shortMessageHtmlLink":"Fix Go compilation issues"}},{"before":"75ad622c96a2dbc6f0a124064689097b7fd3f0c0","after":"857411712a7e4f7d93e325c607eb165cf3ce9053","ref":"refs/heads/dafny-4","pushedAt":"2024-01-11T23:40:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Prove last remaining `assume`","shortMessageHtmlLink":"Prove last remaining <code>assume</code>"}},{"before":"cb1ff1636e8a856480d60cb301294a1a969aecfe","after":"75ad622c96a2dbc6f0a124064689097b7fd3f0c0","ref":"refs/heads/dafny-4","pushedAt":"2024-01-11T23:15:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Start fixing assume false's","shortMessageHtmlLink":"Start fixing assume false's"}},{"before":"31c390b873accdd4c774d0f9e368f5cf4aa5b64d","after":"cb1ff1636e8a856480d60cb301294a1a969aecfe","ref":"refs/heads/dafny-4","pushedAt":"2024-01-11T16:56:37.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Run dafny format","shortMessageHtmlLink":"Run dafny format"}},{"before":null,"after":"31c390b873accdd4c774d0f9e368f5cf4aa5b64d","ref":"refs/heads/dafny-4","pushedAt":"2023-09-08T01:38:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Migrate to new function syntax","shortMessageHtmlLink":"Migrate to new function syntax"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD3mGikQA","startCursor":null,"endCursor":null}},"title":"Activity · mit-pdos/daisy-nfsd"}