AnimB roadmap - Revision history

imported>Mathieu: wording

2009-03-10T20:27:23Z

wording

← Older revision		Revision as of 20:27, 10 March 2009
Line 10:		Line 10:
	\|-		\|-
	\|Predicate evaluator		\|Predicate evaluator
	\|Today the predicate evaluator ~~don~~'t use type information to infer a set that allow iteration of variable.		\|Today the predicate evaluator doesn'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 would allow the user to manage the order of events, constants and variables.
	\| -		\| -
	\|-		\|-
	\|Extension of predicate evaluator		\|Extension of predicate evaluator
	\|Today, the predicate evaluator ~~don~~'t allow the variable quantification with function sets (injection, bijection, ...)		\|Today, the predicate evaluator doesn't allow the variable quantification with function sets (injection, bijection, ...)
	\| -		\| -
	\|-		\|-
	\|Adding guard evaluation		\|Adding guard evaluation
	\|~~Actually~~, the animator ~~stop~~ the guard evaluation on the first wrong guard. It is possible to continue the evaluation until the first guard that ~~have~~ a non trivial well ~~define~~ predicate.		\|Today, the animator stops the guard evaluation on the first wrong guard. It should be possible to continue the evaluation until the first guard that has a non trivial well defined predicate.
	\| -		\| -
	\|}		\|}
	[[Category:Work in progress]]		[[Category:Work in progress]]
	[[Category:AnimB]]		[[Category:AnimB]]

imported>Christophe at 19:48, 10 March 2009

2009-03-10T19:48:38Z

← Older revision		Revision as of 19:48, 10 March 2009
Line 19:		Line 19:
	\|Extension of predicate evaluator		\|Extension of predicate evaluator
	\|Today, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...)		\|Today, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...)
			\| -
			\|-
			\|Adding guard evaluation
			\|Actually, the animator stop the guard evaluation on the first wrong guard. It is possible to continue the evaluation until the first guard that have a non trivial well define predicate.
	\| -		\| -
	\|}		\|}
	[[Category:Work in progress]]		[[Category:Work in progress]]
	[[Category:AnimB]]		[[Category:AnimB]]

imported>Christophe at 19:45, 10 March 2009

2009-03-10T19:45:59Z

← Older revision		Revision as of 19:45, 10 March 2009
Line 1:		Line 1:
	The following array describes the features which will be developed.		The following array describes the features which will be developed as soon as possible.
	{\| border="1" cellpadding="20" cellspacing="0"		{\| border="1" cellpadding="20" cellspacing="0"
	!Feature		!Feature

imported>Mathieu: Category:Work in progress Category:AnimB

2009-03-03T21:57:41Z

Category:Work in progress Category:AnimB

← Older revision		Revision as of 21:57, 3 March 2009
Line 10:		Line 10:
	\|-		\|-
	\|Predicate evaluator		\|Predicate evaluator
	\|~~Actually~~ the predicate evaluator don't use type information to infer a set that allow iteration of variable.		\|Today the predicate evaluator don't use type information to infer a set that allow iteration of variable.
	\| -		\| -
	\|-		\|-
Line 18:		Line 18:
	\|-		\|-
	\|Extension of predicate evaluator		\|Extension of predicate evaluator
	\|~~Actually~~, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...)		\|Today, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...)
	\| -		\| -
	\|}		\|}
			[[Category:Work in progress]]
			[[Category:AnimB]]

imported>Christophe at 21:13, 3 March 2009

2009-03-03T21:13:11Z

← Older revision		Revision as of 21:13, 3 March 2009
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~~		!Feature
	!~~description~~		!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, ...)
			\| -
	\|}		\|}

imported>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...

2009-03-03T21:11:28Z

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...

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 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, ...)
|}