Differences

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 [2022/10/03 22:52] (current)
mht208 [Next Release]
Line 3: Line 3:
 ====== Next Release ====== ====== Next Release ======
  
-  * Add a conversion from NBW to SDBW.+  * [CORE] Draw alternating states correctly in the tikz outputs. 
 +  * [CORE] Remove unreachable states when removing dead states. 
 +  * [CORE] Fix a bug in detecting changed preferences. 
 + 
 +====== 2020-05-06 ====== 
 + 
 +  * CORE: Run with JDK 11. Earlier versions of Java are no longer supported. Some Mac trackpad gestures do not work. 
 +  * CORE: Add a conversion from NBW to SDBW. 
 +  * CORE: Improve the search of automata conversions. 
 +  * CORE, GUI: Add an option to disable overlaps of transition labels. 
 +  * CORE: Disable overlaps of transition labels in HOAF outputs. 
 +  * CORE: Fix a bug of inconsistent state comparison. Known affected algorithms: some operations on the results of Safra-Piterman determinization using history trees. 
 +  * CORE: Fix a bug in PLTL2BA which generates unnecessary transitions to the sink. 
 +  * CORE: Fix a bug in random generation of automata with acceptance on transitions. 
 +  * CORE: Mark transition reduction in the conversion from NPW to NBW and parity simplification through the computation of Rabin index mutually exclusive. The two options are not compatible. 
 +  * CORE: Fix a bug in ElementaryCycleGenerator. When using the elementary cycle generator to find cycles in a restricted area of an automaton, if the area is specified as clones of states of the automaton, then cycles won't be found. 
 +  * CORE, CMD, GUI: Add an option to parse a single letter as a symbol for regular expressions and omega regular expressions. 
 +  * CORE, CMD, GUI: Add determinization to WDBW formed by subset construction [DEK07]. 
 +  * CMD: Fix a bug in invoking classic complementation in command-line mode. 
 +  * CMD: Fix a bug in deterministic command which always returns whether the input is semi-deterministic when checking whether the input is semantically deterministic. 
 +  * CMD: Add arguments to output counterexamples for the emptiness command. 
 +  * CMD: Fix a bug in the translate command where -se is treated as -sa. 
 +  * CMD: Add a closure command. 
 +  * GUI: Paste states with offsets to prevent overlapping. 
 +  * GUI: Support editing Hanoi acceptance condition (experimental). 
 ====== 2015-10-18 ====== ====== 2015-10-18 ======
  
goal/changelog.txt · Last modified: 2022/10/03 22:52 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