Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Some refactoring for improved compile times | Stefan Radomski | 2016-02-23 | 1 | -270/+0 |
| | |||||
* | Preliminary support for SCXML invocations in generated C machines | Stefan Radomski | 2016-02-04 | 1 | -38/+54 |
| | |||||
* | Prepared ANSI C transformation with invokers | Stefan Radomski | 2016-01-30 | 1 | -0/+49 |
| | |||||
* | Some code beautifications | Stefan Radomski | 2016-01-26 | 1 | -3/+3 |
| | |||||
* | Fixed a bug in generated C with deep initial states | Stefan Radomski | 2016-01-19 | 1 | -1/+4 |
| | |||||
* | Beautified code | Stefan Radomski | 2016-01-10 | 1 | -35/+35 |
| | |||||
* | Prepared ChartToC transformation | Stefan Radomski | 2016-01-06 | 1 | -0/+37 |
| | |||||
* | Reactivated PHP bindings and some work on PROMELA | Stefan Radomski | 2015-04-02 | 1 | -0/+6 |
| | |||||
* | Plenty of smaller fixes and adaptations | Stefan Radomski | 2015-01-19 | 1 | -5/+1 |
| | |||||
* | More issues being idenified via interpreter.validate() | Stefan Radomski | 2014-08-21 | 1 | -1/+2 |
| | |||||
* | Got rid of more dynamic_casts | Stefan Radomski | 2014-08-03 | 1 | -6/+7 |
| | |||||
* | Major refactoring | Stefan Radomski | 2014-04-22 | 1 | -6/+6 |
| | | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie | ||||
* | Started with promela datamodel | Stefan Radomski | 2014-04-09 | 1 | -0/+8 |
| | |||||
* | Integrated debugger into browser (use -d command line parameter) | Stefan Radomski | 2014-03-11 | 1 | -5/+18 |
| | |||||
* | Updated IM invoker for latest libpurple | Stefan Radomski | 2014-01-08 | 1 | -2/+38 |
| | |||||
* | First signs of WebSockets and some changes to miles | Stefan Radomski | 2013-11-03 | 1 | -27/+27 |
| | |||||
* | Header file fixes | Stefan Radomski | 2013-10-31 | 1 | -1/+1 |
| | |||||
* | Moved Parser into DOMUtils and new node -> xpath function for debugging | Stefan Radomski | 2013-10-31 | 1 | -0/+104 |