Monday, August 3, 2015

Minor Update Release (0.2.1)

New Version Released (0.2.1)





New Features:

 - Transitions Coloring: The tool can automatically detect the process making a transition, then color all the transitions of a process with the same color. The name of the process making the transition is also displayed in the information bar when the transition is selected. Details on how to activate the feature are present in the user manual inside Eshmun (F1).

 - Process-Indexed Next time CTL Operators: By indexing AX and EX operators with a process name you can restrict the operator. Instead of considering all the children states, only the children reached by a transition belonging to the indexed process are considered. Additional information on the usage and syntax are available in the user manual.

Change Notice: Retained States and Transitions now appear in bold instead of being colored red. The color red could be used as a process color.

Downloads:

 - The new version of the tool (version 0.2.1) can be downloaded here. It is a runnable jar file, it required java 7. Please notice that the tool is still under development and is not a final-release.

Bug reports: 
If a bug was encountered, please submit a bug report to the following email eshmuntool@gmail.com, please attach with it a saved copy of the structure causing the bug, or details on how to reproduce the bug on our machines to study it. Your feedback is highly appreciated and will help us deliver a better tool. 


No comments:

Post a Comment