... | @@ -12,7 +12,7 @@ Supported operations : |
... | @@ -12,7 +12,7 @@ Supported operations : |
|
* And swapping two global variable names.
|
|
* And swapping two global variable names.
|
|
* Removing unused local variables.
|
|
* Removing unused local variables.
|
|
* And adding a local variable.
|
|
* And adding a local variable.
|
|
|
|
* Renaming labels.
|
|
|
|
|
|
# Status
|
|
# Status
|
|
|
|
|
... | @@ -40,6 +40,10 @@ The operation that removes an unused local variable is developped by Igor Zhirko |
... | @@ -40,6 +40,10 @@ The operation that removes an unused local variable is developped by Igor Zhirko |
|
|
|
|
|
# What's new ?
|
|
# What's new ?
|
|
|
|
|
|
|
|
### Verson 0.8 (based on Compcert 3.4)
|
|
|
|
|
|
|
|
* New refactoring operation : rename labels.
|
|
|
|
|
|
### Version 0.7 (based on CompCert 2.7.1)
|
|
### Version 0.7 (based on CompCert 2.7.1)
|
|
|
|
|
|
* New refactoring operation : add/remove a local variable, by Igor Zhirkov.
|
|
* New refactoring operation : add/remove a local variable, by Igor Zhirkov.
|
... | | ... | |