- A second promela encoding
authorKevin Marquet <Kevin.Marquety@imag.fr>
Sun, 7 Mar 2010 19:47:49 +0000 (20:47 +0100)
committerKevin Marquet <Kevin.Marquety@imag.fr>
Sun, 7 Mar 2010 19:47:49 +0000 (20:47 +0100)
commit92abf4d2c0d7a4d62e932fb7aa4a2e1613ce5a48
treebfc7b1b24383136df7922e387c292e71674d4697
parent3a070896e25191f9803250f6af53e36e8e730452
- A second promela encoding
- Bug fixes in the Promela backend
- Additionnal options
backends/PromelaBackend/PromelaBackend.cpp
backends/PromelaBackend/PromelaBackend.h
backends/PromelaBackend/PromelaWriter.cpp
backends/PromelaBackend/PromelaWriter.h
frontend/SCElab.cpp
toplevel/main.cpp