[Javapathfinder-svn] SF.net SVN: javapathfinder:[1432] branches/mango/MangoJPF

[<fra...@us...>]

Revision: 1432
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1432&view=rev
Author:   frankrimlinger
Date:     2009-04-22 00:13:59 +0000 (Wed, 22 Apr 2009)

Log Message:
-----------
Successful simulation of itsAWrap using package mango.symbc.bytecode, which models all the bytecodes.  This involved a few very minor changes to gov.nasa.jpf.jvm in order to avoid a runtime ClassCastException.  I have submitted these changes to Peter for approval.

Modified Paths:
--------------
    branches/mango/MangoJPF/.classpath
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ReturnInstruction.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.