log

age author description
Wed, 08 Jun 2011 12:07:49 +0200 Thomas Wuerthinger Made critical edge splitting into a phase.
Wed, 08 Jun 2011 12:04:50 +0200 Thomas Wuerthinger Fixes on Node.copy implementations.
Wed, 08 Jun 2011 12:00:40 +0200 Thomas Wuerthinger Merge.
Wed, 08 Jun 2011 11:59:54 +0200 Thomas Wuerthinger Added new duplication phase (for verification). Fixes in Node.copy method implementations.
Wed, 08 Jun 2011 11:35:18 +0200 Thomas Wuerthinger Renamed and moved phase subclasses.
Wed, 08 Jun 2011 11:09:05 +0200 Gilles Duboscq merge
Wed, 08 Jun 2011 10:25:07 +0200 Gilles Duboscq merge