- CondEval now really can handle Confirms
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 24 Jul 2008 06:49:20 +0000 (06:49 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 24 Jul 2008 06:49:20 +0000 (06:49 +0000)
commit82caacf18daf84d2fab123eb22d133b6cfbfcb3e
treedf3b8bcb6d831817b7023cc7a0b710b1200bfd6d
parent99c7ed2c854a33729e02ca72078d76f0913a6a4f
- CondEval now really can handle Confirms

[r20642]
ir/opt/condeval.c