{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":304194605,"defaultBranch":"master","name":"Verified-FEC","ownerLogin":"verified-network-toolchain","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-10-15T03:02:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/79861588?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1691116982.0","currentOid":""},"activityList":{"items":[{"before":"39c557d2eb714ecf306a61a337690e91de5d12b5","after":"fe0f856f9825ca2eff05287d6ea066d803255f29","ref":"refs/heads/master","pushedAt":"2024-03-12T18:56:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"update readme with dependency info","shortMessageHtmlLink":"update readme with dependency info"}},{"before":"4970df7deaa4510201d395cfda4a56313b3e84de","after":"39c557d2eb714ecf306a61a337690e91de5d12b5","ref":"refs/heads/master","pushedAt":"2024-03-12T18:40:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"Finish upgrading to Coq 8.18, VST 2.13, Mathcomp 2.1\n\ndata_at lemmas removed, were upstreamed to VST previously","shortMessageHtmlLink":"Finish upgrading to Coq 8.18, VST 2.13, Mathcomp 2.1"}},{"before":"b96e4b3442d0f0611bbcace57c6fff2b229ed4e2","after":"4970df7deaa4510201d395cfda4a56313b3e84de","ref":"refs/heads/master","pushedAt":"2024-03-12T00:01:47.000Z","pushType":"push","commitsCount":98,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"Merge branch 'qpoly' of https://github.com/thery/Verified-FEC\n\nUpgrade to Mathcomp 2.1 (including new qpoly and qfpoly)\nAlso working on porting to new VST version","shortMessageHtmlLink":"Merge branch 'qpoly' of <a href=\"https://github.com/thery/Verified-FEC\">https://github.com/thery/Verified-FEC</a>"}},{"before":null,"after":"b021229f149bf121de966491e94911ecb322774d","ref":"refs/heads/mathcomp2","pushedAt":"2023-08-04T02:43:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"Port end-to-end and VST proofs\n\nSome TODOs for VST proofs to encapsulate field ops","shortMessageHtmlLink":"Port end-to-end and VST proofs"}},{"before":"594f5b0226eb33b420d4d9bf24f43ece881d97c4","after":"99ff6ba15e9dc546b020e3afd425fad0ca930660","ref":"refs/heads/end-to-end","pushedAt":"2023-08-02T17:51:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"add readme to C code","shortMessageHtmlLink":"add readme to C code"}},{"before":"fe88f71f79a1ef5d523f9ffa504cee0a1e4b4d02","after":"594f5b0226eb33b420d4d9bf24f43ece881d97c4","ref":"refs/heads/end-to-end","pushedAt":"2023-08-02T17:30:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"Minor changes to C code, resolve TODOs and finish mem","shortMessageHtmlLink":"Minor changes to C code, resolve TODOs and finish mem"}},{"before":"0b8bcb50e001e8b54736d65cb3403aa24283baa7","after":"fe88f71f79a1ef5d523f9ffa504cee0a1e4b4d02","ref":"refs/heads/end-to-end","pushedAt":"2023-07-31T20:52:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"readme with info about end-to-end proofs and structure","shortMessageHtmlLink":"readme with info about end-to-end proofs and structure"}},{"before":"5dbaeedf298f540575ec7015225ba46542111d7f","after":"0b8bcb50e001e8b54736d65cb3403aa24283baa7","ref":"refs/heads/end-to-end","pushedAt":"2023-07-31T20:29:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"Make all naming consistent","shortMessageHtmlLink":"Make all naming consistent"}},{"before":"2d94bb7ddc6642a243df0bfc784bda739e53fa4d","after":"5dbaeedf298f540575ec7015225ba46542111d7f","ref":"refs/heads/end-to-end","pushedAt":"2023-07-31T19:25:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"Refactor, clean up code, resolve TODOs","shortMessageHtmlLink":"Refactor, clean up code, resolve TODOs"}},{"before":"8e69ba87578a1b343407d34b350226ffb9406845","after":"2d94bb7ddc6642a243df0bfc784bda739e53fa4d","ref":"refs/heads/end-to-end","pushedAt":"2023-07-31T17:58:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"update overall readme with end-to-end info","shortMessageHtmlLink":"update overall readme with end-to-end info"}},{"before":"b8cad106218178353633cc2b628667189255fde6","after":"8e69ba87578a1b343407d34b350226ffb9406845","ref":"refs/heads/end-to-end","pushedAt":"2023-07-31T17:57:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"update overall readme with end-to-end info","shortMessageHtmlLink":"update overall readme with end-to-end info"}},{"before":"aa11ff2cf7d0ee4d196c4ea4b708a90949c6c916","after":"b8cad106218178353633cc2b628667189255fde6","ref":"refs/heads/end-to-end","pushedAt":"2023-07-31T17:55:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"update overall readme with end-to-end info","shortMessageHtmlLink":"update overall readme with end-to-end info"}},{"before":null,"after":"aa11ff2cf7d0ee4d196c4ea4b708a90949c6c916","ref":"refs/heads/end-to-end","pushedAt":"2023-07-18T19:30:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"Clean up code\n\nDelete old code\nMove lemmas and tactics to common\nRewrite with size_Zlength, use to_ssrnat","shortMessageHtmlLink":"Clean up code"}},{"before":null,"after":"aa11ff2cf7d0ee4d196c4ea4b708a90949c6c916","ref":"refs/heads/vstte23","pushedAt":"2023-07-18T16:37:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"joscoh","name":"Josh Cohen","path":"/joscoh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36058610?s=80&v=4"},"commit":{"message":"Clean up code\n\nDelete old code\nMove lemmas and tactics to common\nRewrite with size_Zlength, use to_ssrnat","shortMessageHtmlLink":"Clean up code"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xMlQxODo1Njo0Ny4wMDAwMDBazwAAAAQTvQxj","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xOFQxNjozNzozMy4wMDAwMDBazwAAAANYEu4k"}},"title":"Activity · verified-network-toolchain/Verified-FEC"}