renamed NODE_VERIFICATION_* to newer FIRM_VERIFICATION_*
authorFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Mon, 2 Jan 2006 15:45:40 +0000 (15:45 +0000)
committerFIRM Projekt Account <firm@ipd.info.uni-karlsruhe.de>
Mon, 2 Jan 2006 15:45:40 +0000 (15:45 +0000)
commit93f9343ae9622722eff588321e818cc4972bcdd7
tree074146defb8c798868fc8e2ef0aa7c9bc89f9432
parent347c2c9107f3c3239bdc78fd48851e157f1f2bb9
renamed NODE_VERIFICATION_* to newer FIRM_VERIFICATION_*
renamed old type 'type' into ir_type

[r7185]
testprograms/if_while_example.c
testprograms/loop_unroll_example.c
testprograms/strength_red_example.c