log

age author description
Wed, 08 Jun 2011 17:01:16 +0200 Thomas Wuerthinger Added time measurement for phases.
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