Data

Tools

Indexes

Applications

Experiments

Issues

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

GitHub / LearnLib/learnlib issues and pull requests

#150 - Bump minimal Java version to 11

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

#149 - Add drivers for CLI-based SULs

Issue - State: open - Opened by mtf90 5 months ago

#147 - ResetCounterSUL and SymbolCounterSUL

Issue - State: open - Opened by kostis 6 months ago - 1 comment

#145 - LSharp performs refinements in getHypothesisModel

Issue - State: closed - Opened by stateMachinist 6 months ago - 4 comments

#144 - Assertion Error in LLambdaMealy

Issue - State: closed - Opened by stateMachinist 6 months ago - 2 comments

#143 - TTTLearner: Crash in `splitState` and in `refineHypothesisSingle`

Issue - State: closed - Opened by Jojeker 6 months ago - 5 comments

#142 - EQ oracles should not use hypothesis state iterators!

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

#141 - L# Algorithm

Pull Request - State: closed - Opened by tiferrei 6 months ago - 1 comment

#140 - TTT: Index 1 out of bounds in first counter example

Issue - State: closed - Opened by Jojeker 7 months ago - 6 comments

#139 - Update dependencies

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

#138 - Bump ch.qos.logback:logback-core from 1.3.12 to 1.5.13

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

#137 - Hidden nondeterminism in ADTLearner

Issue - State: closed - Opened by stateMachinist 8 months ago - 2 comments

#135 - OptimalTTT learner crashes in some configurations

Issue - State: closed - Opened by stateMachinist 8 months ago - 8 comments

#133 - Question About RPNI

Issue - State: closed - Opened by 5angjun 9 months ago

#132 - Parallelize ADT Learner

Pull Request - State: closed - Opened by leonthalee 11 months ago

#129 - Parallelize ADT Learner

Pull Request - State: closed - Opened by mtf90 11 months ago - 1 comment

#128 - Eclipse: errors in imporing packages

Issue - State: open - Opened by Arwa1986 about 1 year ago - 3 comments

#127 - Replace xstream with fury

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

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

Issue - State: closed - Opened by emuskardin about 1 year ago - 5 comments

#125 - How to run TTT example?

Issue - State: closed - Opened by 5angjun over 1 year ago - 1 comment

#122 - Add jlink integration test

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

#120 - Cleanup reported javadoc warnings

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

#119 - Drop guava

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

#118 - Add support for JPMS modules

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

#114 - Merge RPNI implementations

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

#111 - Switch to in-house annotation processing

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

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

Pull Request - State: closed - Opened by dependabot[bot] over 1 year 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] over 1 year ago - 1 comment
Labels: dependencies

#107 - feat: lsharp

Pull Request - State: open - Opened by tiferrei over 1 year ago - 22 comments

#105 - Make AAAR learners resumable

Issue - State: open - Opened by mtf90 over 1 year ago

#102 - Fail on javadoc warnings and improve documentation

Issue - State: open - Opened by mtf90 over 1 year ago
Labels: type: improvement

#95 - How to Use Learnlib

Issue - State: closed - Opened by VishalPatel43 almost 2 years ago - 1 comment

#94 - Build Problem

Issue - State: closed - Opened by VishalPatel43 almost 2 years ago - 3 comments

#93 - Re-integrate the work on procedural systems

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

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

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

#91 - Re-integrate AAAR

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

#90 - Bump testng from 7.1.0 to 7.5.1

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

#89 - Bump testng from 7.1.0 to 7.7.0

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

#88 - Add Moore Caches

Issue - State: closed - Opened by mtf90 almost 3 years ago
Labels: type: new feature

#87 - add Moore variant

Pull Request - State: closed - Opened by mohbayram almost 3 years ago

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

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

#85 - Bump logback-core from 1.2.3 to 1.2.9

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

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

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

#83 - Make Lambda learners resumable

Issue - State: open - Opened by mtf90 over 3 years ago

#82 - Make procedural learners resumable

Issue - State: open - Opened by mtf90 over 3 years ago

#81 - Add OML

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

#80 - Bump xstream from 1.4.18 to 1.4.19

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

#79 - Switch CI to GitHub Actions

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

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

Issue - State: closed - Opened by mtf90 about 4 years ago - 1 comment

#77 - TTT bug in hypothesis model.

Issue - State: closed - Opened by fhowar about 4 years ago - 2 comments

#76 - Incompatible acceptances: FALSE vs TRUE

Issue - State: closed - Opened by z11panyan about 4 years ago - 10 comments

#75 - Converting DFA to regex?

Issue - State: closed - Opened by breandan about 4 years ago - 6 comments

#74 - OSTIA

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

#73 - Clarify Query.answer()

Issue - State: closed - Opened by mrlnc almost 5 years ago

#72 - Moore machines

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

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

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

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

