{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":370303368,"defaultBranch":"main","name":"TyRE","ownerLogin":"kasiaMarek","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-24T09:50:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/26606662?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1680172938.581859","currentOid":""},"activityList":{"items":[{"before":"d6d6f65f4e2d07db6ca1dacf23887b9e823688a9","after":"5ad08fedd515d42058387a73c513abe996677c39","ref":"refs/heads/main","pushedAt":"2024-01-22T20:55:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"8e5c6609aeb0dedac46eb5aae52e220a7daba03e","after":"cacc20d1043e8211c35d0e1217052ed1363f1ceb","ref":"refs/heads/performance-README","pushedAt":"2023-04-26T17:35:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Add parsec test to group tests.","shortMessageHtmlLink":"Add parsec test to group tests."}},{"before":"b5775d2c7ce9e1a0a2515350967be14f9e5cc60c","after":"ce33ffc6fcda533b4d5a7fc896443ebd822bcc00","ref":"refs/heads/submission-merges","pushedAt":"2023-04-25T18:35:53.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Merge","shortMessageHtmlLink":"Merge"}},{"before":"22b90b76c91cc7ce14d19cd4a5dcaff8d54d2c4f","after":"8e5c6609aeb0dedac46eb5aae52e220a7daba03e","ref":"refs/heads/performance-README","pushedAt":"2023-04-25T16:47:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Tweak figure-generating scripts\n\nAdd a 'verbose' command line argument\nMake Y-axis limit into a uniform parameter of the script\nTweak colours to be consistent with the manuscript","shortMessageHtmlLink":"Tweak figure-generating scripts"}},{"before":"47bfd97be2aa382c1fbf3f599373a42b01f93e09","after":"22b90b76c91cc7ce14d19cd4a5dcaff8d54d2c4f","ref":"refs/heads/performance-README","pushedAt":"2023-04-25T08:45:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Update performance/runtests.py","shortMessageHtmlLink":"Update performance/runtests.py"}},{"before":null,"after":"47bfd97be2aa382c1fbf3f599373a42b01f93e09","ref":"refs/heads/performance-README","pushedAt":"2023-03-30T10:42:18.581Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"README for performance tests","shortMessageHtmlLink":"README for performance tests"}},{"before":null,"after":"437f5a15198754408908d4b7ac61e6af7ca72977","ref":"refs/heads/wee-partial-evaluation","pushedAt":"2023-03-23T07:13:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Add some partial evaluation for single-character matching using anonymous functions\n\n(TODO: profile to evaluate consequences.)","shortMessageHtmlLink":"Add some partial evaluation for single-character matching using anony…"}},{"before":"b77a737b0f74f70989b2a1366cb591ca4e3ef55a","after":"d6d6f65f4e2d07db6ca1dacf23887b9e823688a9","ref":"refs/heads/main","pushedAt":"2023-03-22T09:15:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"changes in performance tests for alternation","shortMessageHtmlLink":"changes in performance tests for alternation"}},{"before":null,"after":"0b2e77d14f38f0927af3cad4e7dcd5219f8f24b4","ref":"refs/heads/pretty-print","pushedAt":"2023-03-22T09:12:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"added pretty printer","shortMessageHtmlLink":"added pretty printer"}},{"before":"3b8a2a14ce915ae579ee7498428f6220c695f960","after":null,"ref":"refs/heads/transition-relation-renaming","pushedAt":"2023-03-22T09:06:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"}},{"before":"151c7ff4dcc5c09030d7b33b989b1977a62e3dd2","after":null,"ref":"refs/heads/init-state-types-subset","pushedAt":"2023-03-22T09:06:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"}},{"before":"1268b61fad576997ed9653b3ea796aa15fafa2d8","after":null,"ref":"refs/heads/snoc-stack","pushedAt":"2023-03-22T09:06:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"}},{"before":"cba8c9a960d5bf2c3cbc74a8f7dc6c7684442fd6","after":"b77a737b0f74f70989b2a1366cb591ca4e3ef55a","ref":"refs/heads/main","pushedAt":"2023-03-22T09:06:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"Rename: NextStateType -> TransitionRelation (#49)\n\nRename: NextStateType -> TransitionRelation and rename variables in InitStatesType\r\n---------\r\nCo-authored-by: Ohad Kammar <ohad.kammar@ed.ac.uk>","shortMessageHtmlLink":"Rename: NextStateType -&gt; TransitionRelation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1635069901\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kasiaMarek/TyRE/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kasiaMarek/TyRE/pull/49/hovercard\" href=\"https://github.com/kasiaMarek/TyRE/pull/49\">#49</a>)"}},{"before":"887445dda3e34729a0a0b43f55b793214b05801f","after":"3b8a2a14ce915ae579ee7498428f6220c695f960","ref":"refs/heads/transition-relation-renaming","pushedAt":"2023-03-22T09:05:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"Also rename variables in InitStatesType\n\nHopefully this won't generate a merge conflict with #47","shortMessageHtmlLink":"Also rename variables in InitStatesType"}},{"before":"39bf5f816bfd351028816fc169725a5a24af61b3","after":"887445dda3e34729a0a0b43f55b793214b05801f","ref":"refs/heads/transition-relation-renaming","pushedAt":"2023-03-22T09:03:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"Also rename variables in InitStatesType\n\nHopefully this won't generate a merge conflict with #47","shortMessageHtmlLink":"Also rename variables in InitStatesType"}},{"before":"9b5372cb35cf22ee7471b689d22b1275e0040c43","after":"cba8c9a960d5bf2c3cbc74a8f7dc6c7684442fd6","ref":"refs/heads/main","pushedAt":"2023-03-22T08:49:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"Change Stack's constructor name to (:<) so we may use snoc-list notation (#48)\n\nCo-authored-by: Ohad Kammar <ohad.kammar@ed.ac.uk>","shortMessageHtmlLink":"Change Stack's constructor name to (:&lt;) so we may use snoc-list notat…"}},{"before":"6e40ff94a514e21f787fa19c23573ea2ff9ffbb9","after":"9b5372cb35cf22ee7471b689d22b1275e0040c43","ref":"refs/heads/main","pushedAt":"2023-03-22T08:48:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kasiaMarek","name":"Katarzyna Marek","path":"/kasiaMarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26606662?s=80&v=4"},"commit":{"message":"Refactor InitStatesType t (#47)\n\nChange InitStatesType to erase the evidence that the (Snoc) routine is initial\r\n\r\nCo-authored-by: Ohad Kammar <ohad.kammar@ed.ac.uk>","shortMessageHtmlLink":"Refactor InitStatesType t (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1632697908\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kasiaMarek/TyRE/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kasiaMarek/TyRE/pull/47/hovercard\" href=\"https://github.com/kasiaMarek/TyRE/pull/47\">#47</a>)"}},{"before":"448174b3e3319d5356b489ba14496fb60a0877b4","after":"b5775d2c7ce9e1a0a2515350967be14f9e5cc60c","ref":"refs/heads/submission-merges","pushedAt":"2023-03-22T05:27:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/transition-relation-renaming' into submission-merges","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/transition-relation-renaming' in…"}},{"before":"2687bce523a71bc272cb5eae094fdbe56e8c5599","after":"39bf5f816bfd351028816fc169725a5a24af61b3","ref":"refs/heads/transition-relation-renaming","pushedAt":"2023-03-22T05:22:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Also rename variables in InitStatesType\n\nHopefully this won't generate a merge conflict with #47","shortMessageHtmlLink":"Also rename variables in InitStatesType"}},{"before":null,"after":"2687bce523a71bc272cb5eae094fdbe56e8c5599","ref":"refs/heads/transition-relation-renaming","pushedAt":"2023-03-22T05:19:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Rename: NextStateType -> TransitionRelation","shortMessageHtmlLink":"Rename: NextStateType -&gt; TransitionRelation"}},{"before":"b77673ef656c6d5eca4d4399ddffbc9495f3ea85","after":"448174b3e3319d5356b489ba14496fb60a0877b4","ref":"refs/heads/submission-merges","pushedAt":"2023-03-21T16:02:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/snoc-stack' into submission-merges","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/snoc-stack' into submission-merges"}},{"before":null,"after":"1268b61fad576997ed9653b3ea796aa15fafa2d8","ref":"refs/heads/snoc-stack","pushedAt":"2023-03-21T16:01:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Change Stack's constructor name to (:<) so we may use snoc-list notation","shortMessageHtmlLink":"Change Stack's constructor name to (:&lt;) so we may use snoc-list notation"}},{"before":"ee82cfccf78ee9374b9f6abd5c408fd2092e11bf","after":"b77673ef656c6d5eca4d4399ddffbc9495f3ea85","ref":"refs/heads/submission-merges","pushedAt":"2023-03-20T19:38:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/init-state-types-subset' into submission-merges","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/init-state-types-subset' into su…"}},{"before":"a0966ec516328a87027ab06d0a13bdcb259d4816","after":"151c7ff4dcc5c09030d7b33b989b1977a62e3dd2","ref":"refs/heads/init-state-types-subset","pushedAt":"2023-03-20T19:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Refactor to only have a generic data structure `EitherErased`","shortMessageHtmlLink":"Refactor to only have a generic data structure <code>EitherErased</code>"}},{"before":null,"after":"ee82cfccf78ee9374b9f6abd5c408fd2092e11bf","ref":"refs/heads/submission-merges","pushedAt":"2023-03-20T19:03:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/init-state-types-subset' into submission-merges","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/init-state-types-subset' into su…"}},{"before":null,"after":"a0966ec516328a87027ab06d0a13bdcb259d4816","ref":"refs/heads/init-state-types-subset","pushedAt":"2023-03-20T19:00:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Change InitStatesType to erase the evidence that the (Snoc) routine is initial","shortMessageHtmlLink":"Change InitStatesType to erase the evidence that the (Snoc) routine i…"}},{"before":null,"after":"4838176bd58e51c56e91d878d0c98ce6cacb362f","ref":"refs/heads/disjointMatches","pushedAt":"2023-03-18T11:50:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ohad","name":"Ohad Kammar","path":"/ohad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/536511?s=80&v=4"},"commit":{"message":"Add conversion functions to structural desc of disjoint matches","shortMessageHtmlLink":"Add conversion functions to structural desc of disjoint matches"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yMlQyMDo1NTo0MS4wMDAwMDBazwAAAAPmP2eR","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yMlQyMDo1NTo0MS4wMDAwMDBazwAAAAPmP2eR","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0xOFQxMTo1MDo1MS4wMDAwMDBazwAAAAMGNR8M"}},"title":"Activity · kasiaMarek/TyRE"}