Difference between pages "AnimB install" and "AnimB roadmap"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Christophe
 
imported>Christophe
 
Line 1: Line 1:
−
Generally speaking, AnimB is installed and updated from within Rodin.
+
The following array describes the features which will be developed as soon as possible.
−
 
+
{| border="1" cellpadding="20" cellspacing="0"
−
There is two  ways of installing AnimB:
+
!Feature
−
* for the first one (advised), you need to be connected on internet
+
!Description
−
* for the second one (troubles with proxy or firewall, ...), you download the update site and install from local.
+
!Date
−
 
+
|-
−
==Begin the installation==
+
|History saving
−
Begin the installation from the Rodin Help menu item :
+
|The history saving allows the user to save and replay a saved history
−
*Help
+
| -
−
*Install New Software...
+
|-
−
 
+
|Predicate evaluator
−
Then select the AnimB update site
+
|Today the predicate evaluator don't use type information to infer a set that allow iteration of variable.
−
[[Image:Step1.png|300px|center]]<br>
+
| -
−
----
+
|-
−
 
+
|Sorter on event table column
−
You select the AnimB feature and click on "Finish". The reste
+
|The events, constants and variables are listed using the editing order given by the Rodin database. This new feature could allow the user to manage the order of events, constants and variables.
−
 
+
| -
−
==Adding the AnimB update site==
+
|-
−
This screen will vary depending on the features you have installed already. <br>
+
|Extension of predicate evaluator
−
Click on the "New Remote Site..." button. <br>
+
|Today, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...)
−
If you are behind a proxy and the Eclipse install mechanism does not work, then you can [http://www.animb.org/updatesite/AnimB.zip download] an Archived Site and then click the "New Archived Site..." button instead.
+
| -
−
[[Image:step6.png|500px|center]]<br>
+
|}
−
===Remote site===
+
[[Category:Work in progress]]
−
Fill in the "New Update Site" dialog with the following information and click OK.
 
−
[[Image:Step7.png|300px|center]]
 
−
===Archived Site===
 
−
First download the [http://www.animb.org/updatesite/AnimB-V0.2.1.zip archived site] and save it on local.<br>
 
−
Then click on "New Archived Site..."<br>
 
−
Selected the downloaded file and click on open.
 
−
[[Image:step8.png|400px|center]]
 
−
Control the value field of the next dialog :
 
−
[[image:step9.png|300px|center]]
 
−
 
 
−
==Install AnimB==
 
−
Select the AnimB site and click on finish.
 
−
[[Image:Step10.png|600px|center]]
 
−
----
 
−
The rest is fairly straightforward.
 
−
 
 
−
[[Category:User documentation]]
 
 
[[Category:AnimB]]
 
[[Category:AnimB]]

Revision as of 19:45, 10 March 2009

The following array describes the features which will be developed as soon as possible.

Feature Description Date
History saving The history saving allows the user to save and replay a saved history -
Predicate evaluator Today the predicate evaluator don't use type information to infer a set that allow iteration of variable. -
Sorter on event table column The events, constants and variables are listed using the editing order given by the Rodin database. This new feature could allow the user to manage the order of events, constants and variables. -
Extension of predicate evaluator Today, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...) -
Retrieved from ‘https://wiki.event-b.org/index.php?title=AnimB_install&oldid=744’