LearnLib / learnlib / 13115659999

Builds Branch Commit Type Ran Committer Via Coverage
13115659999 develop improve parallelizability of TTT closes #140 (the original issue was not a bug but this one came up in the resulting disucssion) push mtf90 github
94.32
13034511199 develop spmm: improve assertions push mtf90 github
94.3
12999975393 develop L# Algorithm (#141) * feat: lsharp * fix: LSoracle Rule3 SepSeq mode * fix: tidy pom * chore: tidy imports * chore: spotbugs * chore: spotbugs * chore: spotbugs * chore: spotbugs * chore: spotbugs * chore: pmd * chor... push web-flow github
94.39
12999696653 feat/lsharp Merge e148d9ba9 into bf66741db Pull #141 web-flow github
94.39
12976289299 feat/lsharp Merge a2d6e458d into bf66741db Pull #141 web-flow github
94.39
12873128466 develop parallelism: streamline builder interfaces push mtf90 github
94.29
12812853818 develop cleanups push mtf90 github
94.23
12771646007 develop adjust to AutomataLib refactorings push mtf90 github
94.2
12755372168 develop cleanup some ADT code push mtf90 github
94.2
12714584139 develop PTA improvements * color-code PTA nodes in visualization * remove redundant checks * fix erroneous construction of merged automata push mtf90 github
94.2
12653566208 develop bump some internal URLs to https push mtf90 github
94.15
12652880822 develop Update dependencies (#139) * adjust to AutomataLib refactorings * bump basic depdency versions * bump checkstyle + cleanups * bump spotbugs + cleanups * bump pmd + cleanups * bump checkerframework + cleanups * fix wrong simplifi... push web-flow github
94.15
12651644911 update-dependencies Merge fabca7c2a into 9e456ff8c Pull #139 web-flow github
94.15
12562420470 develop merge datastructure modules push mtf90 github
93.99
12474894068 develop github: restrict CI permissions push mtf90 github
93.93