Ecosyste.ms: Issues

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

GitHub / LearnLib/automatalib issues and pull requests

#78 - Overhaul powersetViews

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

#75 - Add jlink integration test

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

#74 - Unify parsing exceptions and hide implementation details

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

#73 - Add trim and reverse methods for NFAs

Pull Request - State: open - Opened by jn1z 8 months ago - 14 comments

#72 - Cleanup reported javadoc warnings

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

#71 - Add NFAs, DFAs, and Automata documentation and coverage

Pull Request - State: closed - Opened by jn1z 8 months ago - 1 comment

#70 - M3CParser fails when ID is a formula token

Issue - State: closed - Opened by mtf90 8 months ago

#69 - Add Tabakov-Vardi random automata generator

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

#68 - Add more comments and make some small refactors and changes to PaigeTarjan folder

Pull Request - State: closed - Opened by jn1z 8 months ago - 1 comment

#67 - Drop guava

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

#65 - Drop serialization-core module

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

#64 - Add support for JPMS modules

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

#63 - Switch to in-house annotation processing

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

#61 - Fail on javadoc warnings and improve documentation

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

#61 - Fail on javadoc warnings and improve documentation

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

#60 - Add comments and remove redundant code in PaigeTarjan

Pull Request - State: closed - Opened by jn1z 11 months ago - 4 comments

#59 - M3C does not run on M1 MacBooks

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

#59 - M3C does not run on M1 MacBooks

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

#59 - M3C does not run on M1 MacBooks

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

#59 - M3C does not run on M1 MacBooks

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

#59 - M3C does not run on M1 MacBooks

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

#59 - M3C does not run on M1 MacBooks

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

#59 - M3C does not run on M1 MacBooks

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

#59 - M3C does not run on M1 MacBooks

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

#58 - Re-integrate the work on procedural systems

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

#58 - Re-integrate the work on procedural systems

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

#58 - Re-integrate the work on procedural systems

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

#57 - How to minimize a chained mealy automata

Issue - State: closed - Opened by grandnew over 1 year ago - 10 comments

#56 - feat: Adaptive Mealy Tree Builder

Pull Request - State: closed - Opened by tiferrei about 2 years ago - 27 comments

#55 - random 1SEVPA: correct probability for initial location

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

#54 - Merge CounterExample

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

#53 - feed an LTL formula to LTSMin via a file

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

#52 - Create states from AUT header

Pull Request - State: closed - Opened by ericcccsliu over 2 years ago - 3 comments

#51 - AUTParser only adds states with outgoing transitions

Issue - State: closed - Opened by ericcccsliu over 2 years ago

#50 - feat: CompactMealy clone constructor

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

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

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

#48 - PaigeTarjanMinimization.minimizeDFA does not guarantee minimal result

Issue - State: open - Opened by wytseoortwijn over 2 years ago - 1 comment

#47 - Integrate M3C, a model checker for context-free modal process systems

Pull Request - State: closed - Opened by AlnisM about 3 years ago

#46 - Deviation in the BBC functionality between (at least) LearnLib 0.14.0 and 0.16.0

Issue - State: closed - Opened by MasWag about 3 years ago - 2 comments

#45 - Switch CI to GitHub Actions

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

#44 - CompactMoore

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

#43 - Reintegrate MTS Branch

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

#42 - Add modal transition systems and associated algorithms to automatalib

Pull Request - State: closed - Opened by Conturing almost 4 years ago - 4 comments

#41 - Minimizer.minimize overload without start states is broken

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

#40 - DOTParsers.mealy() not parsing all transitions

Issue - State: closed - Opened by tiferrei about 4 years ago - 13 comments

#39 - AbstractOneSEVPA: fixed issue in getOutgoingEdges(..)

Pull Request - State: closed - Opened by DonatoClun over 4 years ago - 1 comment

#38 - Fix to enquote the output of mealy machines in the TFAWriter.

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

#37 - TAF writer does not enquote outputs of mealy machines

Issue - State: closed - Opened by aschieweck over 4 years ago

#36 - Incorrect characterizing set for Mealy machine

