{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":799662983,"defaultBranch":"main","name":"regex-equivalence","ownerLogin":"tean-lai","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-05-12T19:51:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/113626567?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715543495.0","currentOid":""},"activityList":{"items":[{"before":"934ae508d724ae5c0f26a57e459ec867ef38f62b","after":"9ab01ded234ea4627ced321aa6de0e1074d1616a","ref":"refs/heads/main","pushedAt":"2024-05-21T13:42:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"Update and rename README.txt to README.md","shortMessageHtmlLink":"Update and rename README.txt to README.md"}},{"before":"8e449820d18293c5c1e696fe8fb6e531ba6d32e9","after":"934ae508d724ae5c0f26a57e459ec867ef38f62b","ref":"refs/heads/main","pushedAt":"2024-05-20T21:10:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"Submission version","shortMessageHtmlLink":"Submission version"}},{"before":"2da033f0979d8fa82071d488f59dd07f897c85e0","after":"8e449820d18293c5c1e696fe8fb6e531ba6d32e9","ref":"refs/heads/main","pushedAt":"2024-05-20T19:58:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"factored out bisimulation algorithm","shortMessageHtmlLink":"factored out bisimulation algorithm"}},{"before":"fb16493653047217c0a3318b45b1b8533354cbc8","after":"2da033f0979d8fa82071d488f59dd07f897c85e0","ref":"refs/heads/main","pushedAt":"2024-05-20T19:32:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"brzowski derivatives work!","shortMessageHtmlLink":"brzowski derivatives work!"}},{"before":"bcc71c8fba951cdb2ed700bbd60a1eda0ee42148","after":"fb16493653047217c0a3318b45b1b8533354cbc8","ref":"refs/heads/main","pushedAt":"2024-05-20T17:12:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"backup","shortMessageHtmlLink":"backup"}},{"before":"6946b3b168a6766f0b497045386d2eb8b4aad053","after":"bcc71c8fba951cdb2ed700bbd60a1eda0ee42148","ref":"refs/heads/main","pushedAt":"2024-05-19T23:27:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"implement f, list version","shortMessageHtmlLink":"implement f, list version"}},{"before":"c60c59163d3fc4d5c70495abcba49ee7388a0141","after":"6946b3b168a6766f0b497045386d2eb8b4aad053","ref":"refs/heads/main","pushedAt":"2024-05-19T22:24:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"changed exp data type\n\n- now sums and prods hold lists","shortMessageHtmlLink":"changed exp data type"}},{"before":"c1d40cc39e8a6fd77eb4a562ccd5c9434c76d00e","after":"c60c59163d3fc4d5c70495abcba49ee7388a0141","ref":"refs/heads/main","pushedAt":"2024-05-17T23:50:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"backup","shortMessageHtmlLink":"backup"}},{"before":"a4a55c2ead2e8b55d27724d78173b7b76f57915a","after":"c1d40cc39e8a6fd77eb4a562ccd5c9434c76d00e","ref":"refs/heads/main","pushedAt":"2024-05-13T12:07:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?s=80&v=4"},"commit":{"message":"Almost done\n\n- Parser implemented\n- Equivalence fixed\n- Nfae to dfa","shortMessageHtmlLink":"Almost done"}},{"before":null,"after":"a4a55c2ead2e8b55d27724d78173b7b76f57915a","ref":"refs/heads/main","pushedAt":"2024-05-12T19:51:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tean-lai","name":null,"path":"/tean-lai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/113626567?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,"cursor":"djE6ks8AAAAET-e56gA","startCursor":null,"endCursor":null}},"title":"Activity · tean-lai/regex-equivalence"}