FEDORA-2017-07ef3bf2b9 created by jjames 4 years ago for Fedora 26
stable

Changes in version 1.12-1:

  • added Valmari's minimization algorithm - contributed by S. Gregersen
  • now supports Maven - thanks to S. Gregersen
  • fixed missing check of 'minimize' option - thanks to V. Wuestholz
  • fixed state naming for singleton automata - thanks to A.M.W. Younang and S. Gregersen
  • RunAutomaton.setAlphabet now non-final - suggested by D. Lowe
  • minor simplification of 'determinize' - suggested by V. Berchet

How to install

sudo dnf upgrade --advisory=FEDORA-2017-07ef3bf2b9

This update has been submitted for testing by jjames.

4 years ago

This update has been pushed to testing.

4 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

4 years ago

This update has been submitted for stable by jjames.

4 years ago

This update has been pushed to stable.

4 years ago

Please login to add feedback.

Metadata
Type
enhancement
Severity
medium
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years ago

Automated Test Results