LearnLib / automatalib / 242

Builds Branch Commit Type Ran Committer Via Coverage
242 develop Update CHANGELOG.md push web-flow travis-ci pending completion   set done
238 release [maven-release-plugin] prepare release automatalib-0.9.0 push mtf90 travis-ci pending completion   set done
239 release [maven-release-plugin] prepare for next development iteration push mtf90 travis-ci pending completion   set done
237 release bump dependency versions push mtf90 travis-ci pending completion   set done
235 develop add more tests for equivalence checks push mtf90 travis-ci pending completion   set done
234 develop fix bug in RandomUtil Includes test cases push mtf90 travis-ci pending completion   set done
233 develop incremental: add and extend tests push mtf90 travis-ci pending completion   set done
232 develop fix some typos push mtf90 travis-ci pending completion   set done
231 develop Fix a bug in the computation of characterizing sets When analyzing the remaining state partitions, we need to investigate all partitions with two or more states, not just partitions with three or more states. This commit also updates the tests t... push mtf90 travis-ci pending completion   set done
230 develop bump license header to 2020 push mtf90 travis-ci pending completion   set done
229 develop small cleanup push mtf90 travis-ci pending completion   set done
228 develop workaround incremental compilation issue push mtf90 travis-ci pending completion   set done
226 develop bump mockito version adds compatibility with JDK 13 (if needed in the future) push mtf90 travis-ci pending completion   set done
225 develop some updates to checkerframework integration * bump to version 3.0.0 * enable analysis of more usages * fix some newly detected issues and cleanup some redundant null checks * this introduces some new complaints of the map key checker where d... push mtf90 travis-ci pending completion   set done
224 develop update changelog push mtf90 travis-ci pending completion   set done