Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | butify code again | Jens Heuschkel | 2016-11-23 | 1 | -5/+5 |
* | Impreoved PROMELA transformation | Stefan Radomski | 2016-11-16 | 1 | -0/+6 |
* | Refactored for public headers and started documentation | Stefan Radomski | 2016-05-19 | 1 | -5/+6 |
* | Major Refactoring v2.0 | Stefan Radomski | 2016-05-12 | 1 | -2/+18 |
* | Some more preparations for current V8 API | Stefan Radomski | 2016-03-07 | 1 | -1/+1 |
* | Preliminary support for SCXML invocations in generated C machines | Stefan Radomski | 2016-02-04 | 1 | -12/+12 |
* | Prepared ANSI C transformation with invokers | Stefan Radomski | 2016-01-30 | 1 | -1/+15 |
* | Beautified code | Stefan Radomski | 2016-01-10 | 1 | -7/+7 |
* | Prepared ChartToC transformation | Stefan Radomski | 2016-01-06 | 1 | -1/+1 |
* | Various extensions and bug-fixes | Stefan Radomski | 2015-07-05 | 1 | -1/+5 |
* | SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better... | Stefan Radomski | 2014-10-20 | 1 | -0/+79 |