Menu
▾
▴
javapathfinder-svn — source repository related messages (SVN)
You can subscribe to this list here.
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(16) |
Jun
(42) |
Jul
(46) |
Aug
(48) |
Sep
(33) |
Oct
(26) |
Nov
(28) |
Dec
(38) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(35) |
Feb
(80) |
Mar
(112) |
Apr
(108) |
May
(102) |
Jun
(126) |
Jul
(89) |
Aug
(82) |
Sep
(36) |
Oct
(7) |
Nov
(1) |
Dec
(4) |
| 2010 |
Jan
(87) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <st...@us...> - 2009-06-19 06:35:34
|
Revision: 1664
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1664&view=rev
Author: staats
Date: 2009-06-19 06:35:33 +0000 (Fri, 19 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/GenericTestSuiteListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StoredFile.java
Added Paths:
-----------
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile MCDC.launch
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile SendOutput.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-19 02:15:50
|
Revision: 1663
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1663&view=rev
Author: frankrimlinger
Date: 2009-06-19 01:04:19 +0000 (Fri, 19 Jun 2009)
Log Message:
-----------
Quickly realized that the formal requirement of Mango and the operational requirements of JPF just will not blend, so abandoning attempts to create a hybrid environment. The new plan is to introduce
ClassInfo ClassUtil.getFormalPeer(ClassInfo clazz)
MethodInfo MethodUtil. getFormalPeer(MethodInfo method)
These routines prepend "MangoFormal." to the name of the class of the passed object if not already present. So, for example, java.lang.Boolean.toString becomes java.lang.MangoFormalBoolean.toString. If the Class or Method with the revised name is found, then the corresponding ClassInfo or MethodInfo is returned. Otherwise the input value is returned. This allows classes designed to support formal analysis to mask previously existing classes.
The point is that mango knows when it wants the formal version and can ask for it, just like jpf "knows" when it wants MethodInfo instead of Method. The new strategy is completely transparent to jpf, unlike the misguided attempt to blend. However, in the MangoJPF code base, except for some code which actually controls the jpf operation, all access to MethodInfo and ClassInfo objects must be routed through the above methods. ?\194?\160?\194?\160This is going to be a fair amount of work to get right, but the payoff will be complete flexibility to mask or not mask the jpf environment without ever interfering with jpf internals.
Deleted existing mangoUserHome/system code to get a fresh start for conversion to MangoFormal names.
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/system/.classpath
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/sessions/system.zip
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/lptry1.zip
branches/mango/MangoJPF/mangoUserHome/system/System/
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-19 02:15:49
|
Revision: 1662
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1662&view=rev
Author: staats
Date: 2009-06-19 00:37:48 +0000 (Fri, 19 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MCDCCoveragePrinter.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/SendRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StoredFile.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListenerInterface.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPFListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-18 21:38:11
|
Revision: 1661
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1661&view=rev
Author: staats
Date: 2009-06-18 21:38:04 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalMultiReceiver.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/SendRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-18 17:30:01
|
Revision: 1660
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1660&view=rev
Author: staats
Date: 2009-06-18 17:30:00 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/SendRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalMultiReceiver.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPFSender.java
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-18 16:50:44
|
Revision: 1659
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1659&view=rev
Author: frankrimlinger
Date: 2009-06-18 16:50:42 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Decided its time to face the music regarding the System boot classes. JPF needs some stuff to boot up and do its thing, and Mango needs some stuff to do formal analysis of arrays and so on. Trying to find that sweet spot where everyone is happy.
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ArithmeticException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ArrayStoreException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Class.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ClassCastException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Comparable.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Exception.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Object.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/RuntimeException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/UnsupportedOperationException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/URL.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FileInputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/InputStreamReader.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/OutputStreamWriter.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/RandomAccessFile.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ClassLoader.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StackTraceElement.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Thread.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ref/
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ref/Reference.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ref/ReferenceQueue.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/ref/WeakReference.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/AccessibleObject.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Constructor.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Field.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/InvocationTargetException.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Method.java
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FileDescriptor.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Cloneable.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractCollection.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractList.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractMap.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Collection.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Comparator.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/HashMap.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Iterator.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/List.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/ListIterator.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Locale.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Map.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Random.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/RandomAccess.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Set.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-18 07:23:09
|
Revision: 1653
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1653&view=rev
Author: frankrimlinger
Date: 2009-06-18 05:35:55 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
MangoJPF test project update continued...
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/marc/
branches/mango/MangoJPF/mangoUserHome/rkrug/
branches/mango/MangoJPF/mangoUserHome/system/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-18 06:35:34
|
Revision: 1658
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1658&view=rev
Author: frankrimlinger
Date: 2009-06-18 06:35:29 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Final tweak for Mango test project. This concludes the reconfiguration of test projects for both Mango and MangoJPF.
Modified Paths:
--------------
branches/mango/Mango/mangoUserHome/frank/jar/mangoTest.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-18 06:28:50
|
Revision: 1657
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1657&view=rev
Author: frankrimlinger
Date: 2009-06-18 06:28:48 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
java project structure for revised MangoJPF test projects
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/frank/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmetic.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/.classpath
branches/mango/MangoJPF/mangoUserHome/frank/.project
branches/mango/MangoJPF/mangoUserHome/marc/.classpath
branches/mango/MangoJPF/mangoUserHome/marc/.project
branches/mango/MangoJPF/mangoUserHome/rkrug/.classpath
branches/mango/MangoJPF/mangoUserHome/rkrug/.project
branches/mango/MangoJPF/mangoUserHome/system/.classpath
branches/mango/MangoJPF/mangoUserHome/system/.project
branches/mango/MangoJPF/mangoUserHome/system/.settings/
branches/mango/MangoJPF/mangoUserHome/system/.settings/org.eclipse.jdt.core.prefs
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wat...@us...> - 2009-06-18 06:02:17
|
Revision: 1655
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1655&view=rev
Author: watcharin
Date: 2009-06-18 06:02:16 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
BufferedReader now can be used in other purposes besides network I/O.
Modified Paths:
--------------
trunk/extensions/net-iocache/env/jpf/java/io/BufferedReader.java
trunk/extensions/net-iocache/env/jpf/java/net/Socket.java
trunk/extensions/net-iocache/env/jpf/java/net/URLDecoder.java
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_BufferedReader.java
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_Socket.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/PhysicalConnection.java
Added Paths:
-----------
trunk/extensions/net-iocache/env/jpf/java/text/
trunk/extensions/net-iocache/env/jpf/java/text/SimpleDateFormat.java
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_text_SimpleDateFormat.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-18 05:38:48
|
Revision: 1654
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1654&view=rev
Author: frankrimlinger
Date: 2009-06-18 05:38:23 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Mango test project reinitialization.
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/
branches/mango/MangoJPF/mangoUserHome/marc/
branches/mango/MangoJPF/mangoUserHome/rkrug/
branches/mango/MangoJPF/mangoUserHome/system/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-18 05:27:55
|
Revision: 1652
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1652&view=rev
Author: frankrimlinger
Date: 2009-06-18 05:27:47 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Deleting MangoJPF/mangoUserHome test projects in order to simplify the configuration.
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/frank/
branches/mango/MangoJPF/mangoUserHome/marc/.classpath
branches/mango/MangoJPF/mangoUserHome/marc/.project
branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/
branches/mango/MangoJPF/mangoUserHome/marc/lptry1/
branches/mango/MangoJPF/mangoUserHome/marc/lptry2/
branches/mango/MangoJPF/mangoUserHome/marc/try1/
branches/mango/MangoJPF/mangoUserHome/marc/try2/
branches/mango/MangoJPF/mangoUserHome/marc/try3/
branches/mango/MangoJPF/mangoUserHome/marc/trychk1/
branches/mango/MangoJPF/mangoUserHome/marc/trychk2/
branches/mango/MangoJPF/mangoUserHome/marc/trychk3/
branches/mango/MangoJPF/mangoUserHome/marc/trychk6/
branches/mango/MangoJPF/mangoUserHome/marc/trychk7/
branches/mango/MangoJPF/mangoUserHome/marc/trychk8/
branches/mango/MangoJPF/mangoUserHome/rkrug/.classpath
branches/mango/MangoJPF/mangoUserHome/rkrug/.project
branches/mango/MangoJPF/mangoUserHome/rkrug/input/.classpath
branches/mango/MangoJPF/mangoUserHome/rkrug/input/.project
branches/mango/MangoJPF/mangoUserHome/rkrug/input/AxiomInLoop/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/big-model-check-test/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/bin/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/find_negative/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/if-with-two-loops/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/itsAWrap/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/loop-with-if/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/nested-loops/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/two-loops-in-a-row/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/while-with-conjunct/
branches/mango/MangoJPF/mangoUserHome/system/input/.classpath
branches/mango/MangoJPF/mangoUserHome/system/input/.project
branches/mango/MangoJPF/mangoUserHome/system/input/.settings/
branches/mango/MangoJPF/mangoUserHome/system/input/System/
branches/mango/MangoJPF/mangoUserHome/system/input/SystemTests/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-18 02:50:19
|
Revision: 1650
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1650&view=rev
Author: frankrimlinger
Date: 2009-06-18 01:49:20 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Cleanup in preparation for testing of MangoJPF. Mango currently does not depend on any jpf extensions, so the extension plugins have been removed. Cleanup of mangoUserHome.
Modified Paths:
--------------
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/Mango.product
branches/mango/MangoJPF/META-INF/MANIFEST.MF
branches/mango/MangoJPF/META-INF/MangoJPF.product
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/jar/
branches/mango/Mango/mangoUserHome/frank/jarBuild
branches/mango/Mango/mangoUserHome/frank/sessions/marc.zip
branches/mango/Mango/mangoUserHome/frank/sessions/rkrug.zip
branches/mango/Mango/mangoUserHome/marc/
branches/mango/Mango/mangoUserHome/marc/.classpath
branches/mango/Mango/mangoUserHome/marc/.project
branches/mango/Mango/mangoUserHome/marc/arrayCopyShell/
branches/mango/Mango/mangoUserHome/marc/arrayCopyShell/src/
branches/mango/Mango/mangoUserHome/marc/arrayCopyShell/src/extest/
branches/mango/Mango/mangoUserHome/marc/arrayCopyShell/src/extest/arrayCopyShell.java
branches/mango/Mango/mangoUserHome/marc/hypo2/
branches/mango/Mango/mangoUserHome/marc/hypo2/src/
branches/mango/Mango/mangoUserHome/marc/hypo2/src/extest/
branches/mango/Mango/mangoUserHome/marc/hypo2/src/extest/hypo2.java
branches/mango/Mango/mangoUserHome/marc/jar/
branches/mango/Mango/mangoUserHome/marc/jar/extest.jar
branches/mango/Mango/mangoUserHome/marc/jarBuild
branches/mango/Mango/mangoUserHome/marc/lptry1/
branches/mango/Mango/mangoUserHome/marc/lptry1/extest/
branches/mango/Mango/mangoUserHome/marc/lptry1/extest/lptry1.java
branches/mango/Mango/mangoUserHome/marc/lptry2/
branches/mango/Mango/mangoUserHome/marc/lptry2/src/
branches/mango/Mango/mangoUserHome/marc/lptry2/src/extest/
branches/mango/Mango/mangoUserHome/marc/lptry2/src/extest/lptry2.java
branches/mango/Mango/mangoUserHome/marc/try1/
branches/mango/Mango/mangoUserHome/marc/try1/extest/
branches/mango/Mango/mangoUserHome/marc/try1/extest/try1.java
branches/mango/Mango/mangoUserHome/marc/try2/
branches/mango/Mango/mangoUserHome/marc/try2/extest/
branches/mango/Mango/mangoUserHome/marc/try2/extest/try2.java
branches/mango/Mango/mangoUserHome/marc/try3/
branches/mango/Mango/mangoUserHome/marc/try3/extest/
branches/mango/Mango/mangoUserHome/marc/try3/extest/try3.java
branches/mango/Mango/mangoUserHome/marc/trychk1/
branches/mango/Mango/mangoUserHome/marc/trychk1/extest/
branches/mango/Mango/mangoUserHome/marc/trychk1/extest/trychk1.java
branches/mango/Mango/mangoUserHome/marc/trychk2/
branches/mango/Mango/mangoUserHome/marc/trychk2/extest/
branches/mango/Mango/mangoUserHome/marc/trychk2/extest/trychk2.java
branches/mango/Mango/mangoUserHome/marc/trychk3/
branches/mango/Mango/mangoUserHome/marc/trychk3/extest/
branches/mango/Mango/mangoUserHome/marc/trychk3/extest/trychk3.java
branches/mango/Mango/mangoUserHome/marc/trychk6/
branches/mango/Mango/mangoUserHome/marc/trychk6/extest/
branches/mango/Mango/mangoUserHome/marc/trychk6/extest/trychk6.java
branches/mango/Mango/mangoUserHome/marc/trychk7/
branches/mango/Mango/mangoUserHome/marc/trychk7/extest/
branches/mango/Mango/mangoUserHome/marc/trychk7/extest/trychk7.java
branches/mango/Mango/mangoUserHome/marc/trychk8/
branches/mango/Mango/mangoUserHome/marc/trychk8/extest/
branches/mango/Mango/mangoUserHome/marc/trychk8/extest/trychk8.java
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/input/default.properties
branches/mango/Mango/repository/
branches/mango/MangoJPF/mangoUserHome/frank/input/build
branches/mango/MangoJPF/mangoUserHome/marc/jar/
branches/mango/MangoJPF/mangoUserHome/marc/jarBuild
branches/mango/MangoJPF/mangoUserHome/rkrug/input/jar/
branches/mango/MangoJPF/mangoUserHome/rkrug/input/jarBuild
branches/mango/MangoJPF/mangoUserHome/rkrug/rules/
branches/mango/MangoJPF/mangoUserHome/rkrug/sessions/
branches/mango/MangoJPF/mangoUserHome/system/input/jar/
branches/mango/MangoJPF/mangoUserHome/system/input/jarBuild
branches/mango/MangoJPF/mangoUserHome/system/rules/
branches/mango/MangoJPF/mangoUserHome/system/sessions/
branches/mango/MangoJPF/plugins/javapathfinder_trunk_extensions_symbc_lib_update1_1.0.0.jar
branches/mango/MangoJPF/plugins/jpf_trunk_extensions_concolic_1.0.0.jar
branches/mango/MangoJPF/plugins/jpf_trunk_extensions_symbc_1.0.0.jar
branches/mango/MangoJPF/plugins/jpf_trunk_extensions_symbolic_1.0.0.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-18 02:26:57
|
Revision: 1651
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1651&view=rev
Author: frankrimlinger
Date: 2009-06-18 02:26:56 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Endowed all test code with java project structures, for both Mango and MangoJPF.
Modified Paths:
--------------
branches/mango/Mango/mangoUserHome/frank/input/SymbolicExecutionTest/symbolicExecution/SimpleTest.java
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/.classpath
branches/mango/Mango/mangoUserHome/frank/.project
branches/mango/Mango/mangoUserHome/frank/jar/mangoTest.jar
branches/mango/MangoJPF/mangoUserHome/frank/.classpath
branches/mango/MangoJPF/mangoUserHome/frank/.project
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/input/build
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-18 01:05:42
|
Revision: 1649
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1649&view=rev
Author: staats
Date: 2009-06-18 00:39:06 +0000 (Thu, 18 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/SendRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StoredFile.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ne...@us...> - 2009-06-17 22:52:31
|
Revision: 1648
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1648&view=rev
Author: nehas
Date: 2009-06-17 22:49:44 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Initial commit of the guided execution engine for JPF
* Contains the abstraction, refinement and heuristic computation in the absrefine.jar
* Currently guides the concrete execution
* The hook for guiding symbolic is coming soon
Updating the class path for the absrefine dependency.
Modified Paths:
--------------
trunk/.classpath
Added Paths:
-----------
trunk/extensions/guidedsymbolic/lib/
trunk/extensions/guidedsymbolic/lib/absrefine.jar
trunk/extensions/guidedsymbolic/src/
trunk/extensions/guidedsymbolic/src/edu/
trunk/extensions/guidedsymbolic/src/edu/byu/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/GuidedListener.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/TrackLocations.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/DebugGuided.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/GuidedDFSearch.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaHeuristic.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaHeuristicState.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaLevelComparator.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/PFSMHeuristic.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ne...@us...> - 2009-06-17 22:39:53
|
Revision: 1647
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1647&view=rev
Author: nehas
Date: 2009-06-17 22:38:40 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Removing the src folder in the guidedsymbolic extension, like the examples does not show up as a "source folder". Updating the examples and adding the input file for the target location "autoSimple" and adding the parameters to run abstraction-guided search.
Modified Paths:
--------------
trunk/extensions/guidedsymbolic/ReadMe.txt
trunk/extensions/guidedsymbolic/examples/airline/Bug.java
trunk/extensions/guidedsymbolic/examples/airline/Main.java
trunk/extensions/guidedsymbolic/examples/airline/autoSimple.txt
trunk/extensions/guidedsymbolic/examples/reorder/ReorderTest.java
trunk/extensions/guidedsymbolic/examples/reorder/SetCheck.java
trunk/extensions/guidedsymbolic/examples/reorder/SetThread.java
trunk/extensions/guidedsymbolic/examples/reorder/autoSimple.txt
trunk/extensions/guidedsymbolic/examples/twostage/autoSimple.txt
trunk/extensions/guidedsymbolic/examples/wronglock/autoSimple.txt
Added Paths:
-----------
trunk/extensions/guidedsymbolic/examples/airline/params.txt
trunk/extensions/guidedsymbolic/examples/reorder/params.txt
trunk/extensions/guidedsymbolic/examples/twostage/params.txt
trunk/extensions/guidedsymbolic/examples/wronglock/params.txt
Removed Paths:
-------------
trunk/extensions/guidedsymbolic/src/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-17 21:12:48
|
Revision: 1646
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1646&view=rev
Author: staats
Date: 2009-06-17 21:12:39 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-17 20:13:57
|
Revision: 1645
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1645&view=rev
Author: frankrimlinger
Date: 2009-06-17 20:13:54 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Fixed dropped branch condition bug for Exception Handlers. This was actually an EZ bug. As exception handling now works correctly in the bread-and-butter case of no handlers, punting on Marc's stuff for now. Fixed source code display bugs. There are probably more of these out there. This subject requires mastery of
***Zen and the art of line numbers***
When Method.getLineNumber is passed an Instruction, it returns the source code line number of that instruction. When Instruction.getLineNumber is called, it returns the index of this instruction in the corresponding Instruction[] code array. This is also called the "position" by jpf. Mango uses the word "lineNumber" to refer to what a jpf instruction would call "pc" or "offset", and this is the offset into the jvm codeblock in the Code attribute of an instruction. For example, the following returns a source code line number of a mango lineNumber:
method.getLineNumber(method.getInstructionAt(lineNumber));
To simplify usage, the gem is encapsulated as
MethodUtil.getSourceCodeLineNumber(method,lineNumber)
Replayed all itsAWrap sessions successfully. Moving on to other baseline loop tests.
Modified Paths:
--------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_1_Code_01/op0 is less than 10.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-17 20:08:08
|
Revision: 1644
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1644&view=rev
Author: staats
Date: 2009-06-17 20:08:07 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/jpf-parallel-client
trunk/extensions/complexcoverage/bin/jpf-parallel-server
trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ne...@us...> - 2009-06-17 19:07:53
|
Revision: 1643
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1643&view=rev
Author: nehas
Date: 2009-06-17 19:05:24 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Adding the examples again within a source folder.
Added Paths:
-----------
trunk/extensions/guidedsymbolic/examples/
trunk/extensions/guidedsymbolic/examples/airline/
trunk/extensions/guidedsymbolic/examples/airline/Bug.java
trunk/extensions/guidedsymbolic/examples/airline/Main.java
trunk/extensions/guidedsymbolic/examples/airline/autoSimple.txt
trunk/extensions/guidedsymbolic/examples/reorder/
trunk/extensions/guidedsymbolic/examples/reorder/CheckThread.java
trunk/extensions/guidedsymbolic/examples/reorder/ReorderTest.java
trunk/extensions/guidedsymbolic/examples/reorder/SetCheck.java
trunk/extensions/guidedsymbolic/examples/reorder/SetThread.java
trunk/extensions/guidedsymbolic/examples/reorder/autoSimple.txt
trunk/extensions/guidedsymbolic/examples/twostage/
trunk/extensions/guidedsymbolic/examples/twostage/Data.java
trunk/extensions/guidedsymbolic/examples/twostage/Main.java
trunk/extensions/guidedsymbolic/examples/twostage/ReadThread.java
trunk/extensions/guidedsymbolic/examples/twostage/TwoStage.java
trunk/extensions/guidedsymbolic/examples/twostage/TwoStageThread.java
trunk/extensions/guidedsymbolic/examples/twostage/autoSimple.txt
trunk/extensions/guidedsymbolic/examples/wronglock/
trunk/extensions/guidedsymbolic/examples/wronglock/Data.java
trunk/extensions/guidedsymbolic/examples/wronglock/Main.java
trunk/extensions/guidedsymbolic/examples/wronglock/TClass1.java
trunk/extensions/guidedsymbolic/examples/wronglock/TClass2.java
trunk/extensions/guidedsymbolic/examples/wronglock/WrongLock.java
trunk/extensions/guidedsymbolic/examples/wronglock/autoSimple.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ne...@us...> - 2009-06-17 18:55:43
|
Revision: 1642
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1642&view=rev
Author: nehas
Date: 2009-06-17 18:54:43 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Deleting the examples directory because for some reason it is not showing up as a source directory. Will try to add it after the removal.
Removed Paths:
-------------
trunk/extensions/guidedsymbolic/examples/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-17 17:03:40
|
Revision: 1641
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1641&view=rev
Author: frankrimlinger
Date: 2009-06-17 17:03:37 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
There is a bug involving the default package. MangoJPF doesn't seem to find the corresponding .class files, event when one is specified as the target class. For now working around this by moving Marc's exception handler test code to the "extest" package.
The invocation formal peers are not failing gracefully when there are link errors. This needs to be figured out. We may have to punch in the rest of the clinit design sooner rather than later so that popular java.io methods can be sensibly modelled.
Have verified there there is in fact an issue with jpf lazy loading of method exception handlers. This loading is now forced by calling MethodUtil.getExceptions().
In extest.lptry1, Mango is generating exception handler branch conditions as will as well as gracefully handling an invocation of java.ioPrintStream.println(I)V. So this is a good place to start once ItsAWrap.main is working.
Something is causing branch conditions for exceptions to be dropped very early on. This problem has nothing to do with existence of exception handlers or lack thereof.
Modified Paths:
--------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/sessions/lptry1.zip
branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/extest/
branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/extest/arrayCopyShell.java
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/extest/
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/extest/hypo2.java
branches/mango/MangoJPF/mangoUserHome/marc/jar/
branches/mango/MangoJPF/mangoUserHome/marc/jar/extest.jar
branches/mango/MangoJPF/mangoUserHome/marc/jarBuild
branches/mango/MangoJPF/mangoUserHome/marc/lptry1/extest/
branches/mango/MangoJPF/mangoUserHome/marc/lptry1/extest/lptry1.java
branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/extest/
branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/extest/lptry2.java
branches/mango/MangoJPF/mangoUserHome/marc/try1/extest/
branches/mango/MangoJPF/mangoUserHome/marc/try1/extest/try1.java
branches/mango/MangoJPF/mangoUserHome/marc/try2/extest/
branches/mango/MangoJPF/mangoUserHome/marc/try2/extest/try2.java
branches/mango/MangoJPF/mangoUserHome/marc/try3/extest/
branches/mango/MangoJPF/mangoUserHome/marc/try3/extest/try3.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk1/extest/
branches/mango/MangoJPF/mangoUserHome/marc/trychk1/extest/trychk1.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk2/extest/
branches/mango/MangoJPF/mangoUserHome/marc/trychk2/extest/trychk2.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk3/extest/
branches/mango/MangoJPF/mangoUserHome/marc/trychk3/extest/trychk3.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk6/extest/
branches/mango/MangoJPF/mangoUserHome/marc/trychk6/extest/trychk6.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk7/extest/
branches/mango/MangoJPF/mangoUserHome/marc/trychk7/extest/trychk7.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk8/extest/
branches/mango/MangoJPF/mangoUserHome/marc/trychk8/extest/trychk8.java
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/arrayCopyShell.java
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/hypo2.java
branches/mango/MangoJPF/mangoUserHome/marc/lptry1/lptry1.java
branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/lptry2.java
branches/mango/MangoJPF/mangoUserHome/marc/try1/try1.java
branches/mango/MangoJPF/mangoUserHome/marc/try2/try2.java
branches/mango/MangoJPF/mangoUserHome/marc/try3/try3.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk1/trychk1.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk2/trychk2.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk3/trychk3.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk6/trychk6.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk7/trychk7.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk8/trychk8.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-17 15:11:43
|
Revision: 1640
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1640&view=rev
Author: frankrimlinger
Date: 2009-06-17 15:11:42 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Marc's exception handler test code, based on the old IBM Jikes test suite.
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/marc/.classpath
branches/mango/MangoJPF/mangoUserHome/marc/.project
branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/
branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/
branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/src/arrayCopyShell.java
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/
branches/mango/MangoJPF/mangoUserHome/marc/hypo2/src/hypo2.java
branches/mango/MangoJPF/mangoUserHome/marc/lptry1/
branches/mango/MangoJPF/mangoUserHome/marc/lptry1/lptry1.java
branches/mango/MangoJPF/mangoUserHome/marc/lptry2/
branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/
branches/mango/MangoJPF/mangoUserHome/marc/lptry2/src/lptry2.java
branches/mango/MangoJPF/mangoUserHome/marc/try1/
branches/mango/MangoJPF/mangoUserHome/marc/try1/try1.java
branches/mango/MangoJPF/mangoUserHome/marc/try2/
branches/mango/MangoJPF/mangoUserHome/marc/try2/try2.java
branches/mango/MangoJPF/mangoUserHome/marc/try3/
branches/mango/MangoJPF/mangoUserHome/marc/try3/try3.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk1/
branches/mango/MangoJPF/mangoUserHome/marc/trychk1/trychk1.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk2/
branches/mango/MangoJPF/mangoUserHome/marc/trychk2/trychk2.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk3/
branches/mango/MangoJPF/mangoUserHome/marc/trychk3/trychk3.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk6/
branches/mango/MangoJPF/mangoUserHome/marc/trychk6/trychk6.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk7/
branches/mango/MangoJPF/mangoUserHome/marc/trychk7/trychk7.java
branches/mango/MangoJPF/mangoUserHome/marc/trychk8/
branches/mango/MangoJPF/mangoUserHome/marc/trychk8/trychk8.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-17 15:10:19
|
Revision: 1639
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1639&view=rev
Author: frankrimlinger
Date: 2009-06-17 15:10:17 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Initial import.
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/marc/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
