comparison test/Makefile @ 4643:a47f7a901c7a

use GraphOrder in CanonicalizerPhase (leads to fewer iterations)
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 20 Feb 2012 14:22:23 +0100
parents 6fd81579526f
children 2d503de963b3
comparison
equal deleted inserted replaced
4642:9f781aae2470 4643:a47f7a901c7a