{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":8791847,"defaultBranch":"develop","name":"automatalib","ownerLogin":"LearnLib","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-03-15T04:02:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4364077?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722860480.0","currentOid":""},"activityList":{"items":[{"before":"149aad9f67f706a5c50fa07b043fa01e2777dd23","after":"ebe3c16c93e53988d073f5362e321138a2e03a60","ref":"refs/heads/ralib-reintegration","pushedAt":"2024-08-26T18:55:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"add convenience function","shortMessageHtmlLink":"add convenience function"}},{"before":"661e5def18005f3502149c9e27cdcc2c49f88fda","after":"09b647b3faf4d3cafd6476272314e70698fc61c5","ref":"refs/heads/develop","pushedAt":"2024-08-06T13:52:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"fix typo\n\n[skip ci]","shortMessageHtmlLink":"fix typo"}},{"before":"b2b60767c31a1aca1043a7550492effb091eb34b","after":null,"ref":"refs/heads/serialization-overhaul","pushedAt":"2024-08-05T12:21:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"}},{"before":"c186e6577863ec523a016b1a472540cb9c5c3b18","after":"661e5def18005f3502149c9e27cdcc2c49f88fda","ref":"refs/heads/develop","pushedAt":"2024-08-05T12:21:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"Serialization Overhaul (#81)\n\n* overhaul serizalition code\r\n\r\n* unify access to Input(De)Serializers behind facades to leverage the default methods for various input/output channels\r\n* drop implicit buffering/decompressing as this should be decided where the stream are constructed (user-land)\r\n* remove/cleanup the (now) unused code\r\n\r\n* taf cleanups\r\n\r\n* fix wording","shortMessageHtmlLink":"Serialization Overhaul (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2448388701\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LearnLib/automatalib/issues/81\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LearnLib/automatalib/pull/81/hovercard\" href=\"https://github.com/LearnLib/automatalib/pull/81\">#81</a>)"}},{"before":"34e6a5dc86a68ab70ee1c1225bde9cd934d0672b","after":"b2b60767c31a1aca1043a7550492effb091eb34b","ref":"refs/heads/serialization-overhaul","pushedAt":"2024-08-05T12:01:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"fix wording\n\n[skip ci]","shortMessageHtmlLink":"fix wording"}},{"before":"5b9f3c98668f450833cfc41cac3f173aa885806d","after":"34e6a5dc86a68ab70ee1c1225bde9cd934d0672b","ref":"refs/heads/serialization-overhaul","pushedAt":"2024-08-05T11:46:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"taf cleanups","shortMessageHtmlLink":"taf cleanups"}},{"before":null,"after":"5b9f3c98668f450833cfc41cac3f173aa885806d","ref":"refs/heads/serialization-overhaul","pushedAt":"2024-08-02T18:06:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"overhaul serizalition code\n\n* unify access to Input(De)Serializers behind facades to leverage the default methods for various input/output channels\n* drop implicit buffering/decompressing as this should be decided where the stream are constructed (user-land)\n* remove/cleanup the (now) unused code","shortMessageHtmlLink":"overhaul serizalition code"}},{"before":"979f3fb648bd6bd24a8229acca8ea14494cf2cdc","after":"c186e6577863ec523a016b1a472540cb9c5c3b18","ref":"refs/heads/develop","pushedAt":"2024-07-30T18:14:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"serialization/aut: use semantically correct assertEquals order","shortMessageHtmlLink":"serialization/aut: use semantically correct assertEquals order"}},{"before":"398e863c07b02c4d2032fa5ca0beff4296b5754a","after":"149aad9f67f706a5c50fa07b043fa01e2777dd23","ref":"refs/heads/ralib-reintegration","pushedAt":"2024-07-09T14:48:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"make symbolic values type-aware\n\nincluding some cleanups","shortMessageHtmlLink":"make symbolic values type-aware"}},{"before":"2e322d999e30c2d029197692df27ff9fa85cd8c0","after":"979f3fb648bd6bd24a8229acca8ea14494cf2cdc","ref":"refs/heads/develop","pushedAt":"2024-06-20T10:23:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"update README\n\nformatting\n\n[skip ci]","shortMessageHtmlLink":"update README"}},{"before":"1994a6e76e2c2f84477ecdd098267079f6f312b2","after":"2e322d999e30c2d029197692df27ff9fa85cd8c0","ref":"refs/heads/develop","pushedAt":"2024-06-20T10:21:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"update README\n\nupdate Eclipse import notes\n\n[skip ci]","shortMessageHtmlLink":"update README"}},{"before":"36d79ea70f74736aa8b4ae9770b9375df504e6d8","after":"1994a6e76e2c2f84477ecdd098267079f6f312b2","ref":"refs/heads/develop","pushedAt":"2024-05-26T21:14:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"Add trim and reverse methods for NFAs (#73)\n\n* Add basic reverse functionality.\r\n\r\n* Switch from int to S. Add comments.\r\n\r\n* Test reverse.\r\n\r\n* Add basic implementation of trim.\r\n\r\n* Clean up and begin testing.\r\n\r\n* More generic types.\r\n\r\n* Use more generic types.\r\n\r\n* Add more tests.\r\nFix case where transitions are not co-accessible.\r\n\r\n* Fix checkstyle.\r\n\r\n* Fix comments and docs.\r\n\r\n* cleanups\r\n\r\n* formatting\r\n\r\n[skip ci]\r\n\r\n---------\r\n\r\nCo-authored-by: Markus Frohme <markus.frohme@udo.edu>","shortMessageHtmlLink":"Add trim and reverse methods for NFAs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2126311537\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LearnLib/automatalib/issues/73\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LearnLib/automatalib/pull/73/hovercard\" href=\"https://github.com/LearnLib/automatalib/pull/73\">#73</a>)"}},{"before":"af4a3af1d08a8b3121583a32795acfa8b6c432ff","after":"36d79ea70f74736aa8b4ae9770b9375df504e6d8","ref":"refs/heads/develop","pushedAt":"2024-05-16T22:50:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"incremental: improve handling of confluent states in DAG builders (#80)","shortMessageHtmlLink":"incremental: improve handling of confluent states in DAG builders (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301482654\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LearnLib/automatalib/issues/80\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LearnLib/automatalib/pull/80/hovercard\" href=\"https://github.com/LearnLib/automatalib/pull/80\">#80</a>)"}},{"before":"6a351cda624ec0f3746c7dbaf939d23643987940","after":"af4a3af1d08a8b3121583a32795acfa8b6c432ff","ref":"refs/heads/develop","pushedAt":"2024-04-30T23:07:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"fix bug in AllCombinationsIterator","shortMessageHtmlLink":"fix bug in AllCombinationsIterator"}},{"before":"0320896c7900703081a645a725c7ca9c3e73f2f8","after":"6a351cda624ec0f3746c7dbaf939d23643987940","ref":"refs/heads/develop","pushedAt":"2024-04-29T12:36:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"ci: bump versions and OSes\n\n* do not use M1 macOS since M3C does not support it","shortMessageHtmlLink":"ci: bump versions and OSes"}},{"before":"519d569e64e9377ff02c8642359bcf73e869e021","after":"0320896c7900703081a645a725c7ca9c3e73f2f8","ref":"refs/heads/develop","pushedAt":"2024-04-29T11:28:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"fix bug in SBAView","shortMessageHtmlLink":"fix bug in SBAView"}},{"before":"c92bc1a5ce883d365905fef28121ba1a57fa2aeb","after":"519d569e64e9377ff02c8642359bcf73e869e021","ref":"refs/heads/develop","pushedAt":"2024-03-29T21:44:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"Overhaul powersetViews (#78)\n\n* initial overhaul\r\n\r\n* some more refactorings\r\n\r\n* cleanups and speedups\r\n\r\n* switch to powerset based determinization\r\n\r\n* improve test cases\r\n\r\n* update docs\r\n\r\n* update changelog\r\n\r\n* renaming","shortMessageHtmlLink":"Overhaul powersetViews (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2215983192\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LearnLib/automatalib/issues/78\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LearnLib/automatalib/pull/78/hovercard\" href=\"https://github.com/LearnLib/automatalib/pull/78\">#78</a>)"}},{"before":"7c09476ac8bba3e9be6573e03724a0750317f82b","after":"398e863c07b02c4d2032fa5ca0beff4296b5754a","ref":"refs/heads/ralib-reintegration","pushedAt":"2024-03-15T00:08:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"cleaning up some type definitions","shortMessageHtmlLink":"cleaning up some type definitions"}},{"before":"27762408a671e9d94987dd34c72db56196986d98","after":"7c09476ac8bba3e9be6573e03724a0750317f82b","ref":"refs/heads/ralib-reintegration","pushedAt":"2024-03-13T19:31:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"some RMM experimentation","shortMessageHtmlLink":"some RMM experimentation"}},{"before":null,"after":"27762408a671e9d94987dd34c72db56196986d98","ref":"refs/heads/ralib-reintegration","pushedAt":"2024-03-11T17:31:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"initial code import","shortMessageHtmlLink":"initial code import"}},{"before":"1cfe9b31205084a38c8fbd699d822b5fc1abc6a1","after":"c92bc1a5ce883d365905fef28121ba1a57fa2aeb","ref":"refs/heads/develop","pushedAt":"2024-03-08T20:08:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"allow non-deterministic targets in FSABuilder","shortMessageHtmlLink":"allow non-deterministic targets in FSABuilder"}},{"before":"cc2e217baf86208b678b134fcefb8fe0cec6da6a","after":"1cfe9b31205084a38c8fbd699d822b5fc1abc6a1","ref":"refs/heads/develop","pushedAt":"2024-02-25T18:14:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"cleanup optional dependency definitions","shortMessageHtmlLink":"cleanup optional dependency definitions"}},{"before":"ab890379d46b00f9280982aa8a867596afa56ef0","after":"cc2e217baf86208b678b134fcefb8fe0cec6da6a","ref":"refs/heads/develop","pushedAt":"2024-02-25T17:39:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"invoker-plugin: install before testing","shortMessageHtmlLink":"invoker-plugin: install before testing"}},{"before":"484d3bfb389adbba0f22dc8f65435f2fbf69ff21","after":"ab890379d46b00f9280982aa8a867596afa56ef0","ref":"refs/heads/develop","pushedAt":"2024-02-25T16:00:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"Add jlink integration test (#75)\n\n* add jlink integration test\r\n\r\n* end file with newline\r\n\r\n* end file with proper newline","shortMessageHtmlLink":"Add jlink integration test (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152820735\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LearnLib/automatalib/issues/75\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LearnLib/automatalib/pull/75/hovercard\" href=\"https://github.com/LearnLib/automatalib/pull/75\">#75</a>)"}},{"before":"70d21261da505b792715eaf690ae92f8fdca1f7d","after":"484d3bfb389adbba0f22dc8f65435f2fbf69ff21","ref":"refs/heads/develop","pushedAt":"2024-02-19T21:15:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"cleanups","shortMessageHtmlLink":"cleanups"}},{"before":"be533d448c939e1d42180ec69dd49eec71f407e9","after":"70d21261da505b792715eaf690ae92f8fdca1f7d","ref":"refs/heads/develop","pushedAt":"2024-02-15T17:27:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"bump ADDlib version","shortMessageHtmlLink":"bump ADDlib version"}},{"before":"df9be8cb40a084a78c7d0434ec32f4941944e61a","after":"be533d448c939e1d42180ec69dd49eec71f407e9","ref":"refs/heads/develop","pushedAt":"2024-02-09T19:08:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"Cleanup reported javadoc warnings (#72)\n\n* initial fixes of non-generated javadoc\r\n\r\n* exclude ParseExceptions from javadocs\r\n\r\n* add missing throws doc","shortMessageHtmlLink":"Cleanup reported javadoc warnings (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2125142680\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LearnLib/automatalib/issues/72\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LearnLib/automatalib/pull/72/hovercard\" href=\"https://github.com/LearnLib/automatalib/pull/72\">#72</a>)"}},{"before":"e96f7ec5aa3f7bb799fe7cab844bab511485af3f","after":"df9be8cb40a084a78c7d0434ec32f4941944e61a","ref":"refs/heads/develop","pushedAt":"2024-02-09T18:23:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"Unify parsing exceptions and hide implementation details (#74)\n\n* unify parsing exceptions and hide implementation details\r\n\r\n* add changelog entry\r\n\r\n* add missing throws statements","shortMessageHtmlLink":"Unify parsing exceptions and hide implementation details (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2127464378\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LearnLib/automatalib/issues/74\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LearnLib/automatalib/pull/74/hovercard\" href=\"https://github.com/LearnLib/automatalib/pull/74\">#74</a>)"}},{"before":"63210a821b1c617a05fc7ac50d9a60422fc74255","after":"e96f7ec5aa3f7bb799fe7cab844bab511485af3f","ref":"refs/heads/develop","pushedAt":"2024-02-08T15:46:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"m3c: allow tokens as action labels\n\nCloses #70.","shortMessageHtmlLink":"m3c: allow tokens as action labels"}},{"before":"2765fd5175a0aec1b39207a96162be479326b780","after":"63210a821b1c617a05fc7ac50d9a60422fc74255","ref":"refs/heads/develop","pushedAt":"2024-02-08T13:56:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"Add NFAs, DFAs, and Automata documentation and coverage (#71)\n\n* Add documentation for determinize methods.\r\nAdd more test coverage.\r\n\r\n* Add more DFA coverage.\r\n\r\n* Add invasiveMinimize comments.\r\n\r\n* Don't change code here unless necessary.\r\n\r\n* Fix checkstyle\r\n\r\n* add type parameter docs + formatting\r\n\r\n---------\r\n\r\nCo-authored-by: Markus Frohme <markus.frohme@udo.edu>","shortMessageHtmlLink":"Add NFAs, DFAs, and Automata documentation and coverage (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2123326998\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LearnLib/automatalib/issues/71\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LearnLib/automatalib/pull/71/hovercard\" href=\"https://github.com/LearnLib/automatalib/pull/71\">#71</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yNlQxODo1NTozMC4wMDAwMDBazwAAAASklwpq","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wOFQxMzo1NjozNy4wMDAwMDBazwAAAAP1kD4g"}},"title":"Activity · LearnLib/automatalib"}