Tasks #178
Activities #149: MD - Main development
Tasks #155: Plugins development
Promela plugin update
| Estado: | Closed | Fecha de inicio: | 2012-07-13 | |
|---|---|---|---|---|
| Prioridad: | Normal | Fecha fin: | 2012-07-17 | |
| Asignado a: | Luis Valencia Cabrera | % Realizado: | 100% | |
| Categoría: | - | Tiempo estimado: | 15.00 horas | |
| Versión prevista: | - |
Descripción
Promela plugin updated to cover all the process from the .pli file to the running of spin.
The plugin and its associated properties file are available in this URL.
Recurrences
Histórico
#1 Actualizado por Luis Valencia Cabrera hace casi 12 años
- Se actualizó Descripción (diff)