LearnLib / automatalib / 12734462279

Builds Branch Commit Type Ran Committer Via Coverage
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
12562237475 develop widen type-constraint on AbstractBasicLinkedListEntry push mtf90 github
91.54
12474765892 develop github: restrict CI permissions push mtf90 github
91.53
12459498118 develop Create CODE_OF_CONDUCT.md push web-flow github
91.53
12459117572 develop cleanups as reported by IntelliJ's analysis push mtf90 github
91.53
12323302934 develop cleanups push mtf90 github
91.18
12304577693 develop Overhaul minimization code (#83) * add valmaris algorithm * initial PT refactoring * implement bisimulation via valmari * add documentation * cleanups * add invasive hopcroft methods * some more universal tests * performance ... push web-flow github
91.18