Changed: 2012-08-01 20:28 by Luis Valencia Cabrera
Title: PromelaPlugin
File: 03 - MeCoSim plugins/Promela plugin/PromelaPlugin.jar
Description:
New confirmation and error messages!
Promela plugin updated! Now it covers all the process from P-Lingua file -> parsing and PSystem generation -> Translation to Promela file -> Run spin.
Versión: 0.5
Flujo de trabajo: None
Mime:
Size: 17,958 KB
Comentario:
Changed: 2012-07-31 14:42 by Luis Valencia Cabrera
Versión: 0.4
Size: 17,955 KB
Changed: 2012-07-17 14:57 by Luis Valencia Cabrera
Versión: 0.3
Size: 17,962 KB
Changed: 2012-07-04 15:52 by Luis Valencia Cabrera
Versión: 0.2
Size: 1,96 KB
Created: 2012-07-03 14:13 by Luis Valencia Cabrera
Versión: 0.1
Size: 1,711 KB
(1-5/5)
