LearnLib / automatalib / 223

Builds Branch Commit Type Ran Committer Via Coverage
223 develop Fix a bug in the TarjanSCCVisitor regarding the stack ordering (#35) * Insert the nodes when their exploration is starting, rather than when it is finished. * Fix a wrong accessor to the node's id. push mtf90 travis-ci pending completion   set done
222 develop small cleanups * Instead of sorting the nodes when their exploration is finished, push them correctly onto the stack when starting their exploration. * Fix a wrong accessor to the node's id. Pull #35 web-flow travis-ci pending completion   set done
221 develop util: fix bug in UndefinedInputsIterator push mtf90 travis-ci pending completion   set done
220 develop Fix a bug in the TarjanSCCVisitor regarding the stack ordering Pull #35 web-flow travis-ci pending completion   set done
219 develop replace JSR305 annotations with Checkerframework annotations * replace old annotations 1:1 where possible * remove annotations which have no counterpart (regarding ParametersAreNonnullByDefault we follow Checkerframeworks convention, that (unanno... push mtf90 travis-ci pending completion   set done
218 develop exclude examples module in a release Previously we skipped deployment of the examples artifact but it was still included in site generation, which leaked e.g. JavaDoc to the public and caused confusion. This commit excludes the examples module wh... push mtf90 travis-ci pending completion   set done
217 develop ltsmin: more leak prevention of temporary files Also, warn instead of throwing exceptions, when temporary files cannot be deleted. push mtf90 travis-ci pending completion   set done
216 develop clean up logging in LTSminUtil Log exceptions to DEBUG level and log regular detection notifications to INFO level. push mtf90 travis-ci pending completion   set done
215 develop cleanup PaigeTarjan minimization * refactored the `PaigeTarjanInitializers#initDeterministic` method to expect an IntAbstraction, similar to the `initCompleteDeterministic` variants. * removed the specialized `initDeterministic` version for binar... push mtf90 travis-ci pending completion   set done
214 develop fix bug in PaigeTarjanExtractors the pruned version did not traverse the automaton, resulting in incomplete models. push mtf90 travis-ci pending completion   set done
213 develop refactor ids of VisualizationProviders to public fields push mtf90 travis-ci pending completion   set done
212 develop add collectors for Words and Alphabets push mtf90 travis-ci pending completion   set done
211 develop dot: do not render unnecessary newlines push mtf90 travis-ci pending completion   set done
210 develop add product automata construction for Mealy Machines push mtf90 travis-ci pending completion   set done
209 develop fix/cleanup equals() method push mtf90 travis-ci pending completion   set done