{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":585061578,"defaultBranch":"main","name":"transpilation","ownerLogin":"NeuralCoder3","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-01-04T08:10:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/43005464?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1672871570.808096","currentOid":""},"activityList":{"items":[{"before":"2cabe5f8989baa450a2b5fe6588e8fb9c6b11b9e","after":"24222c009fa53485dc68b59656e47b208aea1280","ref":"refs/heads/main","pushedAt":"2023-06-02T13:50:51.427Z","pushType":"push","commitsCount":2,"pusher":{"login":"NeuralCoder3","name":"Marcel Ullrich","path":"/NeuralCoder3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43005464?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/NeuralCoder3/transpilation","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/NeuralCoder3/transpilation\">https://github.com/NeuralCoder3/transpilation</a>"}},{"before":"97c18622c7bba2358d919fe03417fb573db85654","after":"2cabe5f8989baa450a2b5fe6588e8fb9c6b11b9e","ref":"refs/heads/main","pushedAt":"2023-06-02T12:17:12.550Z","pushType":"push","commitsCount":1,"pusher":{"login":"NeuralCoder3","name":"Marcel Ullrich","path":"/NeuralCoder3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43005464?s=80&v=4"},"commit":{"message":"pdf for easier readability","shortMessageHtmlLink":"pdf for easier readability"}},{"before":"186e3b7759660e649cab3bb631cb48e8a890e362","after":"97c18622c7bba2358d919fe03417fb573db85654","ref":"refs/heads/main","pushedAt":"2023-05-03T08:36:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"NeuralCoder3","name":"Marcel Ullrich","path":"/NeuralCoder3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43005464?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/NeuralCoder3/transpilation","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/NeuralCoder3/transpilation\">https://github.com/NeuralCoder3/transpilation</a>"}},{"before":"6d4394458302f8d5c4a6ed9dc8e4b1a443fb85c4","after":"186e3b7759660e649cab3bb631cb48e8a890e362","ref":"refs/heads/main","pushedAt":"2023-05-03T08:35:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NeuralCoder3","name":"Marcel Ullrich","path":"/NeuralCoder3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43005464?s=80&v=4"},"commit":{"message":"additional interesting papers about program equivalence and certified synthesis","shortMessageHtmlLink":"additional interesting papers about program equivalence and certified…"}},{"before":"3349dcca044b102b634cf0929793e52045bb0fe5","after":"6d4394458302f8d5c4a6ed9dc8e4b1a443fb85c4","ref":"refs/heads/main","pushedAt":"2023-04-18T13:32:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NeuralCoder3","name":"Marcel Ullrich","path":"/NeuralCoder3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43005464?s=80&v=4"},"commit":{"message":"related oopsla papers","shortMessageHtmlLink":"related oopsla papers"}},{"before":"132e16b1f9ac642402687c5860f677a3fc747b2b","after":"3349dcca044b102b634cf0929793e52045bb0fe5","ref":"refs/heads/main","pushedAt":"2023-03-24T14:50:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NeuralCoder3","name":"Marcel Ullrich","path":"/NeuralCoder3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43005464?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"234c0661b6408c977d0d57b622b5cc0345b8a9f4","after":"132e16b1f9ac642402687c5860f677a3fc747b2b","ref":"refs/heads/main","pushedAt":"2023-03-20T09:18:07.035Z","pushType":"push","commitsCount":1,"pusher":{"login":"NeuralCoder3","name":"Marcel Ullrich","path":"/NeuralCoder3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43005464?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"5668d4288ad755e1a8e9514ec4db9f311a04c6fd","after":"234c0661b6408c977d0d57b622b5cc0345b8a9f4","ref":"refs/heads/main","pushedAt":"2023-03-08T15:18:44.165Z","pushType":"push","commitsCount":1,"pusher":{"login":"NeuralCoder3","name":"Marcel Ullrich","path":"/NeuralCoder3","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43005464?s=80&v=4"},"commit":{"message":"error minimization papers","shortMessageHtmlLink":"error minimization papers"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADOYbdkgA","startCursor":null,"endCursor":null}},"title":"Activity · NeuralCoder3/transpilation"}