view mx.sh @ 16206:2a1f3a8f76f1

handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner
author Lukas Stadler <lukas.stadler@oracle.com>
date Wed, 25 Jun 2014 11:20:50 +0200
parents 9a4f210abb5e
children
line wrap: on
line source

mxtool/mx