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
Wed, 08 Jun 2011 15:36:30 +0200 Peter Hofer IdealGraphVisualizer: merge changes from the IGV project on Kenai and add Oracle copyright notices where necessary