{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":843343757,"defaultBranch":"main","name":"apalache-examples","ownerLogin":"konnov","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-08-16T10:01:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/436810?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1723802505.661205","currentOid":""},"activityList":{"items":[{"before":"792f18f99bd2c436442d73e7c2a086d6cf69c9a4","after":"873f9bcf90c5949eb74048f3a3c15f5365159bf0","ref":"refs/heads/main","pushedAt":"2024-09-09T10:19:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"add the figure for simulate 20","shortMessageHtmlLink":"add the figure for simulate 20"}},{"before":"65c3a59f9f5f78cd3dde62b170943e68127fa68d","after":"792f18f99bd2c436442d73e7c2a086d6cf69c9a4","ref":"refs/heads/main","pushedAt":"2024-09-08T21:48:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix a syntax error","shortMessageHtmlLink":"fix a syntax error"}},{"before":"ade04b3e9e10213c023b3fde4b21f7ca49605c77","after":"65c3a59f9f5f78cd3dde62b170943e68127fa68d","ref":"refs/heads/main","pushedAt":"2024-09-08T21:46:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix Lemma9 and Lemma 1","shortMessageHtmlLink":"fix Lemma9 and Lemma 1"}},{"before":"d0fb0b49822e880327edfa154f561f072cff5d0d","after":"ade04b3e9e10213c023b3fde4b21f7ca49605c77","ref":"refs/heads/main","pushedAt":"2024-09-08T20:00:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix the bound in SupportedValues to N - 2 * T","shortMessageHtmlLink":"fix the bound in SupportedValues to N - 2 * T"}},{"before":"ecaaca59576c7b1dd1891ea6850ba8ca23d7c80c","after":"d0fb0b49822e880327edfa154f561f072cff5d0d","ref":"refs/heads/main","pushedAt":"2024-09-08T05:48:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix SupportedValues again","shortMessageHtmlLink":"fix SupportedValues again"}},{"before":"1f13f555606a3e7768f6e6d4b840c52db856e5ae","after":"ecaaca59576c7b1dd1891ea6850ba8ca23d7c80c","ref":"refs/heads/main","pushedAt":"2024-09-08T05:28:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix SupportedValues","shortMessageHtmlLink":"fix SupportedValues"}},{"before":"08c367b5b4bd4f9f5c5810cce8d33631b8d9ead8","after":"1f13f555606a3e7768f6e6d4b840c52db856e5ae","ref":"refs/heads/main","pushedAt":"2024-09-08T05:25:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"replace \"=>\" with \"\\/\"","shortMessageHtmlLink":"replace \"=>\" with \"\\/\""}},{"before":"5161685b48a9466d64b666ede34944423b76c171","after":"08c367b5b4bd4f9f5c5810cce8d33631b8d9ead8","ref":"refs/heads/main","pushedAt":"2024-09-07T22:23:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"introduce a function supported to reduce memory consumption","shortMessageHtmlLink":"introduce a function supported to reduce memory consumption"}},{"before":"3bc7a900625460f8e0b05869ffbcf085bd685a57","after":"5161685b48a9466d64b666ede34944423b76c171","ref":"refs/heads/main","pushedAt":"2024-09-07T20:13:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix typos","shortMessageHtmlLink":"fix typos"}},{"before":"960d0bcb90e7db2d333d5f0838fe1646f786d322","after":"3bc7a900625460f8e0b05869ffbcf085bd685a57","ref":"refs/heads/main","pushedAt":"2024-09-07T20:11:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix Lemma 9 again?","shortMessageHtmlLink":"fix Lemma 9 again?"}},{"before":"7452f978bc745106795ff24bc200f2bd6c426896","after":"960d0bcb90e7db2d333d5f0838fe1646f786d322","ref":"refs/heads/main","pushedAt":"2024-09-07T17:28:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix Lemma 13","shortMessageHtmlLink":"fix Lemma 13"}},{"before":"840f1fb1c76834d84f76b45020d12d35637556a3","after":"7452f978bc745106795ff24bc200f2bd6c426896","ref":"refs/heads/main","pushedAt":"2024-09-07T17:17:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"add a cactus plot for n6t1f0","shortMessageHtmlLink":"add a cactus plot for n6t1f0"}},{"before":"0068b5bc774b315a458e604d2d0d69d3ec9903dd","after":"840f1fb1c76834d84f76b45020d12d35637556a3","ref":"refs/heads/main","pushedAt":"2024-09-07T11:34:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"adjust Step3 and Lemma 9","shortMessageHtmlLink":"adjust Step3 and Lemma 9"}},{"before":"f3d2bdb7c8884fa8b410958ff98237828b9db3aa","after":"0068b5bc774b315a458e604d2d0d69d3ec9903dd","ref":"refs/heads/main","pushedAt":"2024-09-07T07:43:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix lemma 9","shortMessageHtmlLink":"fix lemma 9"}},{"before":"3d99b19f1ddb1af8d599e666aa3a88e61f0dccb6","after":"f3d2bdb7c8884fa8b410958ff98237828b9db3aa","ref":"refs/heads/main","pushedAt":"2024-09-06T13:09:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix Lemma7 and Lemma8 to account for faulty processes","shortMessageHtmlLink":"fix Lemma7 and Lemma8 to account for faulty processes"}},{"before":"b9bfa654a708821fddb1c0a4114edc1170c00cb6","after":"3d99b19f1ddb1af8d599e666aa3a88e61f0dccb6","ref":"refs/heads/main","pushedAt":"2024-09-05T21:05:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"add a simple labyrinth example","shortMessageHtmlLink":"add a simple labyrinth example"}},{"before":"cce917bae105980d026f0b6f4dd34e4aeb93b0ef","after":"b9bfa654a708821fddb1c0a4114edc1170c00cb6","ref":"refs/heads/main","pushedAt":"2024-09-05T19:15:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix priorities","shortMessageHtmlLink":"fix priorities"}},{"before":"68a2d06c1ed9adffb801bee8a93affa02651b3c0","after":"cce917bae105980d026f0b6f4dd34e4aeb93b0ef","ref":"refs/heads/main","pushedAt":"2024-09-05T19:12:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"adjust for the faulty","shortMessageHtmlLink":"adjust for the faulty"}},{"before":"69381bab1ce6c11842747f1b6706e3673e4396a6","after":"68a2d06c1ed9adffb801bee8a93affa02651b3c0","ref":"refs/heads/main","pushedAt":"2024-09-01T07:36:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"update Lemma5_RoundNeedsSentMessages a bit","shortMessageHtmlLink":"update Lemma5_RoundNeedsSentMessages a bit"}},{"before":"b653f547beadfb5c413980356d9e3b073453aeb8","after":"69381bab1ce6c11842747f1b6706e3673e4396a6","ref":"refs/heads/main","pushedAt":"2024-08-28T20:15:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"add a short description","shortMessageHtmlLink":"add a short description"}},{"before":"831eb4e37a43faef5c0954a221148a7db3165c26","after":"b653f547beadfb5c413980356d9e3b073453aeb8","ref":"refs/heads/main","pushedAt":"2024-08-28T18:48:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"add a link to the ChonkyBFT spec","shortMessageHtmlLink":"add a link to the ChonkyBFT spec"}},{"before":"b36b4e6da87627c6c9125e841d7e93a9fc0daf19","after":"831eb4e37a43faef5c0954a221148a7db3165c26","ref":"refs/heads/main","pushedAt":"2024-08-28T18:44:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"add a link to the light client","shortMessageHtmlLink":"add a link to the light client"}},{"before":"343edcae9bb9a162bd9c2364300c6ca930f81928","after":"b36b4e6da87627c6c9125e841d7e93a9fc0daf19","ref":"refs/heads/main","pushedAt":"2024-08-28T18:41:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"add a link to the Tendermint spec","shortMessageHtmlLink":"add a link to the Tendermint spec"}},{"before":"1667c77074e529af619b8860ac21ef86435d1577","after":"343edcae9bb9a162bd9c2364300c6ca930f81928","ref":"refs/heads/main","pushedAt":"2024-08-28T18:39:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"add a few comments","shortMessageHtmlLink":"add a few comments"}},{"before":"5b17de5d8366f3c1b84a87547c3b2d4e98a052cf","after":"1667c77074e529af619b8860ac21ef86435d1577","ref":"refs/heads/main","pushedAt":"2024-08-27T09:35:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix lemmas 9 and 13","shortMessageHtmlLink":"fix lemmas 9 and 13"}},{"before":"6e159b18da70a738dffe3a34627dbb6a5fa94043","after":"5b17de5d8366f3c1b84a87547c3b2d4e98a052cf","ref":"refs/heads/main","pushedAt":"2024-08-26T18:34:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix Lemma13_ValueLock","shortMessageHtmlLink":"fix Lemma13_ValueLock"}},{"before":"af2c99927b33d1a5d9e8c83bdc59270f07c6ea28","after":"6e159b18da70a738dffe3a34627dbb6a5fa94043","ref":"refs/heads/main","pushedAt":"2024-08-26T18:17:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"increase the number of VCs","shortMessageHtmlLink":"increase the number of VCs"}},{"before":"e03378cef0e6826b4c213e3ec678bc273ab2503e","after":"af2c99927b33d1a5d9e8c83bdc59270f07c6ea28","ref":"refs/heads/main","pushedAt":"2024-08-26T17:51:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix lemma 9","shortMessageHtmlLink":"fix lemma 9"}},{"before":"062bdbccbb597c2c245e62aaec8677ac86da47f8","after":"e03378cef0e6826b4c213e3ec678bc273ab2503e","ref":"refs/heads/main","pushedAt":"2024-08-26T14:38:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fixing","shortMessageHtmlLink":"fixing"}},{"before":"67dc29a63e994213f35faa3b53afc3cec4d6a329","after":"062bdbccbb597c2c245e62aaec8677ac86da47f8","ref":"refs/heads/main","pushedAt":"2024-08-26T10:43:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konnov","name":"Igor Konnov","path":"/konnov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/436810?s=80&v=4"},"commit":{"message":"fix Lemma11_ValueOnQuorum","shortMessageHtmlLink":"fix Lemma11_ValueOnQuorum"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wOVQxMDoxOTo0My4wMDAwMDBazwAAAASwvt_t","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wOVQxMDoxOTo0My4wMDAwMDBazwAAAASwvt_t","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yNlQxMDo0Mzo1Mi4wMDAwMDBazwAAAASkJNGo"}},"title":"Activity · konnov/apalache-examples"}