Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix author tag for Simon | Bjørn Christian Seime | 2018-07-05 | 1 | -1/+1 |
* | Propagate max() within nested all to propagate properly. | Henning Baldersheim | 2018-02-03 | 1 | -3/+10 |
* | Update copyright headers | Jon Bratseth | 2017-06-14 | 1 | -1/+1 |
* | Revert "Update copyright headers" | Jon Bratseth | 2017-06-14 | 1 | -1/+1 |
* | Update copyright headers | Jon Bratseth | 2017-06-14 | 1 | -1/+1 |
* | Revert "Copyright header" | Jon Bratseth | 2017-06-13 | 1 | -1/+1 |
* | Copyright header | Jon Bratseth | 2017-06-13 | 1 | -1/+1 |
* | Publish | Jon Bratseth | 2016-06-15 | 1 | -0/+397 |