Nantes Université

Modifications

Historique de la page
Update home rédigé par Julien COHEN's avatar Julien COHEN
Afficher les modifications d'espaces
En ligne Côte à côte
home.md
Voir la page @ dfcdc283
...@@ -40,9 +40,10 @@ The operation that removes an unused local variable is developped by Igor Zhirko ...@@ -40,9 +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) ### Version 0.8
* New refactoring operation : rename labels. * New refactoring operation : rename labels.
* Upgraded to CompCert 3.4.
### Version 0.7 (based on CompCert 2.7.1) ### Version 0.7 (based on CompCert 2.7.1)
... ...
......