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

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

Revision: 1440
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1440&view=rev
Author:   frankrimlinger
Date:     2009-04-22 21:40:08 +0000 (Wed, 22 Apr 2009)

Log Message:
-----------
MangoJPF now has a design!  This should carry through 2010, and will be revised/fleshed out as coding requirements and testing dictate.

Modified Paths:
--------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/JPF_MIRROR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKECG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/RETURN.java

Added Paths:
-----------
    branches/mango/MangoJPF/doc/
    branches/mango/MangoJPF/doc/design.rtf


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