{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":10172073,"defaultBranch":"develop","name":"learnlib","ownerLogin":"LearnLib","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-05-20T12:18:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4364077?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1701454378.0","currentOid":""},"activityList":{"items":[{"before":"bd602cbf55101878104f9d23663c057f6124fe46","after":"9f658987899491b5ba503a88a2177ec68cc4bf63","ref":"refs/heads/develop","pushedAt":"2024-09-02T13:06:11.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"adt: cleanup some stream usages","shortMessageHtmlLink":"adt: cleanup some stream usages"}},{"before":"3e5c33d1c779cfdddfb5ea102f7607adb5bab369","after":"bd602cbf55101878104f9d23663c057f6124fe46","ref":"refs/heads/develop","pushedAt":"2024-09-01T18:56:14.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":"Parallelize ADT Learner (#132)\n\n* short:\r\n\t- new AdaptiveQuery abstract class with adt and default query extensions\r\n\t- new adaptiveADTOracle classes with parallel interfaces and static implementation\r\n\t- adaptive membership oracle for preset adaptive queries\r\n\t- sleepySUL\r\n\t- changes in ADTLearner class for new Adaptive classes\r\n\r\nverbose:\r\n\t- added abstract class Adaptive Query in \"de.learnlib.query\"\r\n\t- added Adaptive_ADT_Query class in \"de.learnlib.algorithm.adt.Adaptive\"\r\n\t- (added ADTNode getSuccessor() in ADTResetNode ( in \"de.learnlib.algorithm.adt.adt\" ) for Adaptive_ADT_Query\r\n\t to work )\r\n\t- added AdaptiveMembershipOracle interface in \"de.learnlib.oracle\"\r\n\r\n\t- added package Adaptive in \"de/learnlib/algorithm/adt/Adaptive\"\r\n\t- added Sul_Adaptive_Oracle class in \"de.learnlib.algorithm.adt.Adaptive\"\r\n\t- added Adaptive_DEF_Query class in \"de.learnlib.algorithm.adt.Adaptive\"\r\n\t- added A2M_Oracle class in \"de.learnlib.algorithm.adt.Adaptive\"\r\n\r\n\t- added ParallelAdaptiveOracle interface in \"de.learnlib.oracle\"\r\n\t- added StaticParallelAdaptiveOracle in \"de.learnlib.oracle.parallelism\"\r\n\t- added SleepySUL class in \"de.learnlib.algorithm.adt.Adaptive\"\r\n\r\n\t- modified ADTLearner class:\r\n\t\t- added constructor for adaptive membership oracle\r\n\t\t- added AdaptiveMembershipOracle attribute.\r\n\t\t- modified startLearning() to choose between oracles\r\n\t\t- added closeTransitionsLeon() method to use appropriate oracles\r\n\r\n* added contact info to the parent pom.xml\r\n\r\n* initial refacotring ideas\r\n\r\nknown issues:\r\n* adaptive parallel oracle testing still missing\r\n* AQOOTBridge non-functional\r\n* A2S_Oracle non-functional\r\n\r\n* add parallelism tests\r\n\r\n* some experimentation with adaptive caches\r\n\r\n* may replace SQOOTBridge\r\n* testing of counter currently broken\r\n\r\n* some progress\r\n\r\n* some progress\r\n\r\n* tests now pass\r\n\r\n* fix code-analysis remarks\r\n\r\n* remove old SymbolQuery code\r\n\r\n* some cleanups\r\n\r\n* share some functionality\r\n\r\n* add documentation + small cleanups\r\n\r\n* update CHANGELOG\r\n\r\n* remove obsolete method\r\n\r\n---------\r\n\r\nCo-authored-by: vito \r\nCo-authored-by: Markus Frohme \r\nCo-authored-by: Markus Frohme ","shortMessageHtmlLink":"Parallelize ADT Learner (#132)"}},{"before":"fd769e58927c2b5fb2600c6d1c97463ce709c559","after":"3e5c33d1c779cfdddfb5ea102f7607adb5bab369","ref":"refs/heads/develop","pushedAt":"2024-08-05T13:18: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":"adjust to AutomataLib refactorings","shortMessageHtmlLink":"adjust to AutomataLib refactorings"}},{"before":"97cc60e5733d8580200e76fdf976bb597a4d1362","after":"fd769e58927c2b5fb2600c6d1c97463ce709c559","ref":"refs/heads/develop","pushedAt":"2024-07-05T13:42: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":"remove mutability from PropertyOracles","shortMessageHtmlLink":"remove mutability from PropertyOracles"}},{"before":"0e257cf3380c873793f5ca6928631cfa46231559","after":"97cc60e5733d8580200e76fdf976bb597a4d1362","ref":"refs/heads/develop","pushedAt":"2024-06-20T13:24: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":"examples: remove (breaking) dependency on test-support module\n\nIncludes fixes for the (also broken) ResumableExample\n\nSee the discussion of #128","shortMessageHtmlLink":"examples: remove (breaking) dependency on test-support module"}},{"before":"f4518a05b50adcb34f583fea8a633df8a19ab0ba","after":"0e257cf3380c873793f5ca6928631cfa46231559","ref":"refs/heads/develop","pushedAt":"2024-06-20T10:23: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":"update README\n\nupdate Eclipse import notes\n\n[skip ci]","shortMessageHtmlLink":"update README"}},{"before":"5f811f00b2f1239c01baef9ac0204bd582007394","after":"f4518a05b50adcb34f583fea8a633df8a19ab0ba","ref":"refs/heads/develop","pushedAt":"2024-06-13T17:10:03.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":"Replace xstream with fury (#127)\n\n* initial fury transition\r\n\r\n* switch to fury nightly\r\n\r\n* use new module names\r\n\r\n* switch to stable release\r\n\r\n* remove rebase artifact\r\n\r\n* bump version","shortMessageHtmlLink":"Replace xstream with fury (#127)"}},{"before":"db1406a5198d70f8522f4477f4b83a3ef208456e","after":"5f811f00b2f1239c01baef9ac0204bd582007394","ref":"refs/heads/develop","pushedAt":"2024-03-19T10:23:28.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":"ttt: faster stateIDs","shortMessageHtmlLink":"ttt: faster stateIDs"}},{"before":"7a40a75ff086f7f9f6d5ddb478f4246899aeccf1","after":"db1406a5198d70f8522f4477f4b83a3ef208456e","ref":"refs/heads/develop","pushedAt":"2024-02-25T18:26:18.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":"0e22986ebb9eb9cd672c6fc4ca6e0143a47e2cb1","after":"7a40a75ff086f7f9f6d5ddb478f4246899aeccf1","ref":"refs/heads/develop","pushedAt":"2024-02-25T17:38:26.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 (#122)\n\n* add jlink integration test\r\n\r\n* end file with proper newline\r\n\r\n[skip ci]\r\n\r\n* cleanup dependency definition\r\n\r\n[skip ci]\r\n\r\n* debug outputs\r\n\r\n* invoker-plugin: install before testing","shortMessageHtmlLink":"Add jlink integration test (#122)"}},{"before":"b759e83790a2e4ade74b03194ac99c2f0d3eb96a","after":"0e22986ebb9eb9cd672c6fc4ca6e0143a47e2cb1","ref":"refs/heads/develop","pushedAt":"2024-02-12T22:57:47.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":"cleanup dependency declarations","shortMessageHtmlLink":"cleanup dependency declarations"}},{"before":"59d0f87f5e59b8dcfbf4878b0e115c59dff66975","after":"b759e83790a2e4ade74b03194ac99c2f0d3eb96a","ref":"refs/heads/develop","pushedAt":"2024-02-06T19:16:02.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 javadoc warnings (#120)","shortMessageHtmlLink":"Cleanup javadoc warnings (#120)"}},{"before":"2a16e2db26b1465507f412047df33bdfc09f21bb","after":"59d0f87f5e59b8dcfbf4878b0e115c59dff66975","ref":"refs/heads/develop","pushedAt":"2024-01-24T22:55: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":"add InterningMembershipOracle","shortMessageHtmlLink":"add InterningMembershipOracle"}},{"before":"90e85530975a3258e28f1e6bf30626ac2c4e8dbe","after":"2a16e2db26b1465507f412047df33bdfc09f21bb","ref":"refs/heads/develop","pushedAt":"2024-01-19T17:37:33.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 built-tools","shortMessageHtmlLink":"bump built-tools"}},{"before":"41f75553dc036116900b142c879804a8fc43da73","after":"90e85530975a3258e28f1e6bf30626ac2c4e8dbe","ref":"refs/heads/develop","pushedAt":"2024-01-16T23:46:23.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":"Drop guava (#119)\n\n* initial removal\r\n\r\n* cleanups","shortMessageHtmlLink":"Drop guava (#119)"}},{"before":"5a3303d2efed2c5f8601cb1f2979bd2e93c9e8c9","after":"41f75553dc036116900b142c879804a8fc43da73","ref":"refs/heads/develop","pushedAt":"2024-01-09T12:43:48.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":"adjust to AutomataLib refactorings","shortMessageHtmlLink":"adjust to AutomataLib refactorings"}},{"before":"448bbc76cefd4515979921e43d57e99d345bfc5e","after":"5a3303d2efed2c5f8601cb1f2979bd2e93c9e8c9","ref":"refs/heads/develop","pushedAt":"2024-01-09T11:37:08.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 rendering of javadoc","shortMessageHtmlLink":"fix rendering of javadoc"}},{"before":"6c94b3d7c09763a27500f72b7750985b07a5b5a7","after":"448bbc76cefd4515979921e43d57e99d345bfc5e","ref":"refs/heads/develop","pushedAt":"2024-01-08T20:30:01.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 support for JPMS modules (#118)\n\n* switch to SNAPSHOT version of AutomataLib\r\n\r\n* initial module-infos\r\n\r\n* fix xstreams workarounds\r\n\r\n* workaround missing docs for now\r\n\r\n* cleanup module-info.javas\r\n\r\n* cleanups\r\n\r\n* drop unnecessary java.desktop dependencies\r\n\r\n* typo\r\n\r\n* replace jmockit call with mockito call\r\n\r\n* fix doc","shortMessageHtmlLink":"Add support for JPMS modules (#118)"}},{"before":"c11d5def6491166d18d9daf08098a6bac49afe36","after":"6c94b3d7c09763a27500f72b7750985b07a5b5a7","ref":"refs/heads/develop","pushedAt":"2024-01-04T20:50:11.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":"pin additional plugin versions","shortMessageHtmlLink":"pin additional plugin versions"}},{"before":"aff229ab7b526cc6758e404716c9b48f447044ee","after":"c11d5def6491166d18d9daf08098a6bac49afe36","ref":"refs/heads/develop","pushedAt":"2024-01-04T20:21:26.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":"Merge RPNI implementations (#114)","shortMessageHtmlLink":"Merge RPNI implementations (#114)"}},{"before":"0ed1dd992d1e3406ab09b0cbe1128a83e3bd8237","after":"aff229ab7b526cc6758e404716c9b48f447044ee","ref":"refs/heads/develop","pushedAt":"2024-01-04T19:08:29.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":" Switch to in-house annotation processing (#111)\n\n* switch to in-house annotation processor\r\n\r\n* adjust to refactorings\r\n\r\n* replace Reuse{Oracle,Tree}Builder with auto-generated version\r\n\r\n* add ci compatibility\r\n\r\n* fix reference in javadoc\r\n\r\n* add necessary jacoco exclusions\r\n\r\n* fix exclusion pattern\r\n\r\n* adjust to latest changes\r\n\r\n* adjust to latest changes\r\n\r\n* add documentation\r\n\r\n* switch to stable release\r\n\r\n* adjust to upstream changes\r\n\r\n* wording\r\n\r\n* move builder defaults to parent class\r\n\r\n* unformat doc","shortMessageHtmlLink":" Switch to in-house annotation processing (#111)"}},{"before":"ca5cbeb70142cd627735e24d082feede7e795a4f","after":"0ed1dd992d1e3406ab09b0cbe1128a83e3bd8237","ref":"refs/heads/develop","pushedAt":"2024-01-04T14:39:19.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"bump license header","shortMessageHtmlLink":"bump license header"}},{"before":"6a9cbd05d247253ecedd152df229130f59937b3b","after":"ca5cbeb70142cd627735e24d082feede7e795a4f","ref":"refs/heads/develop","pushedAt":"2023-12-23T13:14:09.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":"drop Java 8 configs","shortMessageHtmlLink":"drop Java 8 configs"}},{"before":"a51296098288b038e27c73e0299b2092b97c9ae8","after":"6a9cbd05d247253ecedd152df229130f59937b3b","ref":"refs/heads/develop","pushedAt":"2023-12-01T18:20:50.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mtf90","name":"Markus Frohme","path":"/mtf90","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7063944?s=80&v=4"},"commit":{"message":"ci: use defaults in integration-tests","shortMessageHtmlLink":"ci: use defaults in integration-tests"}},{"before":"7ebc088b2f048b6efe1388de1f6b431de0ec2d68","after":null,"ref":"refs/heads/dependabot/maven/ch.qos.logback-logback-core-1.3.12","pushedAt":"2023-12-01T18:12:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"627d6d35559c831853d88dff4db97b39ccc95184","after":null,"ref":"refs/heads/dependabot/maven/ch.qos.logback-logback-classic-1.3.12","pushedAt":"2023-12-01T18:12:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"6a4abf835d01953d89fc5dd843ad6d7e91ebbc46","after":"a51296098288b038e27c73e0299b2092b97c9ae8","ref":"refs/heads/develop","pushedAt":"2023-12-01T18:12:03.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":"Bump ch.qos.logback:logback-classic from 1.3.11 to 1.3.12 (#110)\n\nBumps [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback) from 1.3.11 to 1.3.12.\r\n- [Commits](https://github.com/qos-ch/logback/compare/v_1.3.11...v_1.3.12)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: ch.qos.logback:logback-classic\r\n dependency-type: direct:development\r\n...\r\n\r\nSigned-off-by: dependabot[bot] \r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump ch.qos.logback:logback-classic from 1.3.11 to 1.3.12 (#110)"}},{"before":null,"after":"627d6d35559c831853d88dff4db97b39ccc95184","ref":"refs/heads/dependabot/maven/ch.qos.logback-logback-classic-1.3.12","pushedAt":"2023-11-29T22:47:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump ch.qos.logback:logback-classic from 1.3.11 to 1.3.12\n\nBumps [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback) from 1.3.11 to 1.3.12.\n- [Commits](https://github.com/qos-ch/logback/compare/v_1.3.11...v_1.3.12)\n\n---\nupdated-dependencies:\n- dependency-name: ch.qos.logback:logback-classic\n dependency-type: direct:development\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump ch.qos.logback:logback-classic from 1.3.11 to 1.3.12"}},{"before":null,"after":"7ebc088b2f048b6efe1388de1f6b431de0ec2d68","ref":"refs/heads/dependabot/maven/ch.qos.logback-logback-core-1.3.12","pushedAt":"2023-11-29T22:02:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump ch.qos.logback:logback-core from 1.3.11 to 1.3.12\n\nBumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.3.11 to 1.3.12.\n- [Commits](https://github.com/qos-ch/logback/compare/v_1.3.11...v_1.3.12)\n\n---\nupdated-dependencies:\n- dependency-name: ch.qos.logback:logback-core\n dependency-type: direct:development\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump ch.qos.logback:logback-core from 1.3.11 to 1.3.12"}},{"before":"0c05c8ca1c09a3bb11241823139dbf0b0b581d95","after":"6a4abf835d01953d89fc5dd843ad6d7e91ebbc46","ref":"refs/heads/develop","pushedAt":"2023-11-15T13:28:26.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 changelog\n\n[skip ci]","shortMessageHtmlLink":"update changelog"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEqp1c5wA","startCursor":null,"endCursor":null}},"title":"Activity ยท LearnLib/learnlib"}