Difference between revisions of "AnimB roadmap"
From Event-B
Jump to navigationJump to searchimported>Christophe (New page: The following array describes the features which will be developed. {| border="1" cellpadding="20" cellspacing="0" !feature !description |- |History saving |The history saving allows the u...) |
imported>Christophe |
||
| Line 1: | Line 1: | ||
The following array describes the features which will be developed. | The following array describes the features which will be developed. | ||
{| border="1" cellpadding="20" cellspacing="0" | {| border="1" cellpadding="20" cellspacing="0" | ||
| − | ! | + | !Feature |
| − | ! | + | !Description |
| + | !Date | ||
|- | |- | ||
|History saving | |History saving | ||
|The history saving allows the user to save and replay a saved history | |The history saving allows the user to save and replay a saved history | ||
| + | | - | ||
|- | |- | ||
|Predicate evaluator | |Predicate evaluator | ||
|Actually the predicate evaluator don't use type information to infer a set that allow iteration of variable. | |Actually the predicate evaluator don't use type information to infer a set that allow iteration of variable. | ||
| + | | - | ||
|- | |- | ||
|Sorter on event table column | |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. | |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 | |Extension of predicate evaluator | ||
|Actually, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...) | |Actually, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...) | ||
| + | | - | ||
|} | |} | ||
Revision as of 21:13, 3 March 2009
The following array describes the features which will be developed.
| Feature | Description | Date |
|---|---|---|
| History saving | The history saving allows the user to save and replay a saved history | - |
| Predicate evaluator | Actually 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 | Actually, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...) | - |
