Menu
▾
▴
scstudio-devel — Development mailing list
You can subscribe to this list here.
| 2009 |
Jan
(2) |
Feb
(2) |
Mar
|
Apr
(11) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2010 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(5) |
Dec
(10) |
| 2011 |
Jan
(12) |
Feb
(4) |
Mar
(29) |
Apr
(4) |
May
(5) |
Jun
(5) |
Jul
(34) |
Aug
(14) |
Sep
(1) |
Oct
|
Nov
(29) |
Dec
(7) |
| 2012 |
Jan
(17) |
Feb
(3) |
Mar
(5) |
Apr
(3) |
May
(2) |
Jun
(9) |
Jul
(67) |
Aug
(5) |
Sep
(6) |
Oct
(14) |
Nov
(3) |
Dec
(1) |
| 2013 |
Jan
(1) |
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
(1) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2014 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2015 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: SourceForge.net <no...@so...> - 2011-01-09 15:22:23
|
Bugs item #3063375, was opened at 2010-09-10 10:06 Message generated for change (Comment added) made by vacek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3063375&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None >Status: Closed Resolution: None Priority: 5 Private: No Submitted By: Vaclav Vacek (vacek) Assigned to: Vaclav Vacek (vacek) Summary: Erroneous counterexample in Race checker Initial Comment: When there a race condition between two nodes referencing the same BMSC, race events are not highlighted properly; only one event is highlighted. Please see the attached drawing. ---------------------------------------------------------------------- >Comment By: Vaclav Vacek (vacek) Date: 2011-01-09 16:22 Message: Solved: names of HMsc nodes is made unique before a counterexample is shown. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3063375&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2011-01-09 15:20:25
|
Feature Requests item #2558281, was opened at 2009-02-02 22:13 Message generated for change (Settings changed) made by vacek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2558281&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None >Status: Pending Priority: 5 Private: No Submitted By: Jindřich Babica (babicaj) Assigned to: Vaclav Vacek (vacek) Summary: Reachability of nodes in HMsc Initial Comment: ITU-T standard requires all nodes to be reachable. Reachability of nodes should be checked. Actual checking algorithms ignore unreachable nodes. ---------------------------------------------------------------------- >Comment By: Vaclav Vacek (vacek) Date: 2011-01-09 16:20 Message: No need for implementation at the moment. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-12-14 23:47 Message: Please check whether this (old) feature request has been already implemented, or not. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2558281&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2011-01-09 15:19:39
|
Feature Requests item #2557127, was opened at 2009-02-02 15:30 Message generated for change (Comment added) made by vacek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2557127&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Checking Algorithms Group: None >Status: Pending Priority: 5 Private: No Submitted By: Jindřich Babica (babicaj) Assigned to: Vaclav Vacek (vacek) Summary: Combination of DFSBMscGraphTraverser and DFSHMscTraverser Initial Comment: Implement new HMsc traverser. This traverser should traverse successors of the ReferenceNode iff the ReferenceNode references BMsc or another HMsc which has reachable EndNode (as DFSBMscGraphTraverser does). Moreover this traverser shouldn't traverse HMsc (referenced from any ReferenceNode) more than one time. It should check (by traversing it) whether the HMsc has reachable an EndNode only one time (the information stored in dynamic attribute?). This approach is combination of DFSBMscGraphTraverser and DFSHMscTraverser and will be very useful in many applications. ---------------------------------------------------------------------- >Comment By: Vaclav Vacek (vacek) Date: 2011-01-09 16:19 Message: No need for implementation at the moment. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-12-14 23:48 Message: Please check whether this (old) feature request has been already implemented, or not. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2557127&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2011-01-09 15:18:07
|
Feature Requests item #2555484, was opened at 2009-02-01 12:13 Message generated for change (Comment added) made by vacek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2555484&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Checking Algorithms Group: None >Status: Closed Priority: 5 Private: No Submitted By: Petr Gotthard (gotthardp) Assigned to: Nobody/Anonymous (nobody) Summary: Warn if two instances in basic MSC have the same label Initial Comment: Check that instances in basic MSC have different labels. Warn if this assumption is violated. Checking algorithms may behave differently when this assumption is violated. ---------------------------------------------------------------------- >Comment By: Vaclav Vacek (vacek) Date: 2011-01-09 16:18 Message: Implemented in NameChecker ---------------------------------------------------------------------- Comment By: Vaclav Vacek (vacek) Date: 2009-09-08 10:39 Message: May be closed - implemented in NameChecker. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2555484&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2011-01-07 13:02:01
|
Bugs item #3152166, was opened at 2011-01-05 23:30 Message generated for change (Comment added) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3152166&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Verification algorithms Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) Assigned to: Lubos Korenciak (lkorenciak) Summary: Time race crash Initial Comment: Visio crash when the time race checker checks a HMSC with no reference node, e.g. the attached file. ---------------------------------------------------------------------- >Comment By: Vojtech Rehak (xrehak) Date: 2011-01-07 13:02 Message: Please, add both examples to test. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2011-01-07 13:00 Message: One more example added. Now all HMSC has at least one reference node, but it the main HMSC is not an MSC-graph. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3152166&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2011-01-07 13:00:04
|
Bugs item #3152166, was opened at 2011-01-05 23:30 Message generated for change (Comment added) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3152166&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Verification algorithms Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) Assigned to: Lubos Korenciak (lkorenciak) Summary: Time race crash Initial Comment: Visio crash when the time race checker checks a HMSC with no reference node, e.g. the attached file. ---------------------------------------------------------------------- >Comment By: Vojtech Rehak (xrehak) Date: 2011-01-07 13:00 Message: One more example added. Now all HMSC has at least one reference node, but it the main HMSC is not an MSC-graph. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3152166&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2011-01-05 23:30:35
|
Bugs item #3152166, was opened at 2011-01-05 23:30 Message generated for change (Tracker Item Submitted) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3152166&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Verification algorithms Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) Assigned to: Lubos Korenciak (lkorenciak) Summary: Time race crash Initial Comment: Visio crash when the time race checker checks a HMSC with no reference node, e.g. the attached file. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3152166&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2011-01-04 15:00:17
|
Feature Requests item #2558281, was opened at 2009-02-02 22:13 Message generated for change (Comment added) made by vacek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2558281&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Priority: 5 Private: No Submitted By: Jindřich Babica (babicaj) Assigned to: Vaclav Vacek (vacek) Summary: Reachability of nodes in HMsc Initial Comment: ITU-T standard requires all nodes to be reachable. Reachability of nodes should be checked. Actual checking algorithms ignore unreachable nodes. ---------------------------------------------------------------------- >Comment By: Vaclav Vacek (vacek) Date: 2011-01-04 16:00 Message: Reachability checker has not been implemented. I can add it during the next week, if this feature is still requested. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-12-14 23:47 Message: Please check whether this (old) feature request has been already implemented, or not. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2558281&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2011-01-04 14:56:47
|
Feature Requests item #2557127, was opened at 2009-02-02 15:30 Message generated for change (Comment added) made by vacek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2557127&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Checking Algorithms Group: None Status: Open Priority: 5 Private: No Submitted By: Jindřich Babica (babicaj) Assigned to: Vaclav Vacek (vacek) Summary: Combination of DFSBMscGraphTraverser and DFSHMscTraverser Initial Comment: Implement new HMsc traverser. This traverser should traverse successors of the ReferenceNode iff the ReferenceNode references BMsc or another HMsc which has reachable EndNode (as DFSBMscGraphTraverser does). Moreover this traverser shouldn't traverse HMsc (referenced from any ReferenceNode) more than one time. It should check (by traversing it) whether the HMsc has reachable an EndNode only one time (the information stored in dynamic attribute?). This approach is combination of DFSBMscGraphTraverser and DFSHMscTraverser and will be very useful in many applications. ---------------------------------------------------------------------- >Comment By: Vaclav Vacek (vacek) Date: 2011-01-04 15:56 Message: This has not been implemented. There os currently no use case for the feature. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-12-14 23:48 Message: Please check whether this (old) feature request has been already implemented, or not. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2557127&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-14 22:48:28
|
Feature Requests item #2557127, was opened at 2009-02-02 14:30 Message generated for change (Comment added) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2557127&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Checking Algorithms Group: None Status: Open Priority: 5 Private: No Submitted By: Jindřich Babica (babicaj) >Assigned to: Vaclav Vacek (vacek) Summary: Combination of DFSBMscGraphTraverser and DFSHMscTraverser Initial Comment: Implement new HMsc traverser. This traverser should traverse successors of the ReferenceNode iff the ReferenceNode references BMsc or another HMsc which has reachable EndNode (as DFSBMscGraphTraverser does). Moreover this traverser shouldn't traverse HMsc (referenced from any ReferenceNode) more than one time. It should check (by traversing it) whether the HMsc has reachable an EndNode only one time (the information stored in dynamic attribute?). This approach is combination of DFSBMscGraphTraverser and DFSHMscTraverser and will be very useful in many applications. ---------------------------------------------------------------------- >Comment By: Vojtech Rehak (xrehak) Date: 2010-12-14 22:48 Message: Please check whether this (old) feature request has been already implemented, or not. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2557127&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-14 22:47:42
|
Feature Requests item #2558281, was opened at 2009-02-02 21:13 Message generated for change (Comment added) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2558281&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Priority: 5 Private: No Submitted By: Jindřich Babica (babicaj) >Assigned to: Vaclav Vacek (vacek) Summary: Reachability of nodes in HMsc Initial Comment: ITU-T standard requires all nodes to be reachable. Reachability of nodes should be checked. Actual checking algorithms ignore unreachable nodes. ---------------------------------------------------------------------- >Comment By: Vojtech Rehak (xrehak) Date: 2010-12-14 22:47 Message: Please check whether this (old) feature request has been already implemented, or not. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=2558281&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-09 01:00:55
|
Feature Requests item #3131142, was opened at 2010-12-07 08:35 Message generated for change (Comment added) made by madzin You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3131142&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. >Category: Export and Import Group: None >Status: Closed Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) Assigned to: Matus Madzin (madzin) Summary: Comments in import Initial Comment: For now, comments are ignored during import from .mpr files, even if they are created during export. The goal is to improve import. ---------------------------------------------------------------------- >Comment By: Matus Madzin (madzin) Date: 2010-12-09 02:00 Message: svn revision: 1006 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3131142&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-09 00:58:40
|
Feature Requests item #3132768, was opened at 2010-12-09 01:58 Message generated for change (Tracker Item Submitted) made by madzin You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3132768&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Visio Interface Group: Next Release (example) Status: Open Priority: 5 Private: No Submitted By: Matus Madzin (madzin) Assigned to: Nobody/Anonymous (nobody) Summary: Comments in visio Initial Comment: Better position for comments in Visio when the MSC is opened from the .mpr file. Hard Connected comments with the event (when the text of the comment is moved the connection point should be connected with the event) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3132768&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-09 00:33:56
|
Bugs item #3132755, was opened at 2010-12-09 00:31 Message generated for change (Settings changed) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3132755&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Visio Interface Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) Assigned to: Petr Gotthard (gotthardp) >Summary: Wrong filename in warnig when importing an empty file. Initial Comment: When importing an empty file, the following warning is printed: Import failed. Cannot load file 'C:.mpr'. where the file name is corrupted. ( This message is printed from src/view/visio/addon/document.cpp line 2065 m_reportView->Print(RS_ERROR, stringize() << "Import failed. Cannot load '" << TOWSTRING(filename) << "'."); ) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3132755&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-09 00:31:13
|
Bugs item #3132755, was opened at 2010-12-09 00:31 Message generated for change (Tracker Item Submitted) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3132755&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Visio Interface Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) Assigned to: Petr Gotthard (gotthardp) Summary: wrong filename in warnig when importing empty file. Initial Comment: When importing an empty file, the following warning is printed: Import failed. Cannot load file 'C:.mpr'. where the file name is corrupted. ( This message is printed from src/view/visio/addon/document.cpp line 2065 m_reportView->Print(RS_ERROR, stringize() << "Import failed. Cannot load '" << TOWSTRING(filename) << "'."); ) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3132755&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-07 07:56:17
|
Bugs item #3131168, was opened at 2010-12-07 07:56 Message generated for change (Tracker Item Submitted) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3131168&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Visio Interface Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) Assigned to: Martin Bezděka (mbezdeka) Summary: Menu reconfiguration Initial Comment: Align check->Drawing->Settings with Beautify settings and Check->Options Contact Radek Sedlacek and Vasek Vacek for more info. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3131168&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-07 07:47:55
|
Bugs item #3072428, was opened at 2010-09-21 07:35 Message generated for change (Settings changed) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3072428&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Visio Interface Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) >Assigned to: Vaclav Vacek (vacek) Summary: References to help Initial Comment: Only some checkers refers to its help in the verification report window. E.g. time consistency, find flow doesn't refer to its help, even if they have some. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3072428&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-07 07:47:21
|
Feature Requests item #3131142, was opened at 2010-12-07 07:35 Message generated for change (Settings changed) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3131142&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) >Assigned to: Matus Madzin (madzin) Summary: Comments in import Initial Comment: For now, comments are ignored during import from .mpr files, even if they are created during export. The goal is to improve import. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3131142&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-12-07 07:35:23
|
Bugs item #3131142, was opened at 2010-12-07 07:35 Message generated for change (Tracker Item Submitted) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3131142&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Vojtech Rehak (xrehak) Assigned to: Nobody/Anonymous (nobody) Summary: Comments in import Initial Comment: For now, comments are ignored during import from .mpr files, even if they are created during export. The goal is to improve import. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3131142&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-11-25 09:36:21
|
Bugs item #3070490, was opened at 2010-09-18 20:26 Message generated for change (Settings changed) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3070490&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Closed >Resolution: Rejected Priority: 5 Private: No Submitted By: Matus Madzin (madzin) Assigned to: Nobody/Anonymous (nobody) Summary: Time consistency not marked result Initial Comment: Run time consistency algorithm and after the result (time consistent violated) click on the show link. It opens new drawing but no time interval is marked. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-11-24 16:45 Message: Finally, the intervals are connected to different events. Hence, it is not a bug. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-11-24 16:28 Message: Actually, there are two intervals in the result. The original [-6,-3] which is black and a new one [0,inf) which is marked. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3070490&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-11-25 09:31:25
|
Bugs item #3070490, was opened at 2010-09-18 20:26 Message generated for change (Settings changed) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3070490&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Closed Resolution: None Priority: 5 Private: No Submitted By: Matus Madzin (madzin) Assigned to: Nobody/Anonymous (nobody) Summary: Time consistency not marked result Initial Comment: Run time consistency algorithm and after the result (time consistent violated) click on the show link. It opens new drawing but no time interval is marked. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-11-24 16:45 Message: Finally, the intervals are connected to different events. Hence, it is not a bug. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-11-24 16:28 Message: Actually, there are two intervals in the result. The original [-6,-3] which is black and a new one [0,inf) which is marked. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3070490&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-11-24 16:45:40
|
Feature Requests item #3070490, was opened at 2010-09-18 20:26 Message generated for change (Settings changed) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3070490&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. >Category: None Group: None >Status: Closed Priority: 5 Private: No Submitted By: Matus Madzin (madzin) >Assigned to: Nobody/Anonymous (nobody) Summary: Time consistency not marked result Initial Comment: Run time consistency algorithm and after the result (time consistent violated) click on the show link. It opens new drawing but no time interval is marked. ---------------------------------------------------------------------- >Comment By: Vojtech Rehak (xrehak) Date: 2010-11-24 16:45 Message: Finally, the intervals are connected to different events. Hence, it is not a bug. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-11-24 16:28 Message: Actually, there are two intervals in the result. The original [-6,-3] which is black and a new one [0,inf) which is marked. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3070490&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-11-24 16:29:10
|
Bugs item #3070490, was opened at 2010-09-18 20:26 Message generated for change (Settings changed) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3070490&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. >Category: Verification algorithms Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Matus Madzin (madzin) >Assigned to: Kocian (kocianon) Summary: Time consistency not marked result Initial Comment: Run time consistency algorithm and after the result (time consistent violated) click on the show link. It opens new drawing but no time interval is marked. ---------------------------------------------------------------------- Comment By: Vojtech Rehak (xrehak) Date: 2010-11-24 16:28 Message: Actually, there are two intervals in the result. The original [-6,-3] which is black and a new one [0,inf) which is marked. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3070490&group_id=219467 |
|
From: SourceForge.net <no...@so...> - 2010-11-24 16:28:48
|
Bugs item #3070490, was opened at 2010-09-18 20:26 Message generated for change (Comment added) made by xrehak You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3070490&group_id=219467 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Matus Madzin (madzin) Assigned to: Nobody/Anonymous (nobody) Summary: Time consistency not marked result Initial Comment: Run time consistency algorithm and after the result (time consistent violated) click on the show link. It opens new drawing but no time interval is marked. ---------------------------------------------------------------------- >Comment By: Vojtech Rehak (xrehak) Date: 2010-11-24 16:28 Message: Actually, there are two intervals in the result. The original [-6,-3] which is black and a new one [0,inf) which is marked. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3070490&group_id=219467 |
|
From: Gotthard, P. <Pet...@Ho...> - 2009-04-19 19:02:23
|
Yes. Actions aren't relevant and thus were not included (and several other features too). Yes. In Visio you can add whatever shapes into your MSC drawing, but these shapes will be ignored by all the automation, including all tests and the Export function. I added dummy Action and Condition shapes in the latest alpha version: http://www.fi.muni.cz/~xgottha1/scstudio/scstudio-setup-0.2.9.exe Petr -----Original Message----- From: T Ziomek [mailto:ct...@em...] Sent: Saturday, April 18, 2009 1:11 AM To: scs...@li... Subject: [Scstudio-devel] Actions? Now that I'm trying to actually use SCStudio, the main thing that ap- pears to be missing is actions. Is this because they aren't relevant to the existing race/cyclic/FIFO validation tests? I guess I can work around that by just drawing plain rectangles where desired. Thanks, Tom -- /"\ ASCII Ribbon Campaign | \ / | Email to user 'CTZ001' X Against HTML | at 'email.mot.com' / \ in e-mail & news | ------------------------------------------------------------------------ ------ Stay on top of everything new and different, both inside and around Java (TM) technology - register by April 22, and save $200 on the JavaOne (SM) conference, June 2-5, 2009, San Francisco. 300 plus technical and hands-on sessions. Register today. Use priority code J9JMT32. http://p.sf.net/sfu/p _______________________________________________ Scstudio-devel mailing list Scs...@li... https://lists.sourceforge.net/lists/listinfo/scstudio-devel |
