Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Worked on PROMELA transformation | Stefan Radomski | 2016-10-25 | 1 | -0/+2 |
* | Passing all Lua tests again - might have broken external builds | Stefan Radomski | 2016-05-20 | 1 | -11/+15 |
* | Fixed issue77 with URL resolved from CWD on windows | Stefan Radomski | 2016-05-20 | 1 | -1/+3 |
* | Builds on Windows again | Stefan Radomski | 2016-05-13 | 1 | -3/+3 |
* | Compile all dependencies with position independent code | Stefan Radomski | 2016-05-12 | 1 | -4/+1 |
* | Corrected gitignore and travis config | Stefan Radomski | 2016-05-12 | 1 | -0/+53 |