LearnLib/automatalib

Issues

• Problem with references to FSM format

  #87 opened a month ago by pierreganty
  1

• Integer overflow when comparing two large automata

  #84 opened 2 months ago by tneele
  4

• PaigeTarjanMinimization.minimizeDFA does not guarantee minimal result

  #48 opened 9 months ago by wytseoortwijn
  2

• IncrementalDAGBuilder fails for traces with cyclic repetitions longer than 2

  #79 opened 10 months ago by mtf90
  0

• IndexOutOfBoundsException in IncrementalMealyDAGBuilder when input word is longer than output word

  #77 opened a year ago by BlobbyBob
  6

• Fail on javadoc warnings and improve documentation

  #61 opened a year ago by mtf90
  0

• M3CParser fails when ID is a formula token

  #70 opened a year ago by mtf90
  0

• M3C does not run on M1 MacBooks

  #59 opened a year ago by VishalPatel43
  1

• How to minimize a chained mealy automata

  #57 opened a year ago by grandnew
  10

• Add support for Java 17 (LTS) to CI pipeline

  #49 opened 2 years ago by mtf90
  0

• AUTParser only adds states with outgoing transitions

  #51 opened 3 years ago by ericcccsliu
  0

• Deviation in the BBC functionality between (at least) LearnLib 0.14.0 and 0.16.0

  #46 opened 4 years ago by MasWag
  2

• CompactMoore

  #44 opened 4 years ago by z11panyan
  9

• DOTParsers.mealy() not parsing all transitions

  #40 opened 4 years ago by tiferrei
  13

• Minimizer.minimize overload without start states is broken

  #41 opened 4 years ago by dhendriks
  2

• TAF writer does not enquote outputs of mealy machines

  #37 opened 5 years ago by aschieweck
  0

• Incorrect characterizing set for Mealy machine

  #36 opened 5 years ago by tmaarse
  3

• Replace JSR305 annotations

  #33 opened 5 years ago by mtf90
  0

• Write a parser for LTSmin formulae

  #34 opened 5 years ago by mtf90
  0

• Implement Register Automata

  #5 opened 12 years ago by misberner
  0

• Write test cases

  #1 opened 6 years ago by misberner
  2

• Substract current automaton size to Wp-method's maxDepth

  #32 opened 6 years ago by cgvwzq
  2

• Error testing serilaization-dot

  #25 opened 7 years ago by omarzd
  10

• Use UTF-8 in TAF serialization

  #18 opened 7 years ago by mtf90
  0

• CompactMealyTransition does not extend MealyTransition

  #24 opened 7 years ago by dhendriks
  5

• Java Building ERROR

  #23 opened 7 years ago by ray0728
  4

• Bug in the strongly connected component algorithm

  #21 opened 7 years ago by mmuesly
  2

• Javadoc missing

  #15 opened 7 years ago by omarzd
  2

• Add support for lazy test-sequence generations

  #17 opened 7 years ago by mtf90
  0

• Make an automaton out of a AUT

  #14 opened 8 years ago by omarzd
  3

• Graphviz DOT output

  #7 opened 8 years ago by juangamnik
  8

• Renaming COPYING.txt to LICENSE

  #13 opened 8 years ago by johnament
  2

• bug in DAGIncrementalBuilder

  #12 opened 10 years ago by mgeske
  0

• NFA determinization

  #2 opened 10 years ago by misberner
  1

• Hide transitions in DOT output based on outputs

  #8 opened 11 years ago by windmueller
  2

• Sorry...

  #3 opened 11 years ago by oliverbauer
  0

• Issues with IntRangeIterator

  #6 opened 12 years ago by oliverbauer8
  1

• Dot export issues with CompactMealy

  #4 opened 12 years ago by maikmerten
  4