Menu ▾ ▴

Group None  Maximize  Restore

Closed
N/A
17 / 21

None

Showing 21 results of 21

# Summary▾ Milestone▾ Status▾ Owner▾
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
 Created▾ Updated▾ Priority▾
100 Actions cause a "time race" failure in verification None closed-fixed Vojtech Rehak 2015-12-13 2016-01-15 5  
99 Beautify causes visio crash None open 2014-02-04 2014-02-04 5  
98 Time race wrong counterexample None open 2014-01-29 2014-01-29 9  
97 Find Flow behavior does not correspond to the documentation None open 2013-10-08 2013-10-08 5  
96 Treat special characters in TeX export None closed-fixed 2013-04-10 2015-03-30 5  
95 Comments out of the box in TeX export None closed-fixed 2013-04-04 2014-01-28 3  
94 Resize of comment None closed-fixed Milan Malota 2013-03-23 2014-01-28 5  
92 EventAreaPtr->get_next_area() None closed-fixed 2013-03-12 2014-02-04 5  
88 Verify None closed 2012-10-24 2013-09-26 5  
87 Hmsc connestion None closed-fixed Martin Bezděka 2012-10-17 2014-02-04 5  
82 Message drawing in coregion area None closed-fixed Milan Malota 2012-07-08 2014-01-28 7  
79 Find Flow dialog None open Martin Bezděka 2012-07-08 2014-01-27 5  
76 User-friendly selection of instances for Message Sequence None closed Martin Bezděka 2012-07-02 2013-06-25 5  
75 Race marks remain even after repaint None closed Martin Bezděka 2012-06-26 2013-07-08 5  
68 message snapping malfunction None closed Martin Bezděka 2012-01-26 2013-07-08 5  
64 Message jumping hotkey conflicts with Visio None closed Martin Bezděka 2012-01-09 2013-07-08 4  
61 Connection points persist on copied instances None closed Viktor Borza 2011-11-11 2013-06-25 5  
55 Export to z120 None closed 2011-08-01 2013-09-26 5  
53 Scstudio fires every visio event twice None closed 2011-07-16 2013-09-26 6  
36 Wrong filename in warnig when importing an empty file. None closed Petr Gotthard 2010-12-09 2013-06-25 4  
26 Large numbers in time constraints - visio deformation None closed Martin Bezděka 2010-09-16 2013-06-25 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)