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
|