annotate mx.cmd @ 15204:4d19ee79fcee

Fix loop peeling problem with VirtualState: duplicate states deeply and only clear the parts of the exit's state that's not used by the duplicated nodes.
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 17 Apr 2014 17:16:05 +0200
parents 4023bae16d02
children 46c51b5d0abb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4190
bfae65ae6c1e Added mx.bat for Windows.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
1 python mxtool/mx.py %*