log

age author description
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