Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Revert "mcrl2: force use of gcc5 to prevent compilation errors" | Franz Pletz | 2017-09-15 |
* | mcrl2: force use of gcc5 to prevent compilation errors | Maarten Hoogendoorn | 2017-09-10 |
* | mcrl2: 201409 -> 201707 | Markus Mueller | 2017-09-08 |
* | mcrl2: 2009.01 -> 2014.09 | Maarten Hoogendoorn | 2016-04-12 |