This shows you the differences between two versions of the page.
|
goal:changelog [2020/05/06 22:56] mht208 [2020-05-06] |
goal:changelog [2022/10/03 22:52] (current) mht208 [Next Release] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| Note: GOAL was made publicly available on 2006-08-23. There have since been several new releases, each introducing some changes and new features. Changes by earlier versions are not documented. | Note: GOAL was made publicly available on 2006-08-23. There have since been several new releases, each introducing some changes and new features. Changes by earlier versions are not documented. | ||
| + | |||
| + | ====== Next Release ====== | ||
| + | |||
| + | * [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 ====== | ====== 2020-05-06 ====== | ||
| - | * CORE: Run with JDK 11. Older versions of Java are no longer supported. Some Mac trackpad gestures do not work. | + | * 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: Add a conversion from NBW to SDBW. | ||
| * CORE: Improve the search of automata conversions. | * CORE: Improve the search of automata conversions. | ||