We are proud to announce the release of Sequence Chart Studio 0.5.4.1.
This release fixes bug No. 100 reporting a problem with local actions in race checker, time-race checker (and local-choice checker).
Enjoy Sequence Chart Studio with repaired checker.
We are proud to announce the release of Sequence Chart Studio 0.5.3. This release includes:
- export to LaTeX format
- import pcap format
- time relevant ordering support for pcap import
- bug No. 3495291 fixed (beautify with too steep messages)
- bug No. 3541398 fixed (acyclic checker added as a precondition of beautify)
- action and condition supported in Z120 import/export
We are proud to announce the release of Sequence Chart Studio 0.5.2. This release includes:
- new dialogs and algorithms for Beautify
- command line interface
- import from .mpr supports the output of pcap2z120.py
- heuristic version of beautify instead of linear programing based (suitable for large files)
- new drawing functions to thicken/thin lines
Sequence Chart Studio is a user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC), integrated with Microsoft Visio. Learn more on http://scstudio.sourceforge.net.
We are proud to announce the release of Sequence Chart Studio 0.3.0.
This release includes verification of universal boundedness, improved installation and configuration and many bugfixes.
Sequence Chart Studio is a user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC), integrated with Microsoft Visio. Learn more on http://scstudio.sourceforge.net.
We are proud to announce the release of Sequence Chart Studio 0.2.0.
This release enables Microsoft Visio users to draw simple MSC drawings and execute 5 verification algorithms: detect deadlock/livelock, detect cycles and race conditions.