LearnLib / automatalib / 6764248577

Builds Branch Commit Type Ran Committer Via Coverage
6764248577 develop cleanups push mtf90 github
89.88
6763327895 develop fix typo push mtf90 github
89.73
6748397963 develop bump ADDlib version push mtf90 github
89.87
6714252156 develop fix assemblies after update push mtf90 github
89.87
6712885541 develop share more functionality in PaigeTarjan code push mtf90 github
89.87
6709679009 develop Add comments and remove redundant code in PaigeTarjan (#60) * Use helper method to reduce redundant code. * Extract out repeated call. (Consider using in OneSEVPAMinimizer as well.) * Extract out repeated call. (Consider using in OneSEVPAM... push web-flow github
89.85
6709361923 develop Merge 11b99ca17 into d7b4c35e0 Pull #60 web-flow github
89.85
6708669705 develop update javadoc links * add addlib link * reorder/unify existing links push mtf90 github
89.86
6685668398 develop add some more package documentation push mtf90 github
89.86
6685076669 develop align core packages with api packages push mtf90 github
89.86
6673475267 develop use property-based profile activation the <activeByDefault> activation gets disabled as soon as any other profile is selected. Therefore, use the previous property-based activation as we only need the profile encapsulation to disable it during re... push mtf90 github
89.8
6673214172 develop cleanup release configuration push mtf90 github
89.17
6672550055 develop bump ADDLib version push mtf90 github
89.8
6668764019 develop cleanup (Idefinite)Graph interfaces push mtf90 github
89.69
6654683895 develop util: handle some more corner-cases in equivalence checks push mtf90 github
89.68