| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The main goal of this change is to make the candidate invariant
generation code and various analyses capable of handling both
structured and unstructured programs. This is achieved using a
high level abstraction of "regions" -- a region may either be a
"root region" representing the entire implementation, or a natural
loop within that implementation. Note that this is a subset to the
term's meaning in the context of compilers, in which regions are also
used for conditional control flow. Each region consists of a set of
commands and a set of child regions.
This change also has the side effect of eliminating a large amount of
boilerplate code -- its net effect is to reduce the number of lines
of code by 88.
|
Peter Collingbourne
Unknown