Issue - State: closed - Opened by Jaxan over 5 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 over 5 years ago - 6 comments

#68 - make NLStar observation table readable

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

#67 - AbstractLStar may have nullpointer error

Issue - State: closed - Opened by JohnYe almost 6 years ago - 3 comments

#66 - NullPointerException in AbstractTTTLearner.splitState()

Issue - State: closed - Opened by cgvwzq almost 6 years ago - 4 comments

#65 - Create Docker Images for Version 1.8.0

Issue - State: closed - Opened by fetchandadd almost 6 years ago - 1 comment

#64 - JavaDoc references to AutomataLib are broken

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

#63 - Replace JSR305 annotations

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

#62 - Build Failure (help!)

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

#61 - Add black-box checking with monitors.

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

#60 - NLStarLearner does not learn

Issue - State: closed - Opened by garganti almost 7 years ago - 8 comments

#59 - Improvements to black-box checking.

Pull Request - State: closed - Opened by Meijuh almost 7 years ago - 1 comment

#58 - Localalphabet

Pull Request - State: closed - Opened by mgeske almost 7 years ago

#57 - Learning given an initial hypothesis

Issue - State: closed - Opened by omarzd about 7 years ago - 5 comments

#56 - Add growable alphabet support for query caches

Issue - State: closed - Opened by mtf90 over 7 years ago
Labels: type: new feature

#55 - Proper parallelization support for discrimination-tree based learners

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

#54 - Allow LearnLogger to accept format strings

Issue - State: closed - Opened by mtf90 over 7 years ago - 1 comment
Labels: type: new feature, priority: low

#53 - Add Black-Box Checking.

Pull Request - State: closed - Opened by Meijuh over 7 years ago

#52 - Use of Mapper Class

Issue - State: closed - Opened by bazali over 7 years ago - 15 comments
Labels: question

#51 - Update README.md

Pull Request - State: closed - Opened by omarzd over 7 years ago

#50 - Inferring a Parameterized State Machine

Issue - State: closed - Opened by bazali almost 8 years ago - 8 comments
Labels: question

#49 - problems in using APIrefineHypothesis()

Issue - State: closed - Opened by IMhappyZzz almost 8 years ago - 2 comments
Labels: question

#48 - Improve integration of build-tools module

Issue - State: closed - Opened by mtf90 almost 8 years ago - 1 comment
Labels: type: improvement, priority: low

#47 - Merge ObversationTable implementations

Issue - State: closed - Opened by mtf90 almost 8 years ago
Labels: type: improvement, priority: low

#46 - Equivalence tests with empty automata

Pull Request - State: closed - Opened by mtf90 almost 8 years ago

#45 - Observation Table is not being opened in Browser

Issue - State: closed - Opened by bazali786 almost 8 years ago - 3 comments
Labels: question

#44 - Error while importing package

Issue - State: closed - Opened by bazali about 8 years ago - 2 comments

#42 - Serializing learning data structures

Issue - State: closed - Opened by Jaxan almost 9 years ago - 11 comments
Labels: type: new feature

#41 - Decoupling test generation and test execution

Issue - State: open - Opened by Jaxan almost 9 years ago - 14 comments

#40 - Adds two randomized equivalence oracles based on the W method

Pull Request - State: closed - Opened by Jaxan almost 9 years ago - 3 comments

#39 - Fixes a bug in the TTT algorithm

Pull Request - State: closed - Opened by Jaxan almost 9 years ago

#38 - running example

Issue - State: closed - Opened by soojinm almost 9 years ago - 2 comments
Labels: support

#37 - maven build failure due to dependencies

Issue - State: closed - Opened by soojinm almost 9 years ago - 1 comment
Labels: invalid, support

#36 - Assertion failure followed by a NullPointerException (TTT learner)

Issue - State: closed - Opened by Jaxan almost 9 years ago - 7 comments
Labels: type: bug

#35 - Set up Travis

Pull Request - State: closed - Opened by praseodym over 9 years ago

#34 - Replace LearnLogger by SLF4J

Pull Request - State: closed - Opened by praseodym over 9 years ago - 1 comment

#33 - Make SULOracle extensible

Issue - State: closed - Opened by praseodym over 9 years ago - 4 comments

#32 - Compile in Eclipse

Issue - State: closed - Opened by nadiamov about 10 years ago - 4 comments

#31 - DAG cache is broken

Issue - State: closed - Opened by Jaxan about 10 years ago - 5 comments
Labels: type: bug

#30 - Crash in TTT (0.11.1)

Issue - State: closed - Opened by Jaxan about 10 years ago - 1 comment

#29 - Bug in Wp-method

Issue - State: closed - Opened by Jaxan about 10 years ago - 1 comment

#28 - SULCache does not call post() on delegate SUL

Issue - State: closed - Opened by misberner about 10 years ago