- lattice elements can now contain Symbolic Constants
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 21 Jul 2008 15:02:43 +0000 (15:02 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 21 Jul 2008 15:02:43 +0000 (15:02 +0000)
commit3f56c7912e9113c9674ac93dd175428f7e2c7f93
tree06c945f207a6076c642cb55c3417c5923e232515
parentbf8e498d7ca3073ab0368a68a5f3e95e73953214
- lattice elements can now contain Symbolic Constants
- nodes must be initialized by bottom, not top
- fixed removement of nodes and partitions from cprop lists
- added partition type
- doxygen docu added

[r20580]
ir/opt/combo.c