Skip to content

Merge 'array-abstraction'

Thomas Lemberger requested to merge array-abstraction into trunk

This branch contains a simple program transformation for loops over arrays, and a utility class for deep-copying and mutating the CFA (on new instances).

Merge request reports