Group 3.0  Maximize  Restore

Open
06/30/2013
25 / 47

3.0

Showing results of 47

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
718 Bug with "generalized MP" reasoner 3.0 closed-duplicate Josselin Dolhen 2014-06-10 2014-06-10  
705 AssertionError building WD of 'min' with math extensions 3.0 closed-fixed Nicolas Beauger 2014-02-06 2014-02-20  
704 Can't display information about VAR and NAT PO 3.0 closed-fixed Nicolas Beauger 2014-01-29 2014-02-20  
702 Temporary root still visible after deletion 3.0 closed-fixed Thomas Muller 2014-01-06 2014-02-14  
697 NPE in Static Checker, FormulaFreeIdentsModule 3.0 closed-fixed Nicolas Beauger 2013-10-24 2014-02-20  
696 Paste sometimes operates in the abstraction 3.0 closed-fixed Thomas Muller 2013-10-23 2014-02-14  
695 Exceptions when attempting to evaluate Overlay.isActive() 3.0 closed-fixed Thomas Muller 2013-10-23 2014-02-14  
694 Caret placement on line delimiters creates IllegalArgumentException 3.0 closed-fixed Thomas Muller 2013-10-23 2014-02-14  
693 Can not undo a move operation 3.0 closed-fixed Thomas Muller 2013-10-23 2014-02-14  
692 Keyboard widget translation create side-effects 3.0 closed-fixed Thomas Muller 2013-10-14 2014-02-14  
691 Wizards allow modification of generated components 3.0 closed-fixed Thomas Muller 2013-08-14 2014-02-14  
690 Hypothesis has disappeared 3.0 closed-fixed Thomas Muller 2013-08-09 2014-02-18  
689 Auto Rewriter does not remove trivial hypotheses 3.0 closed-fixed Nicolas Beauger 2013-08-06 2013-12-12  
687 unsound datatype translation 3.0 closed-fixed Laurent Voisin 2013-07-27 2014-02-17  
686 Math symbols not translated if present as subchain 3.0 closed-fixed Thomas Muller 2013-07-18 2013-10-25  
683 EventB editor - IllegalStateException when autobuilding 3.0 closed-fixed Nicolas Beauger 2013-06-22 2013-07-02  
673 Wrong placement of caret when deleting elements 3.0 closed-fixed Thomas Muller 2013-05-23 2014-02-14  
667 NPE in POLoader.readPO() 3.0 closed-fixed Thomas Muller 2013-05-03 2014-02-14  
664 Repeated undo/redo generates RodinDBException 3.0 closed-duplicate Nicolas Beauger 2013-04-29 2013-06-11  
650 Improve error message for wrong use of type 3.0 open Laurent Voisin 2013-04-02 2013-04-02  
646 Inconsistent generation of SIM POs 3.0 open Laurent Voisin 2013-01-23 2013-01-23  
644 Coding error in BecomesSuchThat#getSyntaxTree 3.0 closed-fixed Laurent Voisin 2013-01-10 2013-01-10  
642 NPE in systerel editor 3.0 closed-works-for-me Thomas Muller 2012-12-04 2013-11-04  
618 Proposed name in refine action 3.0 open Laurent Voisin 2012-05-09 2013-04-25  
614 Strange tab navigation in instantiation boxes 3.0 open Laurent Voisin 2012-05-04 2013-04-24  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
1 2 > >> (Page 1 of 2)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks