{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":489353343,"defaultBranch":"main","name":"forves","ownerLogin":"costa-group","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-06T12:52:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21335849?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1682353546.0","currentOid":""},"activityList":{"items":[{"before":"743f4eb1a271168b4146958ba18c3d04a037692c","after":"a79a7bf5cb0e7e515e3c0516c480de7d7a3fbbac","ref":"refs/heads/main","pushedAt":"2024-07-09T08:53:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"2ba56b6171019d80257b3386d19b460ec1b667fa","after":"743f4eb1a271168b4146958ba18c3d04a037692c","ref":"refs/heads/main","pushedAt":"2024-05-14T12:32:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Binaries","shortMessageHtmlLink":"Binaries"}},{"before":"c7d7639b9971124475c240e37aff939dbfb84688","after":"2ba56b6171019d80257b3386d19b460ec1b667fa","ref":"refs/heads/main","pushedAt":"2024-05-14T05:10:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"removed binaries","shortMessageHtmlLink":"removed binaries"}},{"before":"900f59f6718b92ca9f3c4eab9149de7f309cd6c1","after":"c7d7639b9971124475c240e37aff939dbfb84688","ref":"refs/heads/main","pushedAt":"2024-05-14T05:08:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"move the copy to bin to the main rule","shortMessageHtmlLink":"move the copy to bin to the main rule"}},{"before":"886b21f88f4ee1e57e9abe99bc8785b1f139660c","after":"900f59f6718b92ca9f3c4eab9149de7f309cd6c1","ref":"refs/heads/main","pushedAt":"2024-05-14T05:05:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"The proof was in a comment for some reason","shortMessageHtmlLink":"The proof was in a comment for some reason"}},{"before":"b42d086045978180f4c3e7599cbc1bdf85bc9698","after":"886b21f88f4ee1e57e9abe99bc8785b1f139660c","ref":"refs/heads/main","pushedAt":"2024-05-13T20:20:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"proof for the additional sha3 comparator","shortMessageHtmlLink":"proof for the additional sha3 comparator"}},{"before":"350caa2112e9097312cc7868fedfd2180373b636","after":"b42d086045978180f4c3e7599cbc1bdf85bc9698","ref":"refs/heads/main","pushedAt":"2024-04-05T12:38:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Added binaries","shortMessageHtmlLink":"Added binaries"}},{"before":"a71e2fd7c12fef793cdc446cfb6c9799b2540bab","after":"350caa2112e9097312cc7868fedfd2180373b636","ref":"refs/heads/main","pushedAt":"2024-04-05T12:37:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Renamed binary","shortMessageHtmlLink":"Renamed binary"}},{"before":"d650c05cd8540674097b6a9f59ef31b17bd4949a","after":"a71e2fd7c12fef793cdc446cfb6c9799b2540bab","ref":"refs/heads/main","pushedAt":"2024-04-05T12:20:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Typos in README","shortMessageHtmlLink":"Typos in README"}},{"before":"1695a282cf201eeb84cdd092416d38239384d65a","after":"d650c05cd8540674097b6a9f59ef31b17bd4949a","ref":"refs/heads/main","pushedAt":"2024-04-05T12:16:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Fixed links in README","shortMessageHtmlLink":"Fixed links in README"}},{"before":"9538bb7300cd09cfb404df50fe2b3140e49e9807","after":"1695a282cf201eeb84cdd092416d38239384d65a","ref":"refs/heads/main","pushedAt":"2024-04-05T12:14:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Linked TOC","shortMessageHtmlLink":"Linked TOC"}},{"before":"4ccd38881a15fc0c3bd76cd488d5e26db6076032","after":"9538bb7300cd09cfb404df50fe2b3140e49e9807","ref":"refs/heads/main","pushedAt":"2024-04-05T12:08:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Added READMEs","shortMessageHtmlLink":"Added READMEs"}},{"before":"e3495ca7824546751dc6415bea4790355ec13046","after":"4ccd38881a15fc0c3bd76cd488d5e26db6076032","ref":"refs/heads/main","pushedAt":"2024-03-24T10:56:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Removed add_add rule","shortMessageHtmlLink":"Removed add_add rule"}},{"before":"6488487505d13cc5074b93499e1b58de96ee5a99","after":"e3495ca7824546751dc6415bea4790355ec13046","ref":"refs/heads/main","pushedAt":"2024-03-22T18:10:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Proofs jumpi_eval","shortMessageHtmlLink":"Proofs jumpi_eval"}},{"before":"bed0f7cdb48a8c32d780e861090e1bfb748350d1","after":"6488487505d13cc5074b93499e1b58de96ee5a99","ref":"refs/heads/main","pushedAt":"2024-03-21T18:18:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Attempt ADD(const1, ADD(const2, X)) = ADD(const1+const2, X) optimization rule","shortMessageHtmlLink":"Attempt ADD(const1, ADD(const2, X)) = ADD(const1+const2, X) optimizat…"}},{"before":"a18cd0c422af4365ecb70e978954deea1fc88b9d","after":"bed0f7cdb48a8c32d780e861090e1bfb748350d1","ref":"refs/heads/main","pushedAt":"2024-03-21T17:03:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Debugging solc examples","shortMessageHtmlLink":"Debugging solc examples"}},{"before":"47bcffeba66df21a8217c456b2079b9814846626","after":"a18cd0c422af4365ecb70e978954deea1fc88b9d","ref":"refs/heads/main","pushedAt":"2024-03-20T17:56:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Debugging blockTraces_dec_1_2022 blocks","shortMessageHtmlLink":"Debugging blockTraces_dec_1_2022 blocks"}},{"before":"62efb2c32eb82a814f03ea8bfd123b896a611ac6","after":"47bcffeba66df21a8217c456b2079b9814846626","ref":"refs/heads/main","pushedAt":"2024-03-20T13:53:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"context -> externals","shortMessageHtmlLink":"context -> externals"}},{"before":"e23b68b438dd6aca5f384f78c1666d519f837d76","after":"62efb2c32eb82a814f03ea8bfd123b896a611ac6","ref":"refs/heads/main","pushedAt":"2024-03-20T13:52:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"context -> externals","shortMessageHtmlLink":"context -> externals"}},{"before":"7325a14b9d48cd384f9b3ed5a7f747fa69540238","after":"e23b68b438dd6aca5f384f78c1666d519f837d76","ref":"refs/heads/main","pushedAt":"2024-03-20T13:05:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Split debug.v and test.v","shortMessageHtmlLink":"Split debug.v and test.v"}},{"before":"ce3d865851f7b4cbdc3ede1c66c43f5985f4a3da","after":"7325a14b9d48cd384f9b3ed5a7f747fa69540238","ref":"refs/heads/main","pushedAt":"2024-03-19T18:21:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"New definition of evm_shl and evm_shl (attempt)","shortMessageHtmlLink":"New definition of evm_shl and evm_shl (attempt)"}},{"before":"0e8da2b8ae1378040fd8443ec4923d9115d78331","after":"ce3d865851f7b4cbdc3ede1c66c43f5985f4a3da","ref":"refs/heads/main","pushedAt":"2024-03-19T16:27:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Adapted optimization rules","shortMessageHtmlLink":"Adapted optimization rules"}},{"before":"0a340c7df4e36fbaed13645b0c1c0d250df006e4","after":"0e8da2b8ae1378040fd8443ec4923d9115d78331","ref":"refs/heads/main","pushedAt":"2024-03-19T13:46:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"smem_solver and sstrg_solver optimizations","shortMessageHtmlLink":"smem_solver and sstrg_solver optimizations"}},{"before":"b3618b0729d4dd3ef8120c899b7fe06528d2fb00","after":"0a340c7df4e36fbaed13645b0c1c0d250df006e4","ref":"refs/heads/main","pushedAt":"2024-03-19T10:23:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"fixed error","shortMessageHtmlLink":"fixed error"}},{"before":"102a6d5c104a36e754d0642f626ad95518feef78","after":"b3618b0729d4dd3ef8120c899b7fe06528d2fb00","ref":"refs/heads/main","pushedAt":"2024-03-19T10:19:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"remove nums library","shortMessageHtmlLink":"remove nums library"}},{"before":"471974370f205720bf78e9e5d04275bfdcdfa2da","after":"102a6d5c104a36e754d0642f626ad95518feef78","ref":"refs/heads/main","pushedAt":"2024-03-19T09:22:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:costa-group/forves","shortMessageHtmlLink":"Merge branch 'main' of github.com:costa-group/forves"}},{"before":"4591567e420ae3ffd18bb24bfaaf1655253cdc26","after":"471974370f205720bf78e9e5d04275bfdcdfa2da","ref":"refs/heads/main","pushedAt":"2024-03-18T22:05:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"removed checker.ml from repo","shortMessageHtmlLink":"removed checker.ml from repo"}},{"before":"414ab8d5d9c0d1027a754c02ebbbc3ed4e6b1f8b","after":"4591567e420ae3ffd18bb24bfaaf1655253cdc26","ref":"refs/heads/main","pushedAt":"2024-03-18T15:56:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"experiments related stuff","shortMessageHtmlLink":"experiments related stuff"}},{"before":"e3c6484116ca0f6f1b1cf5a0b4aa5d95bafe8656","after":"414ab8d5d9c0d1027a754c02ebbbc3ed4e6b1f8b","ref":"refs/heads/main","pushedAt":"2024-03-15T16:33:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emartinm","name":null,"path":"/emartinm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1685343?s=80&v=4"},"commit":{"message":"Bash scripts to simplify calling the checker","shortMessageHtmlLink":"Bash scripts to simplify calling the checker"}},{"before":"48ff9cfeaabafd183f4674e6caa8745e9e37b074","after":"e3c6484116ca0f6f1b1cf5a0b4aa5d95bafe8656","ref":"refs/heads/main","pushedAt":"2024-03-14T18:15:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"genaim","name":"Samir Genaim","path":"/genaim","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2716806?s=80&v=4"},"commit":{"message":"fixed the prevrandao semantics","shortMessageHtmlLink":"fixed the prevrandao semantics"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wOVQwODo1Mzo1OS4wMDAwMDBazwAAAAR6cJAL","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xNFQxODoxNTo0Ni4wMDAwMDBazwAAAAQV-JhY"}},"title":"Activity · costa-group/forves"}