Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | 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 |