Promela语言C++翻译，针对OMNeT++仿真框架

Migrated to GitHub PROMNeT++ has migrated to a new location at GitHub. PROMNeT++ At its core, this project consists of a Java-powered tool that parses and translates PROMELA (http://spinroot.com/) code, to C++ code that is intended to be runnable under OMNeT++ (http://www.omnetpp.org/). This project"s original development cycle is associated with University of Coimbra"s Informatics Engineering Department ("Departamento de Engenharia Informática", http://www.uc.pt/fctuc/dei/) and is part of an internship (from Portuguese "estágio") performed in it. The main purpose of this project is tied to research on generating source code from formal models; programmers are encouraged to build on it if they so desire.

1-of-n.pml
default-configuration.xml
lib
commons-io-2.4.jar
commons-lang3-3.1.jar
NewOneThirdRule.pml
promnetpp.jar
templates
private
round_based_protocol_generic