Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / LearnLib/learnlib issues and pull requests

#132 - Parallelize ADT Learner

Pull Request - State: closed - Opened by leonthalee 29 days ago

#129 - Parallelize ADT Learner

Pull Request - State: closed - Opened by mtf90 about 1 month ago - 1 comment

#128 - Eclipse: errors in imporing packages

Issue - State: open - Opened by Arwa1986 3 months ago - 3 comments

#128 - Eclipse: errors in imporing packages

Issue - State: open - Opened by Arwa1986 3 months ago - 3 comments

#128 - Eclipse: errors in imporing packages

Issue - State: open - Opened by Arwa1986 3 months ago - 3 comments

#127 - Replace xstream with fury

Pull Request - State: closed - Opened by mtf90 4 months ago

#126 - Execution of TTT results in ConflictException on deterministic models

Issue - State: closed - Opened by emuskardin 5 months ago - 5 comments

#125 - How to run TTT example?

Issue - State: closed - Opened by 5angjun 6 months ago - 1 comment

#122 - Add jlink integration test

Pull Request - State: closed - Opened by mtf90 7 months ago

#120 - Cleanup reported javadoc warnings

Pull Request - State: closed - Opened by mtf90 8 months ago

#119 - Drop guava

Pull Request - State: closed - Opened by mtf90 9 months ago

#118 - Add support for JPMS modules

Pull Request - State: closed - Opened by mtf90 9 months ago

#114 - Merge RPNI implementations

Pull Request - State: closed - Opened by mtf90 9 months ago

#111 - Switch to in-house annotation processing

Pull Request - State: closed - Opened by mtf90 9 months ago

#110 - Bump ch.qos.logback:logback-classic from 1.3.11 to 1.3.12

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#110 - Bump ch.qos.logback:logback-classic from 1.3.11 to 1.3.12

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#110 - Bump ch.qos.logback:logback-classic from 1.3.11 to 1.3.12

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#109 - Bump ch.qos.logback:logback-core from 1.3.11 to 1.3.12

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago - 1 comment
Labels: dependencies

#107 - feat: lsharp

Pull Request - State: open - Opened by tiferrei 10 months ago - 22 comments

#107 - feat: lsharp

Pull Request - State: closed - Opened by tiferrei 10 months ago - 26 comments

#107 - feat: lsharp

Pull Request - State: open - Opened by tiferrei 10 months ago - 22 comments

#105 - Make AAAR learners resumable

Issue - State: open - Opened by mtf90 11 months ago
Labels: type: new feature

#105 - Make AAAR learners resumable

Issue - State: open - Opened by mtf90 11 months ago
Labels: type: new feature

#105 - Make AAAR learners resumable

Issue - State: open - Opened by mtf90 11 months ago
Labels: type: new feature

#102 - Fail on javadoc warnings and improve documentation

Issue - State: open - Opened by mtf90 11 months ago
Labels: type: improvement

#102 - Fail on javadoc warnings and improve documentation

Issue - State: open - Opened by mtf90 11 months ago
Labels: type: improvement

#102 - Fail on javadoc warnings and improve documentation

Issue - State: closed - Opened by mtf90 11 months ago
Labels: type: improvement

#102 - Fail on javadoc warnings and improve documentation

Issue - State: open - Opened by mtf90 11 months ago
Labels: type: improvement

#95 - How to Use Learnlib

Issue - State: closed - Opened by VishalPatel43 12 months ago - 1 comment

#95 - How to Use Learnlib

Issue - State: closed - Opened by VishalPatel43 12 months ago - 1 comment

#95 - How to Use Learnlib

Issue - State: closed - Opened by VishalPatel43 12 months ago - 1 comment

#95 - How to Use Learnlib

Issue - State: closed - Opened by VishalPatel43 12 months ago - 1 comment

#94 - Build Problem

Issue - State: closed - Opened by VishalPatel43 12 months ago - 3 comments

#94 - Build Problem

Issue - State: closed - Opened by VishalPatel43 12 months ago - 3 comments

#94 - Build Problem

Issue - State: closed - Opened by VishalPatel43 12 months ago - 3 comments

#94 - Build Problem

Issue - State: closed - Opened by VishalPatel43 12 months ago - 3 comments

#94 - Build Problem

Issue - State: closed - Opened by VishalPatel43 12 months ago - 3 comments

#94 - Build Problem

