search

kframework / k-legacy

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

for better debugging: add original name when renaming variable #2385

Closed daejunpark closed 6 years ago

daejunpark commented 6 years ago

make the variable names more informative when debugging, e.g., V_123 instead of _123 where V is user-introduced variable name.

daejunpark commented 6 years ago

Jenkins: retest this please

daejunpark commented 6 years ago

@andreistefanescu could you please review this?

daejunpark commented 6 years ago

I merge this to release erc20 verification on time. We can revert it later if a problem found.