Re: [Rodin-b-sharp-user] Rodin 9.0 to Rodin 9.2 ????

[Laurent V. <lau...@sy...>]

Pierre,

this is an already known bug caused by a wrong design of the event-B  
explorer:

   https://sourceforge.net/tracker/index.php?func=detail&aid=2652410&group_id=108850&atid=651669

In the bug comments, you will find a small procedure for fixing this  
and having all machines appear linearly in the explorer.

Laurent.

Le 14 avr. 09 à 12:39, Pierre Castéran a écrit :

>
> It seems that there is a bug in the display of the components.
> In fact the machine LinearSerach I didn't found was hidden as a  
> subcomponent
> of a machine L0.
>
> P.C.
>
>
>
>
>
> Quoting "Pierre Castéran" <pie...@la...>:
>
>> Hello,
>>
>> How to proceed to transfer projects from rodin 9.0 to rodin 9.2 ?
>>
>> I had a project which ran on 9.0, then exported it into a zip file
>> and import it into rodin 9.2.
>>
>> Some machines and alrready proved PO disappeared and are  
>> unavailable in
>> Rodin 9.2. Must I do it all again ?
>>
>> I have been tecahing rodin for more than a year, and at each change  
>> of
>> version I had to type again machines and proofs, and I get tired of  
>> that.
>>
>> I attach the rodin 9.0 project here, which contains a machine  
>> LinearSearch
>> which does not appear on the eventB and Proving perspective when
>> imported into Rodin 9.2.
>> Surprisingly, it appears in the Resources perspective.
>>
>> So, what is the correct upgrading procedure ?????
>>
>>
>> Pierre Castéran
>
>
>
> Pierre Castéran
>
> ------------------------------------------------------------------------------
> This SF.net email is sponsored by:
> High Quality Requirements in a Collaborative Environment.
> Download a free trial of Rational Requirements Composer Now!
> http://p.sf.net/sfu/www-ibm-com
> _______________________________________________
> Rodin-b-sharp-user mailing list
> Rod...@li...
> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
> ---------------------------------------------------------------------------------------
> Orange vous informe que cet  e-mail a ete controle par l'anti-virus  
> mail.
> Aucun virus connu a ce jour par nos services n'a ete detecte.
>
>