Issue - State: closed - Opened by VishalPatel43 12 months ago - 3 comments

#94 - Build Problem

Issue - State: closed - Opened by VishalPatel43 12 months ago - 3 comments

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#93 - Re-integrate the work on procedural systems

Pull Request - State: closed - Opened by mtf90 about 1 year ago

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#92 - Bump guava from 30.1.1-jre to 32.0.0-jre

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#91 - Re-integrate AAAR

Pull Request - State: closed - Opened by mtf90 over 1 year ago

#90 - Bump testng from 7.1.0 to 7.5.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#89 - Bump testng from 7.1.0 to 7.7.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#88 - Add Moore Caches

Issue - State: closed - Opened by mtf90 about 2 years ago
Labels: type: new feature

#87 - add Moore variant

Pull Request - State: closed - Opened by mohbayram about 2 years ago

#86 - add Moore variants of L*, DT and TTT algorithms

Pull Request - State: closed - Opened by mtf90 about 2 years ago

#85 - Bump logback-core from 1.2.3 to 1.2.9

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#84 - Add support for Java 17 (LTS) to CI pipeline

Issue - State: closed - Opened by mtf90 over 2 years ago
Labels: type: improvement

#83 - Make OML learners resumable

Issue - State: open - Opened by mtf90 over 2 years ago
Labels: type: new feature

#82 - Make procedural learners resumable

Issue - State: open - Opened by mtf90 over 2 years ago
Labels: type: new feature

#81 - Add OML

Pull Request - State: closed - Opened by mtf90 over 2 years ago

#80 - Bump xstream from 1.4.18 to 1.4.19

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#79 - Switch CI to GitHub Actions

Pull Request - State: closed - Opened by mtf90 over 3 years ago

#78 - Handle in-batch duplicates in (DFA) caches

Issue - State: closed - Opened by mtf90 over 3 years ago - 1 comment

#77 - TTT bug in hypothesis model.

Issue - State: closed - Opened by fhowar over 3 years ago - 2 comments

#76 - Incompatible acceptances: FALSE vs TRUE

Issue - State: closed - Opened by z11panyan over 3 years ago - 10 comments

#75 - Converting DFA to regex?

Issue - State: closed - Opened by breandan over 3 years ago - 6 comments

#74 - OSTIA

Pull Request - State: closed - Opened by aleksander-mendoza almost 4 years ago

#73 - Clarify Query.answer()

Issue - State: closed - Opened by mrlnc about 4 years ago

#72 - Moore machines

Issue - State: closed - Opened by Jaxan about 4 years ago - 9 comments

#71 - Bugfix: Empty rows are not prime in NL*. Fixes Issue 70

Pull Request - State: closed - Opened by Jaxan over 4 years ago

#70 - Bug in NL*: sink states are included

Issue - State: closed - Opened by Jaxan over 4 years ago - 1 comment

#69 - Question on that the program is hung up and result in no learned model

Issue - State: closed - Opened by wqqqy almost 5 years ago - 6 comments

#68 - make NLStar observation table readable

Pull Request - State: closed - Opened by thtomate almost 5 years ago - 3 comments

#67 - AbstractLStar may have nullpointer error

Issue - State: closed - Opened by JohnYe about 5 years ago - 3 comments

#66 - NullPointerException in AbstractTTTLearner.splitState()

Issue - State: closed - Opened by cgvwzq about 5 years ago - 4 comments

#65 - Create Docker Images for Version 1.8.0

Issue - State: closed - Opened by fetchandadd about 5 years ago - 1 comment

#64 - JavaDoc references to AutomataLib are broken

Issue - State: closed - Opened by mtf90 about 5 years ago - 1 comment
Labels: type: bug

#63 - Replace JSR305 annotations

Issue - State: closed - Opened by mtf90 about 5 years ago
Labels: type: improvement

#62 - Build Failure (help!)

Issue - State: closed - Opened by OrenGitHub over 5 years ago - 5 comments

#61 - Add black-box checking with monitors.

Pull Request - State: closed - Opened by Meijuh almost 6 years ago

#60 - NLStarLearner does not learn

Issue - State: closed - Opened by garganti about 6 years ago - 8 comments

#59 - Improvements to black-box checking.

Pull Request - State: closed - Opened by Meijuh about 6 years ago - 1 comment

#58 - Localalphabet

Pull Request - State: closed - Opened by mgeske about 6 years ago