log

age author description
Wed, 08 Jun 2011 15:43:43 +0200 Gilles Duboscq Merge
Wed, 08 Jun 2011 15:43:11 +0200 Gilles Duboscq Fix on canonicalization plus canonicalization of shifts and integer arithmetics