-
Tomáš Fiedor authored
LargeBlockFunctor: Create module with set of functors for inferring changes and resets; NormChangeGraph: Add selector unit to quickly identify the norm change graph; termination: Collect selector units to vector; termination: Dummy creation of Norm Change Graph per each selector unit.
99fe0829