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

#58 - Localalphabet

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

#57 - Learning given an initial hypothesis

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

#56 - Add growable alphabet support for query caches

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

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

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

#54 - Allow LearnLogger to accept format strings

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

#53 - Add Black-Box Checking.

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

#52 - Use of Mapper Class

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

#51 - Update README.md

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

#50 - Inferring a Parameterized State Machine

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

#49 - problems in using APIrefineHypothesis()

Issue - State: closed - Opened by IMhappyZzz about 7 years ago - 2 comments
Labels: question

#48 - Improve integration of build-tools module

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

#47 - Merge ObversationTable implementations

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

#46 - Equivalence tests with empty automata

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

#45 - Observation Table is not being opened in Browser

Issue - State: closed - Opened by bazali786 about 7 years ago - 3 comments
Labels: question

#44 - Error while importing package

Issue - State: closed - Opened by bazali over 7 years ago - 2 comments

#42 - Serializing learning data structures

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

#41 - Decoupling test generation and test execution

Issue - State: open - Opened by Jaxan about 8 years ago - 14 comments
Labels: type: new feature

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

Pull Request - State: closed - Opened by Jaxan about 8 years ago - 3 comments

#39 - Fixes a bug in the TTT algorithm

Pull Request - State: closed - Opened by Jaxan about 8 years ago

#38 - running example

Issue - State: closed - Opened by soojinm over 8 years ago - 2 comments
Labels: support

#37 - maven build failure due to dependencies

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

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

Issue - State: closed - Opened by Jaxan over 8 years ago - 7 comments
Labels: type: bug

#35 - Set up Travis

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

#34 - Replace LearnLogger by SLF4J

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

#33 - Make SULOracle extensible

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

#32 - Compile in Eclipse

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

#31 - DAG cache is broken

Issue - State: closed - Opened by Jaxan over 9 years ago - 5 comments
Labels: type: bug

#30 - Crash in TTT (0.11.1)

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

#29 - Bug in Wp-method

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

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

Issue - State: closed - Opened by misberner over 9 years ago

#27 - Bug in profiling counterexamples

Issue - State: closed - Opened by mh12345 over 9 years ago - 1 comment

#26 - Nlstar

Pull Request - State: closed - Opened by misberner over 10 years ago

#25 - Additional reuse info

Pull Request - State: closed - Opened by juangamnik over 10 years ago

#23 - Allow to specify a batch size for RandomWordsEQOracle

Pull Request - State: closed - Opened by windmueller over 10 years ago - 1 comment

#22 - Implemented the Kearns/Vazirani algorithm for DFA and Mealy learning

Pull Request - State: closed - Opened by misberner over 10 years ago

#20 - Added support for storing multiple system states in the reuse tree

Pull Request - State: closed - Opened by misberner almost 11 years ago

#19 - Refactored/extended parallelism API

Pull Request - State: closed - Opened by misberner almost 11 years ago

#18 - RandomWordsEQOracle fails with empty automaton

Issue - State: closed - Opened by windmueller almost 11 years ago - 2 comments
Labels: type: bug

#17 - ObservationTable Serialization

Pull Request - State: closed - Opened by windmueller almost 11 years ago

#16 - Improved performance of BaselineLStar

Pull Request - State: closed - Opened by windmueller almost 11 years ago

#15 - Algorithm features

Pull Request - State: closed - Opened by misberner almost 11 years ago

#14 - Algorithm features

Pull Request - State: closed - Opened by misberner almost 11 years ago

#13 - toString representation for Query and its implementations

Pull Request - State: closed - Opened by windmueller almost 11 years ago - 1 comment

#12 - Integration testing architecture

Pull Request - State: closed - Opened by misberner almost 11 years ago

#11 - Reuse

Pull Request - State: closed - Opened by oliverbauer8 almost 11 years ago

#10 - Code cleanup

Pull Request - State: closed - Opened by windmueller almost 11 years ago

#9 - Reuse

Pull Request - State: closed - Opened by windmueller almost 11 years ago - 1 comment

#8 - EquivalenceOracle: Empty list of inputs

Issue - State: closed - Opened by windmueller almost 11 years ago - 1 comment

#7 - Do not start graphical programs during maven tests

Pull Request - State: closed - Opened by windmueller almost 11 years ago

#6 - Potential bug in counterexample handling

Issue - State: closed - Opened by fhowar almost 11 years ago - 3 comments
Labels: question

#4 - Problem with 'mvn install' in learnlib-parent

Issue - State: closed - Opened by DerMichi about 11 years ago - 1 comment

#3 - Add Register Automata Learning

Issue - State: open - Opened by fhowar over 11 years ago
Labels: type: new feature

#2 - Implement NL*

Issue - State: closed - Opened by misberner over 11 years ago - 1 comment
Labels: type: new feature

#1 - Implement Kearns&Vazirani

Issue - State: closed - Opened by misberner over 11 years ago - 1 comment
Labels: type: new feature