|
From: <fra...@us...> - 2009-09-22 17:17:02
|
Revision: 1913
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1913&view=rev
Author: frankrimlinger
Date: 2009-09-22 17:16:54 +0000 (Tue, 22 Sep 2009)
Log Message:
-----------
This is the final update to the jpf source-forge respository for the Mango project. The new home for Mango is the Mercurial (as opposed to SVN) repository at
http://babelfish.arc.nasa.gov/hg/jpf/jpf-mango
The new java pathfinder wiki is at
http://babelfish.arc.nasa.gov/trac/jpf/
and the Mango wiki may be accessed from this page, or at
http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-mango
Modified Paths:
--------------
branches/mango/Mango/.classpath
branches/mango/Mango/.project
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/jpf-mango-bridge/gov/nasa/jpf/JPFrewriter.java
branches/mango/Mango/jpf-mango-bridge/gov/nasa/jpf/SCANNER.java
branches/mango/Mango/jpf-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FieldInstruction.java
Added Paths:
-----------
branches/mango/Mango/jpf-mango-bridge/
branches/mango/Mango/plugins/bcel_plugin_1.0.0.jar
Removed Paths:
-------------
branches/mango/Mango/default.properties
branches/mango/Mango/javapathfinder-mango-bridge/
branches/mango/Mango/plugins/jpf_trunk_build_tools_lib_1.0.0.jar
branches/mango/Mango/plugins/jpf_trunk_lib_1.0.0.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|