[Mit-cadr-cvs] r408 - in branches/ggilley: . hw/cadr/verif

[ggilley at common-lisp.net]

Author: ggilley
Date: Wed Dec 12 19:43:47 2012
New Revision: 408

Log:
merge changes from trunk

Modified:
   branches/ggilley/   (props changed)
   branches/ggilley/hw/cadr/verif/Makefile   (props changed)
   branches/ggilley/hw/cadr/verif/maketraces.sh   (props changed)
   branches/ggilley/hw/cadr/verif/run.v   (props changed)
   branches/ggilley/hw/cadr/verif/show   (props changed)