Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Ensuring all .v files end with a newline to make "sed -i" work better on them. | 2017-08-21 | |
| | |||
* | Quick fix for #4603 (part 2): Anomaly: Universe undefined | 2016-04-12 | |
This is a follow-up on Matthieu's 7e7b5684 The Definition command was classified incorrectly when a body was provided. This fix is a bit ad-hoc. A better one would require more expressiveness in side effect classification, but I'll do it in trunk only since it could impact plugins. Thanks a lot to Enrico for his help! |