commit | a09170f2199aa7e6ebb3ced79cd6e5ee66359805 | [log] [tgz] |
---|---|---|
author | Jeffrey Overbey <jeffreyoverbey@acm.org> | Tue Jun 12 15:41:30 2012 -0500 |
committer | Jeffrey Overbey <jeffreyoverbey@acm.org> | Tue Jun 12 15:41:30 2012 -0500 |
tree | f0afd9edb16153dc16aeae2c758b0e1fdb86c57e | |
parent | bf9e479d82e93d26ca0f77535a3de2d093f13db9 [diff] |
Marked Replace Do Loop with Forall as unchecked refactoring