summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/FSMToPromela.h
Commit message (Expand)AuthorAgeFilesLines
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...Stefan Radomski2014-10-201-272/+0
* Major work on PROMELA datamodelStefan Radomski2014-10-121-4/+116
* Got rid of more dynamic_castsStefan Radomski2014-08-031-5/+5
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-241-10/+10
* Changed getNames signature from set to listStefan Radomski2014-06-061-4/+4
* Support for custom event sources with promelaStefan Radomski2014-04-241-15/+65
* Beautified CodeStefan Radomski2014-04-221-11/+11
* Major refactoringStefan Radomski2014-04-221-16/+69
* Started with promela datamodelStefan Radomski2014-04-091-0/+57