search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

add nowrap output option #2356

Closed yzhang90 closed 6 years ago

yzhang90 commented 6 years ago

@daejunpark please review.

msaxena2 commented 6 years ago

@daejunpark @yzhang90 Guys we're trying to follow much better guidelines for commit messages - in line with the evm-semantics. It would've been nicer if one of the other maintainers was also tagged for the review (so that we may have pointed the issue out).

daejunpark commented 6 years ago

@msaxena2 What guideline are you talking about? I do not recall that I have discussed such a thing.