This shows you the differences between two versions of the page.

Link to this comparison view

goal:changelog [2015/10/19 03:50]
mht208 [Next Release]
goal:changelog [2018/12/23 11:56] (current)
mht208 [Next Release]
Line 3: Line 3:
 ====== Next Release ====== ====== Next Release ======
 +  * Run with JDK 11. Older versions of Java are no longer supported. Some Mac trackpad gestures become not working.
   * Add a conversion from NBW to SDBW.   * Add a conversion from NBW to SDBW.
 +  * Improve the search of automata conversions.
 +  * Support editing Hanoi acceptance condition.
 +  * Paste states with offsets to prevent overlapping.
 +  * Add arguments to output counterexamples for the emptiness command.
 +  * Fix a bug in PLTL2BA which generates unnecessary transitions to the sink.
 +  * Fix a bug in random generation of automata with acceptance on transitions.
 +  * Fix a bug in invoking classic complementation in command-line mode.
 ====== 2015-10-18 ====== ====== 2015-10-18 ======
goal/changelog.1445226603.txt.gz ยท Last modified: 2015/10/19 03:50 by mht208
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki