view mx.cmd @ 5831:ed08c40d67de

Add a alwaysNull property to ObjectStamp (Phi(null, a! A) get a "a A" stamp and not just "a -") Add inferstamp to Pi and CheckCast to propage nonNull/alwaysNull
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 13 Jul 2012 14:10:02 +0200
parents 4023bae16d02
children 46c51b5d0abb
line wrap: on
line source

python mxtool/mx.py %*