{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":652006338,"defaultBranch":"master","name":"program_synthesis_benchmarks","ownerLogin":"Saksham4796","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-10T19:24:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/45592444?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1686425082.883342","currentOid":""},"activityList":{"items":[{"before":"746eb80deb14e7644ae77e16a48b0703aa291bd9","after":"daf6139786db48a45a9c1fc89f41e04a6e36e615","ref":"refs/heads/master","pushedAt":"2023-07-06T22:06:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"commit","shortMessageHtmlLink":"commit"}},{"before":"9f37f6cd8b5dfb9b84b82e220d49ffced4c2669e","after":"746eb80deb14e7644ae77e16a48b0703aa291bd9","ref":"refs/heads/master","pushedAt":"2023-06-30T18:31:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Benchmarks for Example directed Synthesis","shortMessageHtmlLink":"Benchmarks for Example directed Synthesis"}},{"before":"58adcfb977049a00a9466368657b049c4e2ccf52","after":"9f37f6cd8b5dfb9b84b82e220d49ffced4c2669e","ref":"refs/heads/master","pushedAt":"2023-06-23T17:23:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"49ad0b37c1c81e49796b04740103677075caad92","after":"58adcfb977049a00a9466368657b049c4e2ccf52","ref":"refs/heads/master","pushedAt":"2023-06-23T17:21:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Benchmarks for Escher","shortMessageHtmlLink":"Benchmarks for Escher"}},{"before":"26011298601c8b90f171b297df062b365ed4addf","after":"49ad0b37c1c81e49796b04740103677075caad92","ref":"refs/heads/master","pushedAt":"2023-06-19T22:35:03.910Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"fda2737d0c28997e8bd42a2fb54f48f2736cc4c4","after":"26011298601c8b90f171b297df062b365ed4addf","ref":"refs/heads/master","pushedAt":"2023-06-19T22:34:15.796Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Benchmarks for Lambda Square","shortMessageHtmlLink":"Benchmarks for Lambda Square"}},{"before":"f0ce425a7dbc3c92738b0c4cf8fec1915aed9b1c","after":"fda2737d0c28997e8bd42a2fb54f48f2736cc4c4","ref":"refs/heads/master","pushedAt":"2023-06-19T17:33:43.989Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"0e6e36a3bb8f661f7e43d69b7fa4f2c15620575d","after":"f0ce425a7dbc3c92738b0c4cf8fec1915aed9b1c","ref":"refs/heads/master","pushedAt":"2023-06-19T17:30:43.605Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b29479a8f027bf6d79fb4acc966b1f787cba99c9","after":"0e6e36a3bb8f661f7e43d69b7fa4f2c15620575d","ref":"refs/heads/master","pushedAt":"2023-06-19T17:30:06.803Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"874722d48d7e48ac112de83a6b49c61d56aef5d6","after":"b29479a8f027bf6d79fb4acc966b1f787cba99c9","ref":"refs/heads/master","pushedAt":"2023-06-19T15:52:39.679Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"82156e4293e2429f3ada6363629c082e626c1e09","after":"874722d48d7e48ac112de83a6b49c61d56aef5d6","ref":"refs/heads/master","pushedAt":"2023-06-19T15:52:06.325Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"67690d35eaa87ab9d1614f8c8b92a1159ee8c77f","after":"82156e4293e2429f3ada6363629c082e626c1e09","ref":"refs/heads/master","pushedAt":"2023-06-19T15:51:35.391Z","pushType":"push","commitsCount":2,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}},{"before":"2de5263399483fb422e6968a195cf79159a02469","after":"67690d35eaa87ab9d1614f8c8b92a1159ee8c77f","ref":"refs/heads/master","pushedAt":"2023-06-19T15:48:32.989Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"32a0a0bf0df241a66a1a807a50d061700728dffd","after":"2de5263399483fb422e6968a195cf79159a02469","ref":"refs/heads/master","pushedAt":"2023-06-19T15:31:51.773Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f2004868d57f61c9cf1cf4dea06397773afa486a","after":"32a0a0bf0df241a66a1a807a50d061700728dffd","ref":"refs/heads/master","pushedAt":"2023-06-19T15:26:48.070Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"20170ea88f805bd4a6eb527306613f17927636b6","after":"f2004868d57f61c9cf1cf4dea06397773afa486a","ref":"refs/heads/master","pushedAt":"2023-06-17T23:10:50.823Z","pushType":"push","commitsCount":2,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}},{"before":"7878ed328f0bcf775f5fd605f6ada86e93371c5d","after":"20170ea88f805bd4a6eb527306613f17927636b6","ref":"refs/heads/master","pushedAt":"2023-06-10T21:37:07.796Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"ca23188e276f16181c4946112e074105c7c6a750","after":"7878ed328f0bcf775f5fd605f6ada86e93371c5d","ref":"refs/heads/master","pushedAt":"2023-06-10T21:35:27.618Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Benchmarks of Leon","shortMessageHtmlLink":"Benchmarks of Leon"}},{"before":"19820c98f8ac7d0992e9ac3db93ce32cba798b3d","after":"ca23188e276f16181c4946112e074105c7c6a750","ref":"refs/heads/master","pushedAt":"2023-06-10T19:32:07.186Z","pushType":"push","commitsCount":2,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}},{"before":"1806cd27faa163e1281ae61ece1f4ffe9039b10b","after":"19820c98f8ac7d0992e9ac3db93ce32cba798b3d","ref":"refs/heads/master","pushedAt":"2023-06-10T19:25:16.849Z","pushType":"push","commitsCount":1,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"1806cd27faa163e1281ae61ece1f4ffe9039b10b","ref":"refs/heads/master","pushedAt":"2023-06-10T19:24:42.883Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saksham4796","name":"Saksham Sahai Srivastava","path":"/Saksham4796","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45592444?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0wNlQyMjowNjozMy4wMDAwMDBazwAAAANQaQZs","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0xMFQxOToyNDo0Mi44ODMzNDJazwAAAAM-0kxh"}},"title":"Activity · Saksham4796/program_synthesis_benchmarks"}