LearnLib / learnlib / 12459480631

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
12459480631	develop	Create CODE_OF_CONDUCT.md	push	23 Dec 2024 01:44AM UTC	web-flow	github	93.93
12459447134	develop	Bump ch.qos.logback:logback-core from 1.3.12 to 1.5.13 (#138) Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.3.12 to 1.5.13. - [Commits](https://github.com/qos-ch/logback/compare/v_1.3.12...v_1.5.13) --- update...	push	23 Dec 2024 01:41AM UTC	web-flow	github	93.93
12459182437	dependabot/maven/ch.qos.logback-logback-core-1.5.13	Bump ch.qos.logback:logback-core from 1.3.12 to 1.5.13 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.3.12 to 1.5.13. - [Commits](https://github.com/qos-ch/logback/compare/v_1.3.12...v_1.5.13) --- updated-dependenc...	Pull #138	23 Dec 2024 01:14AM UTC	web-flow	github	93.93
12459175078	develop	cleanups as reported by IntelliJ's analysis	push	23 Dec 2024 01:11AM UTC	mtf90	github	93.93
12434142277	dependabot/maven/ch.qos.logback-logback-core-1.5.13	Bump ch.qos.logback:logback-core from 1.3.12 to 1.5.13 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.3.12 to 1.5.13. - [Commits](https://github.com/qos-ch/logback/compare/v_1.3.12...v_1.5.13) --- updated-dependenc...	Pull #138	20 Dec 2024 03:58PM UTC	web-flow	github	93.66
12344151955	develop	oml: rename to 'lambda'	push	16 Dec 2024 01:46AM UTC	mtf90	github	93.66
12323318700	develop	adjust to AutomataLib refactorings	push	13 Dec 2024 09:55PM UTC	mtf90	github	93.62
11151884790	develop	oml: cleanups	push	02 Oct 2024 09:51PM UTC	mtf90	github	93.65
10667742050	develop	adt: cleanup some stream usages	push	02 Sep 2024 01:25PM UTC	mtf90	github	93.57
10656558741	develop	Parallelize ADT Learner (#132) * short: - new AdaptiveQuery abstract class with adt and default query extensions - new adaptiveADTOracle classes with parallel interfaces and static implementation - adaptive membership oracle for preset adap...	push	01 Sep 2024 07:20PM UTC	web-flow	github	93.56
10656306763	develop	Merge ce66855a5 into 3e5c33d1c	Pull #132	01 Sep 2024 06:50PM UTC	web-flow	github	93.56
10505197547	develop	Merge ce66855a5 into 3e5c33d1c	Pull #129	22 Aug 2024 09:30AM UTC	web-flow	github	93.56
10472635599	develop	Merge 836a667a3 into 3e5c33d1c	Pull #129	20 Aug 2024 01:57PM UTC	web-flow	github	93.55
10249607369	develop	adjust to AutomataLib refactorings	push	05 Aug 2024 01:42PM UTC	mtf90	github	93.52
9809272657	develop	remove mutability from PropertyOracles	push	05 Jul 2024 02:05PM UTC	mtf90	github	93.52

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 19
• 20
• Next →