| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
|
|
|
| |
abstraction map) into files whose names are derived from the names of the input file by adding _abs (_gla).
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
intermediate abstraction.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
(tends to generate smaller abstarctions).
|
| |
|
| |
|