{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":647436525,"defaultBranch":"aug2023","name":"demo","ownerLogin":"TCT-web3","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-30T19:28:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/134952846?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716322209.0","currentOid":""},"activityList":{"items":[{"before":"566b1804dcb9f1fd11a960eb98535be78f354160","after":"709b86bac42de994411fd772cb7766847d9c9e30","ref":"refs/heads/ashley","pushedAt":"2024-05-22T02:15:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ash-jyc","name":"ash","path":"/ash-jyc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119479739?s=80&v=4"},"commit":{"message":"all files","shortMessageHtmlLink":"all files"}},{"before":"9e5aee9c3daca4849315c43f1f3390ad7c1320de","after":"566b1804dcb9f1fd11a960eb98535be78f354160","ref":"refs/heads/ashley","pushedAt":"2024-05-22T02:15:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ash-jyc","name":"ash","path":"/ash-jyc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119479739?s=80&v=4"},"commit":{"message":"all files","shortMessageHtmlLink":"all files"}},{"before":"f658cfa5b0012b77c0ab221a7c42cbe6989cad4a","after":"9e5aee9c3daca4849315c43f1f3390ad7c1320de","ref":"refs/heads/ashley","pushedAt":"2024-05-22T02:14:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ash-jyc","name":"ash","path":"/ash-jyc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119479739?s=80&v=4"},"commit":{"message":"all files","shortMessageHtmlLink":"all files"}},{"before":"bbd5fb4817eef7012cbd552fc912a5455d2a90e5","after":"f658cfa5b0012b77c0ab221a7c42cbe6989cad4a","ref":"refs/heads/ashley","pushedAt":"2024-05-22T01:05:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ash-jyc","name":"ash","path":"/ash-jyc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119479739?s=80&v=4"},"commit":{"message":"updates","shortMessageHtmlLink":"updates"}},{"before":"dbd6ecc1dfe876b8e3fc0e6ab8bd1763582a089e","after":"bbd5fb4817eef7012cbd552fc912a5455d2a90e5","ref":"refs/heads/ashley","pushedAt":"2024-05-21T21:01:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ash-jyc","name":"ash","path":"/ash-jyc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119479739?s=80&v=4"},"commit":{"message":"good to go","shortMessageHtmlLink":"good to go"}},{"before":"fb491d12080dd2b2a780048b56947f6037c14a79","after":"dbd6ecc1dfe876b8e3fc0e6ab8bd1763582a089e","ref":"refs/heads/ashley","pushedAt":"2024-05-21T20:21:32.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"ash-jyc","name":"ash","path":"/ash-jyc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119479739?s=80&v=4"},"commit":{"message":"Merge branch 'aug2023' of https://github.com/TCT-web3/demo into ashley","shortMessageHtmlLink":"Merge branch 'aug2023' of <a href=\"https://github.com/TCT-web3/demo\">https://github.com/TCT-web3/demo</a> into ashley"}},{"before":null,"after":"fb491d12080dd2b2a780048b56947f6037c14a79","ref":"refs/heads/ashley","pushedAt":"2024-05-21T20:10:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ash-jyc","name":"ash","path":"/ash-jyc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119479739?s=80&v=4"},"commit":{"message":"new tokens","shortMessageHtmlLink":"new tokens"}},{"before":"2e2291bafaef23815d9c3607c8594be45176efde","after":"d4824bbb8de6cddc7a39b8bd6b52ce8458be30a5","ref":"refs/heads/main","pushedAt":"2024-05-16T16:31:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ash-jyc","name":"ash","path":"/ash-jyc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119479739?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/TCT-web3/demo into may2023","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/TCT-web3/demo\">https://github.com/TCT-web3/demo</a> into may2023"}},{"before":null,"after":"2e2291bafaef23815d9c3607c8594be45176efde","ref":"refs/heads/main","pushedAt":"2024-05-10T22:31:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cs0317","name":"Shuo Chen","path":"/cs0317","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12972304?s=80&v=4"},"commit":{"message":"add top-5 ERC20 tokens to prove the transfer transaction","shortMessageHtmlLink":"add top-5 ERC20 tokens to prove the transfer transaction"}},{"before":"876a1b010b2b15db53013dc177c5bbbde0bd024c","after":"96c18d255db0b48a4e9e10b5513e26f16eb08355","ref":"refs/heads/aug2023","pushedAt":"2023-10-15T23:43:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cs0317","name":"Shuo Chen","path":"/cs0317","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12972304?s=80&v=4"},"commit":{"message":"a small update to the theorem of removeLiquidity","shortMessageHtmlLink":"a small update to the theorem of removeLiquidity"}},{"before":"2b9cb9c3032437a00c4f8300ad427a7a4004e62e","after":"876a1b010b2b15db53013dc177c5bbbde0bd024c","ref":"refs/heads/aug2023","pushedAt":"2023-10-12T20:44:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cs0317","name":"Shuo Chen","path":"/cs0317","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12972304?s=80&v=4"},"commit":{"message":"add the time measurement commands","shortMessageHtmlLink":"add the time measurement commands"}},{"before":"4b30c9d8917e330a6dbba481403d3eab01a83930","after":"2b9cb9c3032437a00c4f8300ad427a7a4004e62e","ref":"refs/heads/aug2023","pushedAt":"2023-09-05T21:51:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cs0317","name":"Shuo Chen","path":"/cs0317","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12972304?s=80&v=4"},"commit":{"message":"add a test file to allow direct invoking the Router contract","shortMessageHtmlLink":"add a test file to allow direct invoking the Router contract"}},{"before":"1875a9cb92cac8086a9676985455de48e5e29f35","after":"fd7728c3ea01e9f06e18b0f591555b0c628f9a19","ref":"refs/heads/hyposynth","pushedAt":"2023-08-28T20:29:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cs0317","name":"Shuo Chen","path":"/cs0317","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12972304?s=80&v=4"},"commit":{"message":"remove the \"./\" in order to run on Windows as well","shortMessageHtmlLink":"remove the \"./\" in order to run on Windows as well"}},{"before":"818074e8535600f05965a84752c91ac5dbf5626c","after":"1875a9cb92cac8086a9676985455de48e5e29f35","ref":"refs/heads/hyposynth","pushedAt":"2023-08-25T16:05:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"test on Uniswap traces","shortMessageHtmlLink":"test on Uniswap traces"}},{"before":"c407af5dd3e1e3abfb90c71ceb1cb992ed39e8fe","after":"818074e8535600f05965a84752c91ac5dbf5626c","ref":"refs/heads/hyposynth","pushedAt":"2023-08-25T02:51:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"small fix","shortMessageHtmlLink":"small fix"}},{"before":"94b4f6776f244cb9e24e8be86de560c8798e0373","after":"c407af5dd3e1e3abfb90c71ceb1cb992ed39e8fe","ref":"refs/heads/hyposynth","pushedAt":"2023-08-25T02:49:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"fix bugs in hypothesis storage","shortMessageHtmlLink":"fix bugs in hypothesis storage"}},{"before":"cdc14846aef1fb4342ceb3e6fc97dbc7dbdd4655","after":"94b4f6776f244cb9e24e8be86de560c8798e0373","ref":"refs/heads/hyposynth","pushedAt":"2023-08-25T01:18:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"clean up","shortMessageHtmlLink":"clean up"}},{"before":"f81b1283423af2d4a2939766852f775eabeec235","after":"cdc14846aef1fb4342ceb3e6fc97dbc7dbdd4655","ref":"refs/heads/hyposynth","pushedAt":"2023-08-25T00:33:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"optimization","shortMessageHtmlLink":"optimization"}},{"before":"f26fc4341b6034c6ffc83694be93cdfed9e920fb","after":"f81b1283423af2d4a2939766852f775eabeec235","ref":"refs/heads/hyposynth","pushedAt":"2023-08-22T21:16:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"documentation","shortMessageHtmlLink":"documentation"}},{"before":"6b71ec65f587319289edd58e1ee84c923638b477","after":"f26fc4341b6034c6ffc83694be93cdfed9e920fb","ref":"refs/heads/hyposynth","pushedAt":"2023-08-22T19:55:37.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"upper bound manipulation","shortMessageHtmlLink":"upper bound manipulation"}},{"before":"868d3864019ff5b737f7f3bdc43db111148003d7","after":"6b71ec65f587319289edd58e1ee84c923638b477","ref":"refs/heads/hyposynth","pushedAt":"2023-08-22T17:51:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"c3d91e4806aae7e46003f29108a4344a082b9349","after":"868d3864019ff5b737f7f3bdc43db111148003d7","ref":"refs/heads/hyposynth","pushedAt":"2023-08-22T17:23:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"theorem","shortMessageHtmlLink":"theorem"}},{"before":"c9f8f364967f94e789c77e5116e9b78f6bb3222f","after":"c3d91e4806aae7e46003f29108a4344a082b9349","ref":"refs/heads/hyposynth","pushedAt":"2023-08-22T17:11:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"updates","shortMessageHtmlLink":"updates"}},{"before":"9017341bd24fe84c7ed513fb1b50429b59b081ea","after":"c9f8f364967f94e789c77e5116e9b78f6bb3222f","ref":"refs/heads/hyposynth","pushedAt":"2023-08-19T01:52:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"ad7c0d1ffb4a422cb85901f2edd98bcbce705507","after":"9017341bd24fe84c7ed513fb1b50429b59b081ea","ref":"refs/heads/hyposynth","pushedAt":"2023-08-18T22:36:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"add ranges to integers","shortMessageHtmlLink":"add ranges to integers"}},{"before":"db894901a35dcce1fe1b68087e8e7048035540ba","after":"ad7c0d1ffb4a422cb85901f2edd98bcbce705507","ref":"refs/heads/hyposynth","pushedAt":"2023-08-18T21:36:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"updates","shortMessageHtmlLink":"updates"}},{"before":"610dce562e650bc212a195e554114ab600694295","after":"db894901a35dcce1fe1b68087e8e7048035540ba","ref":"refs/heads/hyposynth","pushedAt":"2023-08-18T21:20:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"finish stage 1 of hypothesis synthesis","shortMessageHtmlLink":"finish stage 1 of hypothesis synthesis"}},{"before":"14f52f73e4ff6098b2c6ef67e71b74085e3c2369","after":"610dce562e650bc212a195e554114ab600694295","ref":"refs/heads/hyposynth","pushedAt":"2023-08-18T05:46:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"updates","shortMessageHtmlLink":"updates"}},{"before":"58ae33df118820318496e8a2f9bb036e5af65b14","after":"14f52f73e4ff6098b2c6ef67e71b74085e3c2369","ref":"refs/heads/hyposynth","pushedAt":"2023-08-18T05:22:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"raw_traces","shortMessageHtmlLink":"raw_traces"}},{"before":"928e2e3d492bed3ddb8b6f105db58438f520a62d","after":"58ae33df118820318496e8a2f9bb036e5af65b14","ref":"refs/heads/hyposynth","pushedAt":"2023-08-18T05:17:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tzuhancs","name":"Tzu-Han","path":"/tzuhancs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44557632?s=80&v=4"},"commit":{"message":"get concrete values from SSTORE/SLOAD","shortMessageHtmlLink":"get concrete values from SSTORE/SLOAD"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yMlQwMjoxNToxOS4wMDAwMDBazwAAAARQcV_J","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yMlQwMjoxNToxOS4wMDAwMDBazwAAAARQcV_J","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xOFQwNToxNzozMi4wMDAwMDBazwAAAANtRz-V"}},"title":"Activity · TCT-web3/demo"}