[r23327]

[r23326]

[r23325]

[r23324]

[r23323]

[r23322]

[r23321]

  double graph freeing
- Put the constant result of stat_is_active() into variable

[r23320]

- removed useless assert

[r23319]

- fixed assertion

[r23316]

[r23313]

[r23312]

[r23311]

  meltet block has the same number of inputs like the original

[r23306]

- BugFix: set the ins for the newly created Phis
- BugFix: correctly construct the Phis for old inputs

[r23305]

[r23280]

[r23276]

[r23275]

[r23271]

- check, that only local/global resources are allocated

[r23266]

[r23250]

[r23249]

[r23248]

[r23247]

[r23246]

- BugFix: add support for Id nodes when searching for leave Sel's:
  we MUST find all leaves else some nodes are NOT removed
- removed use of visited flag, useless: we cannot reache a Sel
  node by different data pathes
- add ressource allocators

[r23240]

[r23238]

[r23235]

[r23232]

[r23230]

[r23229]

[r23193]

- a * 0 is NOT 0 for Inf

[r23192]

[r23190]

[r23186]

[r23185]

[r23182]

- Fix for a rare problem: when checking commutative touched nodes, we must distinguish between op(a, a) and op(a, b): these are NOT congruent and must not be on the same touched list

[r23178]

[r23177]

[r23176]