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
#77 - IndexOutOfBoundsException in IncrementalMealyDAGBuilder when input word is longer than output word
Issue -
State: closed - Opened by BlobbyBob 6 months ago
- 6 comments
#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