... | ... | @@ -10,7 +10,7 @@ Our main focus is to ensure that if the operation succeeds, the resulting progra |
|
|
Supported operations :
|
|
|
|
|
|
* Renaming global variables.
|
|
|
* Swapping two global variable names.
|
|
|
* Swapping two global variable names (as an example of composed operation).
|
|
|
|
|
|
|
|
|
# Status
|
... | ... | @@ -35,6 +35,11 @@ Developped by Julien Cohen, Lina laboratory ([Ascola team](http://www.emn.fr/z-i |
|
|
|
|
|
# What's new ?
|
|
|
|
|
|
### Next Version
|
|
|
|
|
|
* Based on Compcert 2.7 (for compatibility).
|
|
|
* More understandable proofs.
|
|
|
|
|
|
### Version 0.6 (based on Compcert 2.6)
|
|
|
|
|
|
* BUGFIX : problematic situations with block variables are now rejected.
|
... | ... | |