LearnLib / learnlib / 7402110568

Builds Branch Commit Type Ran Committer Via Coverage
7402110568 ap-rework Merge cc3ab575f into ca5cbeb70 Pull #111 web-flow github
93.36
7366269473 ap-rework Merge 055c41d00 into ca5cbeb70 Pull #111 web-flow github
93.36
7308474359 develop drop Java 8 configs push mtf90 github
93.35
7063696491 develop ci: use defaults in integration-tests push mtf90 github
93.35
6877516968 develop use developerConnection in scm-publish plugin so that we can conveniently push docs after a release push mtf90 github
93.36
6877521827 master [maven-release-plugin] prepare release learnlib-0.17.0 push mtf90 github
93.36
6877022493 refs/tags/learnlib-0.17.0 [maven-release-plugin] prepare release learnlib-0.17.0 push mtf90 github
93.36
6877021733 release [maven-release-plugin] prepare for next development iteration push mtf90 github
93.36
6876679961 release improve docs push mtf90 github
93.36
6843814768 develop improve docs push mtf90 github
93.36
6837163042 develop make OptimalLStar resumable see #83 push mtf90 github
93.36
6805330902 develop typo push mtf90 github
93.34
6764248890 develop adjust to AutomataLib refactorings push mtf90 github
93.33
6763861508 develop revert overly eager import optimization push mtf90 github
93.33
6685153890 develop cleanup changelog push mtf90 github
93.33