log

age author description
Thu, 19 Jan 2012 19:06:25 +0100 Lukas Stadler Merge
Thu, 19 Jan 2012 18:53:48 +0100 Lukas Stadler more structured graph modification usage
Wed, 18 Jan 2012 15:09:19 +0100 Lukas Stadler more CanonicalizerPhase simplifications, added Simplifiable interface