Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Unified DOM traversal and removed iostreams | Stefan Radomski | 2017-01-30 | 1 | -1/+0 |
| | |||||
* | Refactored Java into bindings and generated | Stefan Radomski | 2016-11-28 | 1 | -1/+1 |
| | |||||
* | Beautified Code again | Stefan Radomski | 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 ↵ | Stefan Radomski | 2014-10-20 | 1 | -0/+79 |
better memory footprint |