... | ... | @@ -42,7 +42,8 @@ The operation that removes an unused local variable is developped by Igor Zhirko |
|
|
|
|
|
### Version 0.8
|
|
|
|
|
|
* New refactoring operation : rename labels.
|
|
|
* New refactoring operation : rename labels. This operation is proved correct, but it is not complete : it rejects some cases where the renaming would be legal (see the tests).
|
|
|
|
|
|
* Upgraded to CompCert 3.4.
|
|
|
|
|
|
### Version 0.7 (based on CompCert 2.7.1)
|
... | ... | |