Differences

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

Link to this comparison view

goal:changelog [2018/11/29 10:33]
mht208 [Next Release]
goal:changelog [2018/11/29 10:34] (current)
mht208 [Next Release]
Line 7: Line 7:
   * Improve the search of automata conversions.   * Improve the search of automata conversions.
   * Support editing Hanoi acceptance condition.   * Support editing Hanoi acceptance condition.
-  * Paste states with offsets.+  * Paste states with offsets to prevent overlapping.
   * Fix a bug in PLTL2BA which generates unnecessary transitions to the sink.   * 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 random generation of automata with acceptance on transitions.
goal/changelog.txt ยท Last modified: 2018/11/29 10:34 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