@mtf90 mtf90 released this May 12, 2018 · 105 commits to develop since this release

Assets 2

This is a bugfix release, which should work as a drop-in replacement for previous 0.13.* versions.

Fixes

  • Fixed an out-of-bounds error in a cache implementation
  • Fixed visibility issues with exportable classes used for the ResumableLearner interface
  • Fixed an issue when adding a new symbol to a learner and the initial alphabet was already an instance of GrowableAlphabet
  • General consolidations (typos, wrong documentation, etc.)

For a complete changelog, see git log learnlib-0.13.0..learnlib-0.13.1