Wed, 13 Jul 2011 15:08:49 +0200 |
Gilles Duboscq |
Fix for loop inversion now runs tests, fop, lusearch, eclipse, avrora and scimark
|
Wed, 13 Jul 2011 15:05:04 +0200 |
Gilles Duboscq |
Canonicalize Compare with same inputs
|
Tue, 12 Jul 2011 18:14:45 +0200 |
Gilles Duboscq |
Merge
|
Tue, 12 Jul 2011 17:54:32 +0200 |
Gilles Duboscq |
Fix broken code in exemples, Fix regression and bug in peeling/inverting
|
Tue, 12 Jul 2011 17:00:25 +0200 |
Lukas Stadler |
global absolute probability analysis:
|
Tue, 12 Jul 2011 13:10:33 +0200 |
Gilles Duboscq |
Finish implementation of loop inversion
|
Tue, 12 Jul 2011 13:10:11 +0200 |
Gilles Duboscq |
Fix for NormalizeCompare->Compare canonicalization : care must be taken for the unordered case
|