Bugs Maximize Restore

Showing 14 results of 14

# Summary Milestone Status Owner Created Updated Priority
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  
93 Find Flow crashing in Visio None open 2013-03-21 2013-03-21 5  
91 Biased Monte Carlo simulations None open 2013-03-11 2013-03-11 2  
90 No interaction with excel None open Martin Bezděka 2012-11-18 2012-11-18 5  
86 Find Flow - not minimal output None open 2012-10-05 2012-10-05 1  
85 Error Message in Find Flow None open Matus Madzin 2012-10-02 2012-10-02 5  
84 Path in HMSC diff None open Matus Madzin 2012-10-02 2012-10-02 5  
80 Error message in Find Flow None open Matus Madzin 2012-07-08 2012-07-08 5  
79 Find Flow dialog None open Martin Bezděka 2012-07-08 2014-01-27 5  
78 Performance of Find Flow None open Matus Madzin 2012-07-08 2012-07-08 5  
38 Parser bug None open Matus Madzin 2011-02-23 2011-02-23 2  
11 Freeing recursive MSCs None open-postponed 2009-12-10 2010-05-23 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)