{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":724737532,"defaultBranch":"master","name":"esbmc","ownerLogin":"JacobYiu","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-11-28T17:35:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52522679?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717396369.0","currentOid":""},"activityList":{"items":[{"before":"386821b54dc7fa216971c5aa7e4a138e48635296","after":"78aef81b6d0141d18a7cfa9b7a7a44f8e8d4088f","ref":"refs/heads/master","pushedAt":"2024-05-28T08:15:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lucasccordeiro","name":"Lucas C. Cordeiro","path":"/lucasccordeiro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3694109?s=80&v=4"},"commit":{"message":"[Solidity] change to size_t && add documentation","shortMessageHtmlLink":"[Solidity] change to size_t &amp;&amp; add documentation"}},{"before":"8617d12d3b55598a1724976ae52200fe2bbc5138","after":"386821b54dc7fa216971c5aa7e4a138e48635296","ref":"refs/heads/master","pushedAt":"2024-05-27T20:09:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"[Solidity] change to size_t && add documentation","shortMessageHtmlLink":"[Solidity] change to size_t &amp;&amp; add documentation"}},{"before":"9fb0b8f4fdaf6c8523c05aef2b8cfa3fa663c5dd","after":"8617d12d3b55598a1724976ae52200fe2bbc5138","ref":"refs/heads/master","pushedAt":"2024-05-27T19:04:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"[Solidity] rm bug test","shortMessageHtmlLink":"[Solidity] rm bug test"}},{"before":"3563d446919ac1bce609756db6c2c8f71537b279","after":"9fb0b8f4fdaf6c8523c05aef2b8cfa3fa663c5dd","ref":"refs/heads/master","pushedAt":"2024-05-27T18:58:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"[Solidity] fix codacy","shortMessageHtmlLink":"[Solidity] fix codacy"}},{"before":"a78dda14a133ee4f17e1d3436724a212eec719f4","after":"3563d446919ac1bce609756db6c2c8f71537b279","ref":"refs/heads/master","pushedAt":"2024-05-27T18:54:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"[Solidity] rebase","shortMessageHtmlLink":"[Solidity] rebase"}},{"before":"b0f09b79bb23f4a98af31f9a6b5fe6435119b72f","after":"a78dda14a133ee4f17e1d3436724a212eec719f4","ref":"refs/heads/master","pushedAt":"2024-05-27T18:34:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"[Solidity] bug fix","shortMessageHtmlLink":"[Solidity] bug fix"}},{"before":"e256789630707100a2276c07a4b904dc6e47bdbd","after":"b0f09b79bb23f4a98af31f9a6b5fe6435119b72f","ref":"refs/heads/master","pushedAt":"2024-05-27T18:22:47.000Z","pushType":"push","commitsCount":41,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"[Solidity] add regression test","shortMessageHtmlLink":"[Solidity] add regression test"}},{"before":"602c8d68d934078caea2010adeabefeae321ffe4","after":"e256789630707100a2276c07a4b904dc6e47bdbd","ref":"refs/heads/master","pushedAt":"2024-05-27T18:19:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"Update BUILDING.md","shortMessageHtmlLink":"Update BUILDING.md"}},{"before":"64756933e7365c8bea9f7cddef0499e9f86eb06c","after":"602c8d68d934078caea2010adeabefeae321ffe4","ref":"refs/heads/master","pushedAt":"2024-05-27T18:15:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"Address review comments","shortMessageHtmlLink":"Address review comments"}},{"before":null,"after":"b0f09b79bb23f4a98af31f9a6b5fe6435119b72f","ref":"refs/heads/solidity_tuple","pushedAt":"2024-05-27T18:14:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ChenfengWei0","name":"Chenfeng Wei","path":"/ChenfengWei0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/105888669?s=80&v=4"},"commit":{"message":"[Solidity] add regression test","shortMessageHtmlLink":"[Solidity] add regression test"}},{"before":"0837bae84f4a46f780051bfd56a7a5f2b0157668","after":"cb43669e23dc155944a1828a2bca244bed147853","ref":"refs/heads/tuple_support","pushedAt":"2024-05-09T15:17:53.000Z","pushType":"push","commitsCount":123,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Clean Up Code","shortMessageHtmlLink":"Clean Up Code"}},{"before":"47a523b73b10a277031868850220974adf135b5f","after":"64756933e7365c8bea9f7cddef0499e9f86eb06c","ref":"refs/heads/master","pushedAt":"2024-04-15T12:17:54.000Z","pushType":"push","commitsCount":123,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/master' into tuple_support","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/master' into tuple_support"}},{"before":"be01d6bca22e7f191df4aa4b60f8b3f023ec2b96","after":"0837bae84f4a46f780051bfd56a7a5f2b0157668","ref":"refs/heads/tuple_support","pushedAt":"2024-04-15T12:15:00.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Attempt to Clean Up","shortMessageHtmlLink":"Attempt to Clean Up"}},{"before":"b1d07fd9c3148b883ecd4fbad47cd8f93a0c5549","after":"47a523b73b10a277031868850220974adf135b5f","ref":"refs/heads/master","pushedAt":"2024-03-08T00:59:03.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge branch 'esbmc:master' into master","shortMessageHtmlLink":"Merge branch 'esbmc:master' into master"}},{"before":"a858bab4545596d342bffa1ecc2dbf78cf4f7607","after":"b1d07fd9c3148b883ecd4fbad47cd8f93a0c5549","ref":"refs/heads/master","pushedAt":"2024-03-08T00:58:33.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge pull request #4 from JacobYiu/tuple_support\n\nMerge","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2175085427\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JacobYiu/esbmc/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JacobYiu/esbmc/pull/4/hovercard\" href=\"https://github.com/JacobYiu/esbmc/pull/4\">#4</a> from JacobYiu/tuple_support"}},{"before":"cd53815accfe99f1f95deb9924b69d504f269312","after":"be01d6bca22e7f191df4aa4b60f8b3f023ec2b96","ref":"refs/heads/tuple_support","pushedAt":"2024-03-08T00:57:04.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Fix bug for tuple expressions which ignore some values","shortMessageHtmlLink":"Fix bug for tuple expressions which ignore some values"}},{"before":"62c4084581f441bd58cf87d700aabfb13583d906","after":"a858bab4545596d342bffa1ecc2dbf78cf4f7607","ref":"refs/heads/master","pushedAt":"2024-03-07T01:15:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge pull request #3 from JacobYiu/tuple_support\n\nMerge branch 'esbmc:master' into tuple_support","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2172749178\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JacobYiu/esbmc/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JacobYiu/esbmc/pull/3/hovercard\" href=\"https://github.com/JacobYiu/esbmc/pull/3\">#3</a> from JacobYiu/tuple_support"}},{"before":"e0f1431835cd051662707c194d2ad13ee3cc99cb","after":"62c4084581f441bd58cf87d700aabfb13583d906","ref":"refs/heads/master","pushedAt":"2024-03-07T01:14:47.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge branch 'esbmc:master' into master","shortMessageHtmlLink":"Merge branch 'esbmc:master' into master"}},{"before":"ef0da677c388800ef2ff02b9db4cd99ea9eac2a3","after":"cd53815accfe99f1f95deb9924b69d504f269312","ref":"refs/heads/tuple_support","pushedAt":"2024-03-07T01:05:58.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge branch 'esbmc:master' into tuple_support","shortMessageHtmlLink":"Merge branch 'esbmc:master' into tuple_support"}},{"before":"a708110a872a863513a319e9a0b00b59647aecb8","after":"e0f1431835cd051662707c194d2ad13ee3cc99cb","ref":"refs/heads/master","pushedAt":"2024-03-05T02:27:11.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge pull request #2 from JacobYiu/tuple_support\n\nTuple support","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2168147842\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JacobYiu/esbmc/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JacobYiu/esbmc/pull/2/hovercard\" href=\"https://github.com/JacobYiu/esbmc/pull/2\">#2</a> from JacobYiu/tuple_support"}},{"before":"6c260345e911a541b0751a4e2f6382135e36844c","after":"ef0da677c388800ef2ff02b9db4cd99ea9eac2a3","ref":"refs/heads/tuple_support","pushedAt":"2024-03-05T02:22:27.000Z","pushType":"push","commitsCount":61,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge branch 'esbmc:master' into tuple_support","shortMessageHtmlLink":"Merge branch 'esbmc:master' into tuple_support"}},{"before":"b5f097fd5d281e7dbee52292a7330c41fdad01ac","after":"a708110a872a863513a319e9a0b00b59647aecb8","ref":"refs/heads/master","pushedAt":"2024-03-05T02:22:18.000Z","pushType":"push","commitsCount":61,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge branch 'esbmc:master' into master","shortMessageHtmlLink":"Merge branch 'esbmc:master' into master"}},{"before":"e57506e08f062f6eebce153dea502bff86519fab","after":"6c260345e911a541b0751a4e2f6382135e36844c","ref":"refs/heads/tuple_support","pushedAt":"2024-02-28T16:43:04.000Z","pushType":"push","commitsCount":49,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Remove Unused Functions","shortMessageHtmlLink":"Remove Unused Functions"}},{"before":"272a7f4691a4fbf2d71df8ba70163017e2721be0","after":"b5f097fd5d281e7dbee52292a7330c41fdad01ac","ref":"refs/heads/master","pushedAt":"2024-02-26T23:28:34.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"merge with tuple_support","shortMessageHtmlLink":"merge with tuple_support"}},{"before":"d77d82ccae3ac001003713372c8f3b69e22eff1e","after":"272a7f4691a4fbf2d71df8ba70163017e2721be0","ref":"refs/heads/master","pushedAt":"2024-02-26T23:26:51.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Finished LHS and created struct","shortMessageHtmlLink":"Finished LHS and created struct"}},{"before":"43fe4aff68218eb1953ec4aacbba7cf9a293d068","after":"d77d82ccae3ac001003713372c8f3b69e22eff1e","ref":"refs/heads/master","pushedAt":"2024-02-26T22:44:07.000Z","pushType":"push","commitsCount":44,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge branch 'esbmc:master' into master","shortMessageHtmlLink":"Merge branch 'esbmc:master' into master"}},{"before":"06c6f205fa473a2f002189508840aa131c5740c2","after":"e57506e08f062f6eebce153dea502bff86519fab","ref":"refs/heads/tuple_support","pushedAt":"2024-02-26T22:43:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Created Tuple Struct and Initialized Value","shortMessageHtmlLink":"Created Tuple Struct and Initialized Value"}},{"before":"fa3c7565910fd162956f2f41e58e233670687b97","after":"06c6f205fa473a2f002189508840aa131c5740c2","ref":"refs/heads/tuple_support","pushedAt":"2024-02-22T12:04:19.000Z","pushType":"push","commitsCount":99,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Finished LHS and created struct","shortMessageHtmlLink":"Finished LHS and created struct"}},{"before":"da10a74e15088434819d368a107d735fba87882b","after":"43fe4aff68218eb1953ec4aacbba7cf9a293d068","ref":"refs/heads/master","pushedAt":"2024-02-22T09:39:46.000Z","pushType":"push","commitsCount":97,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Merge branch 'esbmc:master' into master","shortMessageHtmlLink":"Merge branch 'esbmc:master' into master"}},{"before":"e1133863a6e205c5a5f1c133a4f6d4317ed014ff","after":"fa3c7565910fd162956f2f41e58e233670687b97","ref":"refs/heads/tuple_support","pushedAt":"2024-02-22T09:39:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JacobYiu","name":"Jacob Yiu","path":"/JacobYiu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52522679?s=80&v=4"},"commit":{"message":"Pull to get bug fix","shortMessageHtmlLink":"Pull to get bug fix"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yOFQwODoxNTowNi4wMDAwMDBazwAAAARVlceZ","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yOFQwODoxNTowNi4wMDAwMDBazwAAAARVlceZ","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0yMlQwOTozOToxMC4wMDAwMDBazwAAAAQBy9d-"}},"title":"Activity · JacobYiu/esbmc"}