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

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1451
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1451&view=rev
Author:   frankrimlinger
Date:     2009-04-25 18:32:54 +0000 (Sat, 25 Apr 2009)

Log Message:
-----------
Fixed wiring bug that prevented scanner bytecodes from loading.  Verified that scanner bytecodes are now now loading, at least the ones that compile.  Back to bytecode rehab.

Modified Paths:
--------------
    branches/mango/MangoJPF/META-INF/MANIFEST.MF
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/SCANNER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstructionFactory.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BytecodeUtils.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/SymbolicListener.java

Removed Paths:
-------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/

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