[r21297]

[r21294]

[r21291]

[r21281]

[r21270]

[r21263]

- first support for statistics

[r21261]

[r21260]

[r21258]

[r21255]

[r21246]

[r21241]

[r21234]

[r21232]

[r21231]

[r21213]

[r21207]

[r21205]

  optimize graphs that might still be inlined because the meta-information is invalided then,
  do that as an additional step

[r21200]

- use resource locking functions

[r21199]

[r21192]

[r21189]

- do not kill Unknown
- switch Unknwon -> tarval_Top of for the moment, makes non-monotone
  transfer function

[r21188]

[r21187]

- Cmp(a, TOP) produces !=, not TOP (like icc, Clicks work returns ==
  here because they congruent, but it isn't important waht to choose as
  long as it is monotone

[r21186]

[r21185]

[r21184]

[r21183]

- add partition to cprop list if followers where translated to leader :
  these must propably be splitted out by split_by()

[r21174]

[r21173]

[r21172]

Make ICC more happy by spelling -f combo as -fcombo, so it can properly ignore "combo" and not treat it as input file.

[r21167]

Teach AM folding about Syncs. Atm this only affects Div nodes, but is useful for Call with AM (not done yet), too.

[r21164]

[r21159]

[r21158]

[r21156]

[r21155]

[r21154]

[r21148]

[r21147]