improved verifier: shows now all nodes using the same register
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 15 Aug 2006 15:59:12 +0000 (15:59 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 15 Aug 2006 15:59:12 +0000 (15:59 +0000)

No differences found