updated header
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 10 May 2007 22:07:19 +0000 (22:07 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 10 May 2007 22:07:19 +0000 (22:07 +0000)
commitf616f878aa0ea06ad96e9c92a58c75d4fe5b3162
treed864f503c097d471bebe366a567ba2c6667227a3
parentbd761d8687f89b868057fb823c8abd8f13643c6c
updated header
added properties

[r13783]
ir/ana/absgraph.c
ir/ana/absgraph.h
ir/ana/dfs.c
ir/ana/dfs.h
ir/ana/dfs_t.h
ir/ana/irlivechk.c
ir/ana/irlivechk.h