{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":751688609,"defaultBranch":"main","name":"lean4-protobuf","ownerLogin":"mtoohey31","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-02T05:29:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/36740602?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1706851755.0","currentOid":""},"activityList":{"items":[{"before":"42b05dce826f3c4414446d9d09530d9c17e9bccc","after":"4a65ff0a6a1fee116643013e075640f6409da3d4","ref":"refs/heads/main","pushedAt":"2024-06-30T01:07:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"varint: cleanup and proof improvements to speed up compilation","shortMessageHtmlLink":"varint: cleanup and proof improvements to speed up compilation"}},{"before":"8d6c9ae4946456fab66af9694d62ea740fc587ea","after":"42b05dce826f3c4414446d9d09530d9c17e9bccc","ref":"refs/heads/main","pushedAt":"2024-06-25T20:38:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"update README roadmap","shortMessageHtmlLink":"update README roadmap"}},{"before":"c6e7731540cf8d83ff57fc7d0c855e118b8a0dc7","after":"8d6c9ae4946456fab66af9694d62ea740fc587ea","ref":"refs/heads/main","pushedAt":"2024-06-25T20:37:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"messy but valid versions of the rest of the right inv proofs","shortMessageHtmlLink":"messy but valid versions of the rest of the right inv proofs"}},{"before":"da50df87991fd251d5f7a6f1050dc4e17f67150b","after":"c6e7731540cf8d83ff57fc7d0c855e118b8a0dc7","ref":"refs/heads/main","pushedAt":"2024-06-01T03:46:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"variant: earlier errors on overflow via more advanced decUvarintCore","shortMessageHtmlLink":"variant: earlier errors on overflow via more advanced decUvarintCore"}},{"before":"5a3b7033f1ede4b4f6a4df86c12f1aabfdbadf7a","after":"da50df87991fd251d5f7a6f1050dc4e17f67150b","ref":"refs/heads/main","pushedAt":"2024-05-31T18:05:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"variant: total decoding","shortMessageHtmlLink":"variant: total decoding"}},{"before":"c9dff0459a41e5fa78587fa1ece36d5d2708637a","after":"5a3b7033f1ede4b4f6a4df86c12f1aabfdbadf7a","ref":"refs/heads/main","pushedAt":"2024-05-31T03:39:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"variant: update dependencies again and replace UInt8.ofNat with .ofNatCore","shortMessageHtmlLink":"variant: update dependencies again and replace UInt8.ofNat with .ofNa…"}},{"before":"0b04ba33164b5e7d977485d94aeb4afb8b410928","after":"c9dff0459a41e5fa78587fa1ece36d5d2708637a","ref":"refs/heads/main","pushedAt":"2024-05-31T02:49:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"variant: update dependencies and add theorems about encoding lengths","shortMessageHtmlLink":"variant: update dependencies and add theorems about encoding lengths"}},{"before":"a2d081479a4a8c91c59e6ec63404d0a7fe6c056c","after":"0b04ba33164b5e7d977485d94aeb4afb8b410928","ref":"refs/heads/main","pushedAt":"2024-05-30T17:30:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"variant: make encUvarint tail recursive","shortMessageHtmlLink":"variant: make encUvarint tail recursive"}},{"before":"45b24330346b89de14ae395aae8702ba599dd6a4","after":"a2d081479a4a8c91c59e6ec63404d0a7fe6c056c","ref":"refs/heads/main","pushedAt":"2024-05-30T17:16:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"variant: show that encVarint is total using mathlib","shortMessageHtmlLink":"variant: show that encVarint is total using mathlib"}},{"before":"2b4ec307bfc787a7f5533a30dc6ef78a204bbd73","after":"45b24330346b89de14ae395aae8702ba599dd6a4","ref":"refs/heads/main","pushedAt":"2024-05-30T04:46:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"varint: 8 and 16 bit bounded encode and decode","shortMessageHtmlLink":"varint: 8 and 16 bit bounded encode and decode"}},{"before":"8ad924fb5544b579f5f83ee149d3c81d06555ff8","after":"2b4ec307bfc787a7f5533a30dc6ef78a204bbd73","ref":"refs/heads/main","pushedAt":"2024-05-30T04:34:04.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"varint: unbounded encode","shortMessageHtmlLink":"varint: unbounded encode"}},{"before":"2756a94054e7ef39427b47603eb08514391d381d","after":"8ad924fb5544b579f5f83ee149d3c81d06555ff8","ref":"refs/heads/main","pushedAt":"2024-02-04T05:08:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"varint","shortMessageHtmlLink":"varint"}},{"before":"4185c8811b0aa2fa38b4e38fefa592a0cf6e5388","after":"2756a94054e7ef39427b47603eb08514391d381d","ref":"refs/heads/main","pushedAt":"2024-02-04T03:46:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"flake: use lean-all so lake is available","shortMessageHtmlLink":"flake: use lean-all so lake is available"}},{"before":"4f80e5fb848212806d3d426e9ad341a2d3550c0f","after":"4185c8811b0aa2fa38b4e38fefa592a0cf6e5388","ref":"refs/heads/main","pushedAt":"2024-02-04T03:31:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"README","shortMessageHtmlLink":"README"}},{"before":"9887eac11ee8bf09eb34a32895c3522493879579","after":"4f80e5fb848212806d3d426e9ad341a2d3550c0f","ref":"refs/heads/main","pushedAt":"2024-02-04T03:29:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"README","shortMessageHtmlLink":"README"}},{"before":"beeb3e14d986aaca05f895bb48d7b0c6184a8c72","after":"9887eac11ee8bf09eb34a32895c3522493879579","ref":"refs/heads/main","pushedAt":"2024-02-04T02:29:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"syntax: improve Message definition readability","shortMessageHtmlLink":"syntax: improve Message definition readability"}},{"before":"a3199f3efeb9236afbf40860801238e6d9007951","after":"beeb3e14d986aaca05f895bb48d7b0c6184a8c72","ref":"refs/heads/main","pushedAt":"2024-02-03T00:38:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"syntax: various fixes","shortMessageHtmlLink":"syntax: various fixes"}},{"before":"250f19df2084a5cf4c2c4732b50f9e4c5849909d","after":"a3199f3efeb9236afbf40860801238e6d9007951","ref":"refs/heads/main","pushedAt":"2024-02-02T15:54:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"syntax: simplify message definition with mutual","shortMessageHtmlLink":"syntax: simplify message definition with mutual"}},{"before":null,"after":"250f19df2084a5cf4c2c4732b50f9e4c5849909d","ref":"refs/heads/main","pushedAt":"2024-02-02T05:29:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mtoohey31","name":"Matthew Toohey","path":"/mtoohey31","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/36740602?s=80&v=4"},"commit":{"message":"parser","shortMessageHtmlLink":"parser"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0zMFQwMTowNzoxOS4wMDAwMDBazwAAAARyx1-G","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0zMFQwMTowNzoxOS4wMDAwMDBazwAAAARyx1-G","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wMlQwNToyOToxNS4wMDAwMDBazwAAAAPv27Xz"}},"title":"Activity · mtoohey31/lean4-protobuf"}