{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":496605946,"defaultBranch":"devel","name":"mata","ownerLogin":"VeriFIT","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-26T12:10:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13378354?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724441080.0","currentOid":""},"activityList":{"items":[{"before":"35c903c12e94135f51e83a4125f0347416dc88f8","after":null,"ref":"refs/heads/expand_alphabets","pushedAt":"2024-08-23T19:24:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"}},{"before":"9ab16750f0a76bcced6e6bade821c083551d82f6","after":"17ffaf6e2a90a506c21abe5075893b505947322b","ref":"refs/heads/devel","pushedAt":"2024-08-23T19:24:23.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"Merge pull request #433 from VeriFIT/expand_alphabets\n\nExpand alphabets #patch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2470086929\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata/issues/433\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata/pull/433/hovercard\" href=\"https://github.com/VeriFIT/mata/pull/433\">#433</a> from VeriFIT/expand_alphabets"}},{"before":null,"after":"35c903c12e94135f51e83a4125f0347416dc88f8","ref":"refs/heads/expand_alphabets","pushedAt":"2024-08-16T11:28:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"feat(alphabet): Allow clearing the alphabet","shortMessageHtmlLink":"feat(alphabet): Allow clearing the alphabet"}},{"before":"f9a20cad51128fbdad6de84fb01abfac0c4d5483","after":null,"ref":"refs/heads/optimize_get_word","pushedAt":"2024-08-16T08:07:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"}},{"before":"6f9cb592b9f4578522ac9b64b8fa56d8bfd51e6b","after":"9ab16750f0a76bcced6e6bade821c083551d82f6","ref":"refs/heads/devel","pushedAt":"2024-08-16T08:07:51.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"Merge pull request #432 from VeriFIT/optimize_get_word\n\nOptimize `Nfa::get_word()` #patch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2469616902\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata/issues/432\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata/pull/432/hovercard\" href=\"https://github.com/VeriFIT/mata/pull/432\">#432</a> from VeriFIT/optimize_get_word"}},{"before":"5c27603309eaabfc95ea103e1d4864fd77979e81","after":"f9a20cad51128fbdad6de84fb01abfac0c4d5483","ref":"refs/heads/optimize_get_word","pushedAt":"2024-08-16T08:00:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"style(nfa): Improve formatting","shortMessageHtmlLink":"style(nfa): Improve formatting"}},{"before":"02aa1e1ffd374e1b14fd91fe918b5419901aac29","after":"5c27603309eaabfc95ea103e1d4864fd77979e81","ref":"refs/heads/optimize_get_word","pushedAt":"2024-08-16T06:44:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"style(nfa): Improve formatting","shortMessageHtmlLink":"style(nfa): Improve formatting"}},{"before":"b544293d5c1c870bf6efe3020ebb34f4e4b36b33","after":"02aa1e1ffd374e1b14fd91fe918b5419901aac29","ref":"refs/heads/optimize_get_word","pushedAt":"2024-08-16T05:55:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"style(nfa): Improve formatting","shortMessageHtmlLink":"style(nfa): Improve formatting"}},{"before":null,"after":"b544293d5c1c870bf6efe3020ebb34f4e4b36b33","ref":"refs/heads/optimize_get_word","pushedAt":"2024-08-16T05:39:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"refactor(nfa): Optimize getting arbitrary accepted word","shortMessageHtmlLink":"refactor(nfa): Optimize getting arbitrary accepted word"}},{"before":"f3dad45a742dc745e77d72d7a126efc41060d49a","after":"a84e429fdf93a45da08351ca30037a7bb077c020","ref":"refs/heads/gh-pages","pushedAt":"2024-07-31T12:08:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ VeriFIT/mata@6f9cb592b9f4578522ac9b64b8fa56d8bfd51e6b 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/VeriFIT/mata/commit/6f9cb592b9f4578522ac9b64b8fa56d8bfd51e6b/hovercard\" href=\"https://github.com/VeriFIT/mata/commit/6f9cb592b9f4578522ac9b64b8fa56d8bfd51e6b\"><tt>6f9cb59</tt></a> 🚀"}},{"before":"d2aa45710dde65a37a71c6e8796607813a4bcdec","after":null,"ref":"refs/heads/readme-publ-update","pushedAt":"2024-07-31T12:08:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"}},{"before":"2756940a9eb6bb6298a182e965419a6bec751d2d","after":"6f9cb592b9f4578522ac9b64b8fa56d8bfd51e6b","ref":"refs/heads/devel","pushedAt":"2024-07-31T12:07:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"Merge pull request #430 from VeriFIT/readme-publ-update\n\nREADME: publication update #patch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2439623490\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata/issues/430\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata/pull/430/hovercard\" href=\"https://github.com/VeriFIT/mata/pull/430\">#430</a> from VeriFIT/readme-publ-update"}},{"before":null,"after":"d2aa45710dde65a37a71c6e8796607813a4bcdec","ref":"refs/heads/readme-publ-update","pushedAt":"2024-07-31T09:50:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"readme: tacas reference","shortMessageHtmlLink":"readme: tacas reference"}},{"before":"506f0973bf6d1310d941c5f4737923a9b7514bab","after":"1ca586d91c088878ba45a42ea183b24611cb6149","ref":"refs/heads/Npda","pushedAt":"2024-07-24T16:35:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koniksedy","name":"Michal Šedý","path":"/koniksedy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55767047?s=80&v=4"},"commit":{"message":"copy Nfa to Npda","shortMessageHtmlLink":"copy Nfa to Npda"}},{"before":"0431da80beaf9e9edc41df357ba1e38ffbc50d8a","after":"f3dad45a742dc745e77d72d7a126efc41060d49a","ref":"refs/heads/gh-pages","pushedAt":"2024-07-24T13:59:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ VeriFIT/mata@2756940a9eb6bb6298a182e965419a6bec751d2d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/VeriFIT/mata/commit/2756940a9eb6bb6298a182e965419a6bec751d2d/hovercard\" href=\"https://github.com/VeriFIT/mata/commit/2756940a9eb6bb6298a182e965419a6bec751d2d\"><tt>2756940</tt></a> 🚀"}},{"before":"c5d1db2beed84e9fdf6ccb728871ee080cac861d","after":null,"ref":"refs/heads/symbol_post_pop_back","pushedAt":"2024-07-24T13:59:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"}},{"before":"7c3f5d0dcf082c7361155bfa12924e4d312ff9f6","after":"2756940a9eb6bb6298a182e965419a6bec751d2d","ref":"refs/heads/devel","pushedAt":"2024-07-24T13:59:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"Merge pull request #429 from VeriFIT/symbol_post_pop_back\n\nAdd pop_back to StatePost #patch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2427573695\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata/issues/429\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata/pull/429/hovercard\" href=\"https://github.com/VeriFIT/mata/pull/429\">#429</a> from VeriFIT/symbol_post_pop_back"}},{"before":null,"after":"c5d1db2beed84e9fdf6ccb728871ee080cac861d","ref":"refs/heads/symbol_post_pop_back","pushedAt":"2024-07-24T13:17:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"add pop_back to StatePost","shortMessageHtmlLink":"add pop_back to StatePost"}},{"before":"9764c247474c059f0e3da70e5b4c6367e5d266d2","after":"506f0973bf6d1310d941c5f4737923a9b7514bab","ref":"refs/heads/Npda","pushedAt":"2024-07-22T08:43:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koniksedy","name":"Michal Šedý","path":"/koniksedy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55767047?s=80&v=4"},"commit":{"message":"remove npda","shortMessageHtmlLink":"remove npda"}},{"before":"bff82f4bd7add03833c9e184c04008dac87113cb","after":"0431da80beaf9e9edc41df357ba1e38ffbc50d8a","ref":"refs/heads/gh-pages","pushedAt":"2024-07-20T05:04:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ VeriFIT/mata@7c3f5d0dcf082c7361155bfa12924e4d312ff9f6 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/VeriFIT/mata/commit/7c3f5d0dcf082c7361155bfa12924e4d312ff9f6/hovercard\" href=\"https://github.com/VeriFIT/mata/commit/7c3f5d0dcf082c7361155bfa12924e4d312ff9f6\"><tt>7c3f5d0</tt></a> 🚀"}},{"before":"c75a050a17a8a0856e4db6e754fefb0bf5e256fe","after":null,"ref":"refs/heads/fix_noodlification","pushedAt":"2024-07-20T05:04:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"}},{"before":"bdcb62d6ba24b90b620c0be5e8f60a40c7a0c5e7","after":"7c3f5d0dcf082c7361155bfa12924e4d312ff9f6","ref":"refs/heads/devel","pushedAt":"2024-07-20T05:04:02.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"Merge pull request #428 from VeriFIT/fix_noodlification\n\nFix simulation #patch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2420059830\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata/issues/428\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata/pull/428/hovercard\" href=\"https://github.com/VeriFIT/mata/pull/428\">#428</a> from VeriFIT/fix_noodlification"}},{"before":"43b109bf01ee75bb33edc4ee99e35a14a433a07b","after":"c75a050a17a8a0856e4db6e754fefb0bf5e256fe","ref":"refs/heads/fix_noodlification","pushedAt":"2024-07-20T04:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"style: Fix typo","shortMessageHtmlLink":"style: Fix typo"}},{"before":"ea68dc044967a3bf2b497d13593d237aff0c273c","after":"43b109bf01ee75bb33edc4ee99e35a14a433a07b","ref":"refs/heads/fix_noodlification","pushedAt":"2024-07-19T22:11:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"compute unused symbol better for simulation","shortMessageHtmlLink":"compute unused symbol better for simulation"}},{"before":null,"after":"ea68dc044967a3bf2b497d13593d237aff0c273c","ref":"refs/heads/fix_noodlification","pushedAt":"2024-07-19T19:17:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jurajsic","name":"Juraj Síč","path":"/jurajsic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32640706?s=80&v=4"},"commit":{"message":"add bugged example to tests","shortMessageHtmlLink":"add bugged example to tests"}},{"before":"17215b39d6aa664143f85047ceb4a3124006bde2","after":"bff82f4bd7add03833c9e184c04008dac87113cb","ref":"refs/heads/gh-pages","pushedAt":"2024-07-17T08:53:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ VeriFIT/mata@bdcb62d6ba24b90b620c0be5e8f60a40c7a0c5e7 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/VeriFIT/mata/commit/bdcb62d6ba24b90b620c0be5e8f60a40c7a0c5e7/hovercard\" href=\"https://github.com/VeriFIT/mata/commit/bdcb62d6ba24b90b620c0be5e8f60a40c7a0c5e7\"><tt>bdcb62d</tt></a> 🚀"}},{"before":"2253cf7543c3a785b402f826b33e94ea3fe8025b","after":null,"ref":"refs/heads/transition-comparison","pushedAt":"2024-07-17T08:52:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"}},{"before":"811912934329af24b89b962ac5ea497afe5f616f","after":"bdcb62d6ba24b90b620c0be5e8f60a40c7a0c5e7","ref":"refs/heads/devel","pushedAt":"2024-07-17T08:52:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"},"commit":{"message":"Merge pull request #425 from VeriFIT/transition-comparison\n\nTransition: comparison operators #patch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2412793457\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VeriFIT/mata/issues/425\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VeriFIT/mata/pull/425/hovercard\" href=\"https://github.com/VeriFIT/mata/pull/425\">#425</a> from VeriFIT/transition-comparison"}},{"before":null,"after":"2253cf7543c3a785b402f826b33e94ea3fe8025b","ref":"refs/heads/transition-comparison","pushedAt":"2024-07-17T06:42:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vhavlena","name":"Vojtěch Havlena","path":"/vhavlena","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19686307?s=80&v=4"},"commit":{"message":"Transition: comparison operators","shortMessageHtmlLink":"Transition: comparison operators"}},{"before":"3044850239a0eb6e70ca39992e747c9701fc957a","after":null,"ref":"refs/heads/language_difference","pushedAt":"2024-07-15T14:50:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Adda0","name":"David Chocholatý","path":"/Adda0","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52529234?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEoqoHbgA","startCursor":null,"endCursor":null}},"title":"Activity · VeriFIT/mata"}