Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Some code beautifications | Stefan Radomski | 2016-01-26 | 1 | -11/+0 |
* | Added transition-less histories as an issue and completed C transformation | Stefan Radomski | 2016-01-20 | 2 | -0/+42 |
* | Fixed a bug in generated C with deep initial states | Stefan Radomski | 2016-01-19 | 1 | -3/+22 |
* | Fixed a bug with deep initial states in compounds for C transformation | Stefan Radomski | 2016-01-19 | 2 | -0/+39 |