Group 1.2  Maximize  Restore

Open
N/A
22 / 24

1.2

Showing 24 results of 24

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
428 Plugin not found on ProB update site 1.2 closed-fixed Michael Jastram 2010-04-16 2010-04-19  
426 Incoherences in proof statistics 1.2 closed Carine Pascal 2010-04-14 2010-04-14  
425 Matching ; 1.2 closed Issam 2010-03-30 2010-09-27  
424 Auto completion in wizards 1.2 closed-fixed Aurélien GILLES 2010-03-30 2010-09-30  
422 Invalid Thread Access in EventB Editor Manager 1.2 closed-fixed Thomas Muller 2010-03-25 2010-03-26  
418 unsound inference rule 1.2 closed-fixed Carine Pascal 2010-03-05 2010-04-28  
416 Rule based prover does not properly match set extensions. 1.2 closed Issam 2010-03-05 2010-03-23  
415 RBP allows to generate theory with same name as a context 1.2 closed Issam 2010-03-05 2010-09-27  
414 RBP: illegal theory directory leads to strange behaviour 1.2 closed-out-of-date Issam 2010-03-05 2010-09-27  
413 Clean with AutoProve on works the second time 1.2 closed-fixed Laurent Voisin 2010-03-03 2010-04-11  
412 PPTrans throws NPE 1.2 closed-fixed Laurent Voisin 2010-03-03 2010-03-03  
411 p ∈ dom(prj1) causes internal error in New PP 1.2 closed-fixed Laurent Voisin 2010-03-02 2010-03-13  
409 Associative Predicate does not accept <=> 1.2 closed-invalid Laurent Voisin 2010-02-25 2010-02-26  
408 {1 | true} --> Error Running Tool 1.2 closed-fixed Laurent Voisin 2010-02-25 2011-05-03  
406 Disabling auto-provers doesn't work 1.2 closed-fixed Carine Pascal 2010-02-16 2010-03-03  
405 Highlighting of bound variables 1.2 open Ingo Weigelt 2010-02-16 2010-06-01  
402 EB-Editor refuses to save 1.2 closed-fixed Michael Jastram 2010-02-15 2014-12-08  
401 conversion to mathematical symbols generates trailing spaces 1.2 open Ingo Weigelt 2010-02-15 2010-06-01  
400 provers invoked during building although disabled 1.2 closed-duplicate 2010-02-15 2010-02-17  
399 newPP is unsound 1.2 closed-fixed Laurent Voisin 2010-02-15 2011-03-09  
398 when renaming a context, the proofs are gone 1.2 closed-fixed Carine Pascal 2010-02-15 2010-02-22  
397 Rodin 1.2 reuses erroneous Rodin 1.1 proof 1.2 closed-fixed Nicolas Beauger 2010-02-15 2010-02-24  
396 Event-B editor doesn't refresh 1.2 closed Carine Pascal 2010-02-11 2011-01-25  
395 Rodin keyboard view displayed untimely 1.2 closed-fixed Carine Pascal 2010-02-03 2010-03-01  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)