Group 1.0 Maximize Restore

Open
N/A
16 / 19

1.0

Showing 19 results of 19

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
710 Rodin unexpectedly empties content of a machine 1.0 closed-works-for-me 2014-04-09 2014-04-11  
709 When editing textfields, rodin hangs and consume 100% CPU 1.0 pending 2014-04-09 2014-04-14  
706 No WD check building Partial function 1.0 closed-works-for-me Nicolas Beauger 2014-02-23 2014-08-05  
666 Support multiple lines for formulas in theory editor 1.0 closed-fixed 2013-04-30 2013-05-16  
432 UML-B Cannot add statemachines to refined Class 1.0 closed-fixed Colin Snook 2010-04-22 2010-06-22  
431 SM animation sub-folder breaks navigator for UML-B projects 1.0 closed-fixed Colin Snook 2010-04-21 2010-04-22  
429 Nested elaborated transitions produce conflicting actions 1.0 open Colin Snook 2010-04-16 2010-04-21  
427 Axioms in classtypes not quantified 1.0 open Colin Snook 2010-04-15 2012-12-08  
356 Error when calling ML 1.0 closed-fixed Laurent Voisin 2009-09-24 2009-09-25  
354 Paths of Plugins (again) 1.0 closed-wont-fix Laurent Voisin 2009-09-17 2009-09-18  
353 Impossible to add an element to an event-B component 1.0 closed-fixed Laurent Voisin 2009-09-11 2009-09-11  
352 Plug-in installation in Rodin platform 1.0 closed-fixed Laurent Voisin 2009-08-26 2009-10-15  
346 Text Editor unable to save (exception) 1.0 closed Jens Bendisposto 2009-08-13 2009-08-13  
345 Text Editor unable to save (exception) 1.0 closed-fixed Michael Jastram 2009-08-13 2010-03-16  
344 Text Editor exception 1.0 closed-fixed Colin Snook 2009-08-11 2012-03-29  
340 NPE when following a marker 1.0 closed-fixed Nicolas Beauger 2009-07-20 2009-10-06  
338 functional simplification 1.0 closed-works-for-me Laurent Voisin 2009-07-14 2009-10-17  
336 Machine renaming not propagated to extends clauses 1.0 closed-fixed Renato Silva 2009-07-08 2009-11-10  
255 RODIN crash adding text to note or text box in class diagram 1.0 closed Colin Snook 2009-01-23 2014-08-15  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)