Tasks #178

Activities #149: MD - Main development

Tasks #155: Plugins development

Promela plugin update

Added by Luis Valencia Cabrera over 12 years ago. Updated over 12 years ago.

Status:ClosedStart date:07/13/2012
Priority:NormalDue date:07/17/2012
Assignee:Luis Valencia Cabrera% Done:

100%

Category:-Estimated time:15.00 hours
Target version:-

Description

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

History

#1 Updated by Luis Valencia Cabrera over 12 years ago

  • Description updated (diff)

Also available in: Atom PDF