search

rgrig / freeboogie

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

desugar while #33

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Implement a desugarer for while commands.

Original issue reported on code.google.com by radugrig...@gmail.com on 26 Aug 2009 at 12:17

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision r648.

Original comment by radugrig...@gmail.com on 20 Sep 2009 at 1:20