log

age author description
Tue, 09 Aug 2011 18:06:22 +0200 Thomas Wuerthinger Merge.
Tue, 09 Aug 2011 17:52:46 +0200 Thomas Wuerthinger small clean ups
Tue, 09 Aug 2011 16:33:53 +0200 Thomas Wuerthinger Merge.
Tue, 09 Aug 2011 18:59:29 +0200 Gilles Duboscq Merge
Tue, 09 Aug 2011 18:53:11 +0200 Gilles Duboscq WIP : updated loop counter detection, added Basic and Derived induction variable framework
Tue, 09 Aug 2011 17:56:45 +0200 Lukas Stadler changes CanonicalizerOp to Canonicalizable interface
Tue, 09 Aug 2011 14:43:41 +0200 Lukas Stadler added NodeInfo annotation