Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Support for xinclude | Stefan Radomski | 2014-12-05 | 1 | -1/+3 |
* | SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better... | Stefan Radomski | 2014-10-20 | 1 | -25/+40 |
* | Got rid of more dynamic_casts | Stefan Radomski | 2014-08-03 | 1 | -1/+1 |
* | See detailled log | Stefan Radomski | 2014-07-30 | 1 | -1/+8 |
* | try / catch blocks for applications and work on dot output | Stefan Radomski | 2014-07-21 | 1 | -30/+33 |
* | Stop registering a custom exception handler | Stefan Radomski | 2014-07-04 | 1 | -73/+0 |
* | Major header movement | Stefan Radomski | 2014-06-27 | 1 | -0/+5 |
* | - Prolog DM compiles with recent SWI release again | Stefan Radomski | 2014-06-24 | 1 | -1/+1 |
* | Builds as plugins again | Stefan Radomski | 2014-05-23 | 1 | -1/+1 |
* | Major refactoring | Stefan Radomski | 2014-04-22 | 1 | -44/+86 |
* | Started with promela datamodel | Stefan Radomski | 2014-04-09 | 1 | -0/+227 |