MTSA Feature Requests

Status: Beta

Brought to you by: ezecastellano, leanaha, placiana, srdipi78, suchitel

Feature Requests Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
16	Considerar formulas mas generales al compilar los safety de Update Controller	Next Release (example)	open	Victor Wjugow	2015-06-04	2015-07-08
15	Permitir especificar con maquinas de estado los safety en un controllerSpec para Update Controllers	Next Release (example)	open	Victor Wjugow	2015-06-04	2015-07-07
14	Import Files	Next Release (example)	open	Sebastian Uchitel	2015-03-06	2015-03-06
13	Add support for LTS bisimulation in FSP	Next Release (example)	open	Leandro Nahabedian	2015-02-23	2015-02-23
12	Optimisation that avoid building strategies for loosing games	Next Release (example)	open	Ezequiel Castellano	2015-02-19	2015-02-19
11	Adapt applyUpdatingController method to Control Problem Class	Next Release (example)	open	Leandro Nahabedian	2015-01-04	2015-01-04
10	[Refactor] - Parametrize memory type	Next Release (example)	open	Daniel Zacharias	2015-01-02	2015-01-05
9	Controller Synthesis returns MTSs (in all its flavours)	Next Release (example)	open	Mariano Cerrutti	2014-12-29	2014-12-29
8	More feedback when checking refinement	None	open		2009-03-27	2009-03-27
6	Assertion on refinement and consistentcy	None	open		2009-02-16	2009-02-16