Help save net neutrality! Learn more.
Close

Group 2.8  Maximize  Restore

Closed
04/30/2013
21 / 23

2.8

Showing 23 results of 23

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner Created Updated
708 CRITICAL: AtelierB Provers cannot be installed in Rodin 2.8 2.8 closed-works-for-me 2014-03-13 2014-03-13  
685 ac.soton.composition - failed to load due to missing class 2.8 closed-fixed 2013-06-26 2013-07-04  
684 PUI does not preserve whitespace 2.8 open 2013-06-25 2013-06-26  
682 NPE in eventbeditor when closing 2.8 closed-fixed Thomas Muller 2013-06-21 2015-06-12  
680 Changes ignored when cell not validated. 2.8 closed-wont-fix Nicolas Beauger 2013-06-17 2013-06-17  
679 Changes ignored in parameterized profile editor 2.8 closed-fixed Nicolas Beauger 2013-06-14 2013-06-17  
678 NPE on click after root selection 2.8 closed-fixed 2013-06-11 2013-06-17  
677 Rodin elements are upside down in browser on Java 7 2.8 closed-fixed Laurent Voisin 2013-06-07 2013-06-10  
672 NPE when refreshing Rodin Editor 2.8 closed-fixed Thomas Muller 2013-05-23 2013-06-11  
671 Expansion rules from imported theories not available 2.8 closed-fixed Nicolas Beauger 2013-05-21 2013-05-21  
670 The refresh action does not refresh the Rodin EMF model 2.8 closed-fixed Thomas Muller 2013-05-15 2013-06-11  
669 Rodin Editor allows modifying the machine name and NPE occurs 2.8 closed-fixed Thomas Muller 2013-05-14 2013-06-11  
668 Rodin Editor allows the edition of read-only elements 2.8 closed-fixed Thomas Muller 2013-05-14 2013-06-11  
665 Save is not propagated among all instances of the editor 2.8 closed-fixed Thomas Muller 2013-04-30 2013-06-11  
661 SIMP_SPECIAL_EQUAL_RELDOM unsound 2.8 closed-fixed Laurent Voisin 2013-04-23 2013-04-26  
658 Do not add empty comment attributes to Elements when editing 2.8 closed-fixed Thomas Muller 2013-04-19 2013-06-11  
657 Refreshing the Rodin Editor too often 2.8 closed-fixed Nicolas Beauger 2013-04-19 2013-05-06  
656 Implicit elements in not extended events 2.8 closed-fixed Nicolas Beauger 2013-04-19 2013-04-29  
655 Strange Indentation generated in Rodin Editor 2.8 closed-fixed Thomas Muller 2013-04-18 2013-06-11  
654 Rodin editor updates markers repeatedly after re-generation of machine 2.8 closed-duplicate Nicolas Beauger 2013-04-18 2013-05-03  
651 Event-B Editor - toolbar for add/move buttons 2.8 closed-fixed Nicolas Beauger 2013-04-02 2013-05-06  
647 machine renaming and indexer 2.8 closed-fixed Nicolas Beauger 2013-02-07 2013-04-25  
641 Change key bindings on Mac 2.8 open Thomas Muller 2012-11-26 2013-04-24  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)