... | ... | @@ -40,9 +40,10 @@ The operation that removes an unused local variable is developped by Igor Zhirko |
|
|
|
|
|
# What's new ?
|
|
|
|
|
|
### Verson 0.8 (based on Compcert 3.4)
|
|
|
### Version 0.8
|
|
|
|
|
|
* New refactoring operation : rename labels.
|
|
|
* Upgraded to CompCert 3.4.
|
|
|
|
|
|
### Version 0.7 (based on CompCert 2.7.1)
|
|
|
|
... | ... | |