log

age author description
Mon, 20 Feb 2012 14:22:23 +0100 Lukas Stadler use GraphOrder in CanonicalizerPhase (leads to fewer iterations)