Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Some more refactoring and VHDL transformation | Stefan Radomski | 2016-02-24 | 1 | -35/+35 |
* | Some refactoring for improved compile times | Stefan Radomski | 2016-02-23 | 1 | -26/+26 |
* | Some code beautifications | Stefan Radomski | 2016-01-26 | 1 | -3/+3 |
* | Added transition-less histories as an issue and completed C transformation | Stefan Radomski | 2016-01-20 | 1 | -1/+3 |
* | Beautified code | Stefan Radomski | 2016-01-10 | 1 | -309/+311 |
* | All changes up to my dissertation | Stefan Radomski | 2015-12-04 | 1 | -4/+36 |
* | Various extensions and bug-fixes | Stefan Radomski | 2015-07-05 | 1 | -84/+288 |
* | Plenty of smaller fixes and adaptations | Stefan Radomski | 2015-01-19 | 1 | -12/+47 |
* | Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodel | Stefan Radomski | 2014-12-26 | 1 | -0/+10 |
* | Major work on PROMELA datamodel | Stefan Radomski | 2014-10-12 | 1 | -35/+36 |
* | Identify InterpreterIssues at runtime | Stefan Radomski | 2014-08-26 | 1 | -9/+26 |
* | Moved InterpreterIssues to own source file | Stefan Radomski | 2014-08-22 | 1 | -0/+656 |