LearnLib / automatalib / 12888641454

Builds Branch Commit Type Ran Committer Via Coverage
12888641454 develop small performance fix for CompactDeterministic push mtf90 github
92.01
12812848752 develop cleanup {Static,Dynamic}{State,Node}Mappings Accessing potential null-values is an inherent data-flow problem. By annotating the result type as @Nullable, we force all consumers to check for null, even in those cases where previous dataflow ensur... push mtf90 github
91.95
12796036574 develop cleanup/optimize default implementations push mtf90 github
91.89
12773763263 develop remove BlockAutomaton push mtf90 github
91.88
12771457454 develop cleanup type parameters of EmptyWord push mtf90 github
91.74
12755281779 develop cleanups push mtf90 github
91.62
12734462279 develop fix bug in Valmari implementation push mtf90 github
91.57
12733870613 develop fix bug in ValmariExtractors push mtf90 github
91.57
12717413511 develop fix overflow bug in DeterministicEquivalenceTest push mtf90 github
91.57
12677502509 develop fix bug in Covers implementation push mtf90 github
91.57
12653599538 develop modelchecking: fix some copyright notices push mtf90 github
91.57
12653051383 develop ads: cleanup variable names push mtf90 github
91.57
12651580329 develop Update dependencies (#85) * bump basic dependency versions * bump checkstyle + cleanups * bump spotbugs + cleanups * bump pmd + cleanups * bump checkerframework + cleanups * some more cleanups * ExceptionUtil: support nulls *... push web-flow github
91.57
12651127735 update-dependencies Merge 65592992c into d156e0830 Pull #85 web-flow github
91.57
12650654883 update-dependencies Merge 2499df5ae into d156e0830 Pull #85 web-flow github
91.57