issues
search
LearnLib
/
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
http://automatalib.net
Apache License 2.0
92
stars
34
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Serialization Overhaul
#81
mtf90
closed
2 months ago
0
Improve handling of confluent states in DAG builders
#80
mtf90
closed
4 months ago
0
IncrementalDAGBuilder fails for traces with cyclic repetitions longer than 2
#79
mtf90
closed
4 months ago
0
Overhaul powersetViews
#78
mtf90
closed
6 months ago
0
IndexOutOfBoundsException in IncrementalMealyDAGBuilder when input word is longer than output word
#77
BlobbyBob
closed
6 months ago
6
Add jlink integration test
#75
mtf90
closed
7 months ago
0
Unify parsing exceptions and hide implementation details
#74
mtf90
closed
8 months ago
0
Add trim and reverse methods for NFAs
#73
jn1z
closed
4 months ago
14
Cleanup reported javadoc warnings
#72
mtf90
closed
8 months ago
1
Add NFAs, DFAs, and Automata documentation and coverage
#71
jn1z
closed
8 months ago
1
M3CParser fails when ID is a formula token
#70
mtf90
closed
8 months ago
0
Add Tabakov-Vardi random automata generator
#69
jn1z
closed
8 months ago
0
Add more comments and make some small refactors and changes to PaigeTarjan folder
#68
jn1z
closed
8 months ago
1
Drop guava
#67
mtf90
closed
9 months ago
0
Drop serialization-core module
#65
mtf90
closed
9 months ago
0
Add support for JPMS modules
#64
mtf90
closed
9 months ago
0
Switch to in-house annotation processing
#63
mtf90
closed
9 months ago
0
Fail on javadoc warnings and improve documentation
#61
mtf90
closed
8 months ago
0
Add comments and remove redundant code in PaigeTarjan
#60
jn1z
closed
11 months ago
4
M3C does not run on M1 MacBooks
#59
VishalPatel43
opened
1 year ago
1
Re-integrate the work on procedural systems
#58
mtf90
closed
1 year ago
0
How to minimize a chained mealy automata
#57
grandnew
closed
1 year ago
10
feat: Adaptive Mealy Tree Builder
#56
tiferrei
closed
1 year ago
27
random 1SEVPA: correct probability for initial location
#55
MokonaNico
closed
2 years ago
0
Merge CounterExample
#54
Viperish-byte
closed
1 year ago
0
feed an LTL formula to LTSMin via a file
#53
MasWag
closed
1 year ago
2
Create states from AUT header
#52
ericcccsliu
closed
2 years ago
3
AUTParser only adds states with outgoing transitions
#51
ericcccsliu
closed
2 years ago
0
feat: CompactMealy clone constructor
#50
tiferrei
closed
2 years ago
2
Add support for Java 17 (LTS) to CI pipeline
#49
mtf90
closed
1 year ago
0
PaigeTarjanMinimization.minimizeDFA does not guarantee minimal result
#48
wytseoortwijn
closed
4 months ago
2
Integrate M3C, a model checker for context-free modal process systems
#47
AlnisM
closed
3 years ago
0
Deviation in the BBC functionality between (at least) LearnLib 0.14.0 and 0.16.0
#46
MasWag
closed
3 years ago
2
Switch CI to GitHub Actions
#45
mtf90
closed
3 years ago
0
CompactMoore
#44
z11panyan
closed
3 years ago
9
Reintegrate MTS Branch
#43
mtf90
closed
3 years ago
0
Add modal transition systems and associated algorithms to automatalib
#42
Conturing
closed
3 years ago
4
Minimizer.minimize overload without start states is broken
#41
dhendriks
closed
4 years ago
2
DOTParsers.mealy() not parsing all transitions
#40
tiferrei
closed
4 years ago
13
AbstractOneSEVPA: fixed issue in getOutgoingEdges(..)
#39
DonatoClun
closed
4 years ago
1
Fix to enquote the output of mealy machines in the TFAWriter.
#38
aschieweck
closed
4 years ago
0
TAF writer does not enquote outputs of mealy machines
#37
aschieweck
closed
4 years ago
0
Incorrect characterizing set for Mealy machine
#36
tmaarse
closed
4 years ago
3
Fix a bug in the TarjanSCCVisitor regarding the stack ordering
#35
mmuesly
closed
5 years ago
0
Write a parser for LTSmin formulae
#34
mtf90
closed
4 years ago
0
Replace JSR305 annotations
#33
mtf90
closed
4 years ago
0
Substract current automaton size to Wp-method's maxDepth
#32
cgvwzq
closed
5 years ago
2
Fixed Inverted Determinization Logic for BricsDFA Construction
#31
havrikov
closed
5 years ago
1
Add model checking with monitors.
#30
Meijuh
closed
5 years ago
0
Compact overhaul
#29
mtf90
closed
6 years ago
0
Next