1
I Use This!
Inactive

Commits : Listings

Analyzed about 23 hours ago. based on code collected about 23 hours ago.
Jun 29, 2024 — Jun 29, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Finishing of revision 1000. More... over 14 years ago
Cleaned up the code changes made in revision 999 More... over 14 years ago
An improvement in showing membership counter (comment position a marking). More... over 14 years ago
Fixed bug #3109432. MSC and UML add-on at the same time causes Visio crash More... over 14 years ago
Membership counter showing on Find Flow results - finished - printed using comments More... over 14 years ago
Membership counter showing on Find Flow results - unfinished yet, just adding the counter to the reference node label for now More... over 14 years ago
add membership counter as a attribute More... over 14 years ago
remove unnecessary code More... over 14 years ago
repaired the bag: now it do not change order if it is not allowed More... over 14 years ago
LivelockChecker correction and improvement More... over 14 years ago
RaceChecker preconditions corrected. More... over 14 years ago
add absolut time support for membership algorithm (not tested) More... over 14 years ago
Fix of #3081401 (New instance in couterexample of race checker) More... over 14 years ago
repair membership bug, add test of this bug and solve some memory leaks More... over 14 years ago
New membership help More... over 14 years ago
fixed bug in consistency check algorithm More... almost 15 years ago
Prepare for release.
Petr Gotthard
as gotthardp
More... almost 15 years ago
Strong realizability documentation improved again More... almost 15 years ago
adding menu to help; changing index file to have some basic info about scstudio (taken from homepage) More... almost 15 years ago
adding link to index file to final look of menu in acyclic.html More... almost 15 years ago
deleting redundant help files: one index file, menu on the left; menu in final look in acyclic.html More... almost 15 years ago
Fixed help paths from Visio Addon More... almost 15 years ago
Documentation corrections and added documentation for Flip message direction, instance rotation and message jumping More... almost 15 years ago
Item order changed in submenu Check->Drawing. More... almost 15 years ago
add marking of connection between hmsc nodes and repair result when bmsc is the specification More... almost 15 years ago
add path returning to membership algorithm More... almost 15 years ago
frontend help fixed: More... almost 15 years ago
- bug fixed (preserve message type in Message jump doesn't work) More... almost 15 years ago
fixed bug in consistency check algorithm More... almost 15 years ago
adding dialogs for beautify settings More... almost 15 years ago