Issue - State: closed - Opened by tmaarse over 4 years ago - 3 comments
Labels: type: bug

#35 - Fix a bug in the TarjanSCCVisitor regarding the stack ordering

Pull Request - State: closed - Opened by mmuesly almost 5 years ago

#34 - Write a parser for LTSmin formulae

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

#33 - Replace JSR305 annotations

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

#32 - Substract current automaton size to Wp-method's maxDepth

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

#32 - Substract current automaton size to Wp-method's maxDepth

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

#31 - Fixed Inverted Determinization Logic for BricsDFA Construction

Pull Request - State: closed - Opened by havrikov over 5 years ago - 1 comment

#31 - Fixed Inverted Determinization Logic for BricsDFA Construction

Pull Request - State: closed - Opened by havrikov over 5 years ago - 1 comment

#30 - Add model checking with monitors.

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

#30 - Add model checking with monitors.

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

#29 - Compact overhaul

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

#29 - Compact overhaul

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

#28 - Improvements to model checking.

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

#27 - Fix visualization tests

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

#27 - Fix visualization tests

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

#26 - Platform fixes

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

#26 - Platform fixes

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

#25 - Error testing serilaization-dot

Issue - State: closed - Opened by omarzd about 6 years ago - 10 comments

#25 - Error testing serilaization-dot

Issue - State: closed - Opened by omarzd about 6 years ago - 10 comments

#24 - CompactMealyTransition does not extend MealyTransition

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

#24 - CompactMealyTransition does not extend MealyTransition

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

#23 - Java Building ERROR

Issue - State: closed - Opened by ray0728 over 6 years ago - 4 comments
Labels: invalid

#23 - Java Building ERROR

Issue - State: closed - Opened by ray0728 over 6 years ago - 4 comments
Labels: invalid

#22 - Fixing issue #21

Pull Request - State: closed - Opened by mmuesly over 6 years ago - 4 comments

#22 - Fixing issue #21

Pull Request - State: closed - Opened by mmuesly over 6 years ago - 4 comments

#21 - Bug in the strongly connected component algorithm

Issue - State: closed - Opened by mmuesly over 6 years ago - 2 comments

#21 - Bug in the strongly connected component algorithm

Issue - State: closed - Opened by mmuesly over 6 years ago - 2 comments

#20 - Add import and export formats for LTSmin.

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

#20 - Add import and export formats for LTSmin.

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

#19 - Update README.md

Pull Request - State: closed - Opened by omarzd almost 7 years ago - 5 comments

#19 - Update README.md

Pull Request - State: closed - Opened by omarzd almost 7 years ago - 5 comments

#18 - Use UTF-8 in TAF serialization

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

#18 - Use UTF-8 in TAF serialization

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

#17 - Add support for lazy test-sequence generations

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

#17 - Add support for lazy test-sequence generations

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

#16 - Merging LearnLib/automatalib back into misberner/automatalib

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

#16 - Merging LearnLib/automatalib back into misberner/automatalib

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

#15 - Javadoc missing

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

#14 - Make an automaton out of a AUT

Issue - State: closed - Opened by omarzd almost 8 years ago - 3 comments

#14 - Make an automaton out of a AUT

Issue - State: closed - Opened by omarzd almost 8 years ago - 3 comments

#13 - Renaming COPYING.txt to LICENSE

Issue - State: closed - Opened by johnament almost 8 years ago - 2 comments

#13 - Renaming COPYING.txt to LICENSE

Issue - State: closed - Opened by johnament almost 8 years ago - 2 comments

#12 - bug in DAGIncrementalBuilder

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

#12 - bug in DAGIncrementalBuilder

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

#11 - SCC fix

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

#11 - SCC fix

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

#10 - Implementation of input/output labelled transition systems

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

#10 - Implementation of input/output labelled transition systems

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

#9 - Update MealyTransition.java

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

#9 - Update MealyTransition.java

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

#8 - Hide transitions in DOT output based on outputs

Issue - State: closed - Opened by windmueller over 10 years ago - 2 comments
Labels: type: new feature