rgrig / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 0 forks source link

alpha renaming #49

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
Implement an alpha renaming phase that makes sure each definition uses an
unique name throughout the program. Also, keep the correspondence to the
original name, for error reporting.

This will allow:
(1) processing the intermediate dumps (which use "forbidden names")
(2) hash-consing for ASTs, if deemed necessary

Original issue reported on code.google.com by radugrig...@gmail.com on 27 Aug 2009 at 10:09