Compare commits

...
A pull request between these branches already exists: libre-chip/cpu#12

WIP: add a procedural implementation of rename_execute_retire #12