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: <pcm...@us...> - 2009-06-25 22:47:15
|
Revision: 1689
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1689&view=rev
Author: pcmehlitz
Date: 2009-06-25 22:47:14 +0000 (Thu, 25 Jun 2009)
Log Message:
-----------
* OutputStreamWriter buffer overrun fix. Note this is not the last word yet, since it uses Verify.begin/endAtomic() to avoid explicit locks (and hence state explosion), which introduces the possibility of BlockedInAtomicSection exceptions if the underlying OutputStream.write uses locking. Still seems a better solution than creating a JPF byte[] object per OutputStreamWriter.write() call, or using explicit locks on JPF objects. Using static buffers is bad for concurrent exec though (we want to reduce these cases). I have a hunch this is one of these eternal-living workarounds.
Modified Paths:
--------------
trunk/env/jpf/java/io/OutputStreamWriter.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_OutputStreamWriter.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-06-25 19:30:22
|
Revision: 1688
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1688&view=rev
Author: pcmehlitz
Date: 2009-06-25 19:30:19 +0000 (Thu, 25 Jun 2009)
Log Message:
-----------
* hot fix for the direct call MethodInfo registration memory leak. Another example why the state matching/storage has to be more decoupled from core implementation structures. Now direct call (synthetic) methods have fixed globalIds and don't get registered - they are processed differently in stack traces anyways, so we don't want to waste memory and time on registration at all. For the state mgnt, they can't be filter-marked since there is no corresponding source, and we can't filter them per default since they might call synced methods
Thanks Nathan
* adapted access modifiers for SystemState.setBlockedInAtomicSection() and ReturnInstruction.returnFrame, so that they can be used outside jpf.jvm
Thanks Pavel
* removed the java.lang.Runtime model class, which was only there to stub the addShutdownHook(), which is now in the native peer
* temporary fix for the ResourceBundle model
Both ResourceBundle and OutputStreamWriter still need a right fix, which is up next
Modified Paths:
--------------
trunk/env/jpf/java/util/ResourceBundle.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_OutputStreamWriter.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Runtime.java
trunk/src/gov/nasa/jpf/jvm/DynamicArea.java
trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
trunk/src/gov/nasa/jpf/jvm/SystemState.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/jvm/abstraction/abstractor/CachedAbstractorConfiguration.java
trunk/src/gov/nasa/jpf/jvm/abstraction/filter/SimpleFilteringSerializer.java
trunk/src/gov/nasa/jpf/jvm/bytecode/ReturnInstruction.java
Removed Paths:
-------------
trunk/env/jpf/java/lang/Runtime.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-25 06:36:47
|
Revision: 1687
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1687&view=rev
Author: staats
Date: 2009-06-25 06:36:46 +0000 (Thu, 25 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/jpf-parallel-client
trunk/extensions/complexcoverage/bin/jpf-parallel-server
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-25 02:53:09
|
Revision: 1686
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1686&view=rev
Author: staats
Date: 2009-06-25 01:40:28 +0000 (Thu, 25 Jun 2009)
Log Message:
-----------
parallel launch scripts now check JAVA_HOME
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/jpf-parallel-client
trunk/extensions/complexcoverage/bin/jpf-parallel-server
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-24 06:30:28
|
Revision: 1685
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1685&view=rev
Author: staats
Date: 2009-06-24 06:29:05 +0000 (Wed, 24 Jun 2009)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASW_REQ2.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AlarmDetermination10.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc14.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc23.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc5.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AltimeterError9.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AltitudeAvg1.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/DOICmd8.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeapNode.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PassBelowThreshold13.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PowerOnConditions6.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PowerSignalError7.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/RisinEdge11.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WithinHysteresis12.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw.java
Removed Paths:
-------------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/oldexamples/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-24 05:41:06
|
Revision: 1684
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1684&view=rev
Author: staats
Date: 2009-06-24 05:40:00 +0000 (Wed, 24 Jun 2009)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/ASWMainClass.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/ASW_REQ2.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/AlarmDetermination10.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/Alt_Calc14.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/Alt_Calc23.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/Alt_Calc5.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/AltimeterError9.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/AltitudeAvg1.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/DOICmd8.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/PassBelowThreshold13.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/PowerOnConditions6.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/PowerSignalError7.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/RisinEdge11.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/WithinHysteresis12.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw/asw.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <tel...@us...> - 2009-06-24 05:33:05
|
Revision: 1683
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1683&view=rev
Author: telcontar
Date: 2009-06-24 05:31:48 +0000 (Wed, 24 Jun 2009)
Log Message:
-----------
* FileHandler.java: Added empty constructor that uses the same default log file name as JDK 1.5.
Modified Paths:
--------------
trunk/env/jpf/java/util/logging/FileHandler.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <tel...@us...> - 2009-06-24 05:31:46
|
Revision: 1682
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1682&view=rev
Author: telcontar
Date: 2009-06-24 05:30:45 +0000 (Wed, 24 Jun 2009)
Log Message:
-----------
* DecimalFormat.java, TestJavaTextDateFormat*: Added support for decimal formatting (most frequent case where position is 0/ignored) and test case.
Modified Paths:
--------------
trunk/env/jpf/java/text/DecimalFormat.java
trunk/test/gov/nasa/jpf/jvm/TestJavaTextDateFormat.java
trunk/test/gov/nasa/jpf/jvm/TestJavaTextDateFormatJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <tel...@us...> - 2009-06-24 04:28:49
|
Revision: 1681
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1681&view=rev
Author: telcontar
Date: 2009-06-24 04:28:17 +0000 (Wed, 24 Jun 2009)
Log Message:
-----------
* Runtime.java: Added stub class for runtime that ignores shutdown hook registration. Allows classes using java.util.logging to load, and simple cases to run successfully.
Added Paths:
-----------
trunk/env/jpf/java/lang/Runtime.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <tel...@us...> - 2009-06-24 04:27:12
|
Revision: 1680
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1680&view=rev
Author: telcontar
Date: 2009-06-24 04:26:11 +0000 (Wed, 24 Jun 2009)
Log Message:
-----------
* ResourceBundle.java, FileHandler.java: Added two stub classes that allow simple programs relying on logging facilities to load.
Added Paths:
-----------
trunk/env/jpf/java/util/ResourceBundle.java
trunk/env/jpf/java/util/logging/
trunk/env/jpf/java/util/logging/FileHandler.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ne...@us...> - 2009-06-24 02:15:11
|
Revision: 1679
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1679&view=rev
Author: nehas
Date: 2009-06-24 02:12:55 +0000 (Wed, 24 Jun 2009)
Log Message:
-----------
Added a configuration to randomly pick an abstract trace or systematically run through each of the possible traces.
Modified Paths:
--------------
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/setup/RunGuidedTest.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <mil...@us...> - 2009-06-23 21:24:44
|
Revision: 1678
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1678&view=rev
Author: milos-gligoric
Date: 2009-06-23 21:24:44 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
first commit in this repo, it will be small.
change the documentation (removed some errors).
Modified Paths:
--------------
trunk/extensions/delayed/doc/index.html
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-23 20:24:30
|
Revision: 1677
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1677&view=rev
Author: staats
Date: 2009-06-23 20:24:29 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MergeMCDCSuites.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ne...@us...> - 2009-06-23 18:47:01
|
Revision: 1676
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1676&view=rev
Author: nehas
Date: 2009-06-23 18:46:57 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Added a class to run multiple guided execution trials on a single machines. It detects the number of possible abstract traces and iterates through each of the abstract trace to check if that leads to the target locations.
Added a termination criteria, when there are no refinement locations the guided execution exits.
Changed the params txt file for the examples.
Modified 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
trunk/extensions/guidedsymbolic/lib/absrefine.jar
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/GuidedDFSearch.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaHeuristic.java
Added Paths:
-----------
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/setup/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/setup/RunGuidedTest.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-23 02:04:36
|
Revision: 1675
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1675&view=rev
Author: staats
Date: 2009-06-23 02:03:33 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuite.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-23 01:12:58
|
Revision: 1674
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1674&view=rev
Author: staats
Date: 2009-06-23 00:40:10 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov TestFun Measure Reduced.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-23 01:12:56
|
Revision: 1673
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1673&view=rev
Author: staats
Date: 2009-06-23 00:39:25 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestCase.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuiteNew.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-23 01:12:55
|
Revision: 1672
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1672&view=rev
Author: staats
Date: 2009-06-23 00:36:39 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListenerInterface.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/TestSuite.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDC.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDCListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-22 22:34:18
|
Revision: 1671
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1671&view=rev
Author: staats
Date: 2009-06-22 22:34:12 +0000 (Mon, 22 Jun 2009)
Log Message:
-----------
changed test suite format
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Reduce.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListenerInterface.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/mcdc/MeasureTestSuiteByMCDC.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDCListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDC.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDCListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuiteNew.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-20 16:44:52
|
Revision: 1670
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1670&view=rev
Author: frankrimlinger
Date: 2009-06-20 16:44:51 +0000 (Sat, 20 Jun 2009)
Log Message:
-----------
Port of rulebase to correspond to the mangoUserHome/system port, except for some new native model rules required to support the Object versus Object_MangoFormal issue. These must be modelled "by hand".
Ported the mango native interface rules. Mostly just had to change signatures, but mango.lang.Mango_Class.forName actually puts an "java.lang.Class_MangoFormal" on the heap, and this literal is burned into the rule. Also, many instances of the "java.lang.String" changed to "java.lang.String_MangoFormal"
Deleted all the java package rules. These can be rebuilt using MangoJPF and should be anyway to get good sessions for replay.
Rulebase searches turned up numerous instances of "java.lang.Class" and "java.lang.String", for example, in the rulebase theory rules. These were all converted. Most of this stuff has to do with formal garbage collection.
Seach rulebase for references to all the other names requiring the _MangoFormal suffix. This turned up lots of support for the io package that I had forgotten about. This stuff probably still works.
The "specialHeapAddress" is still "Boolean", not "Boolean_MangoFormal". This device is only used to distinguish the static Boolean_MangoFormal objects representing true and false, and is not logically a class name.
So, with all this in place, can finally start MangoJPF code modifications to call ClassUtil.getFormalPeer and MangoUtil.getFormalPeer as appropriate.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-20 04:44:35
|
Revision: 1669
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1669&view=rev
Author: frankrimlinger
Date: 2009-06-20 04:44:34 +0000 (Sat, 20 Jun 2009)
Log Message:
-----------
Completed port of mangoUserHome/system. It remains to rewire MangoJPF to call ClassUtil.getFormalPeer and MethodUtil.getFormalPeer.
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/system/.classpath
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FilterOutputStream_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/InputStream_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/ObjectStreamClass_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/OutputStream_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Class_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Math_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Object_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/String_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Void_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Boolean.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Byte.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Class.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Integer.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Object.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Short.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_String.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Boolean_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Byte_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/CharSequence_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Character_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Double_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Float_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Integer_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Long_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Short_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StringBuffer_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StringBuilder_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/System_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Array_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/math/BigInteger_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/URI_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/URL_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractCollection_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractList_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/ArrayList_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Arrays_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Collection_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/List_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/Bit.class
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/systemTests/
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/systemTests/ArrayCopyFunctionalTest.java
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/systemTests/ArrayCopyTest.java
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/systemTests/PleaseWrapThis.java
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/systemTests/StartsWithTest.java
branches/mango/MangoJPF/mangoUserHome/system/SystemTests/src/systemTests/StringTests.java
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Boolean.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Byte.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/CharSequence.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Character.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Comparable.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Double.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Float.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Integer.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Long.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Short.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StringBuffer.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StringBuilder.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/System.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Array.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/math/BigInteger.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/URI.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/URL.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/ArrayList.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Arrays.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Collection.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/List.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-20 02:27:43
|
Revision: 1668
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1668&view=rev
Author: staats
Date: 2009-06-20 02:27:42 +0000 (Sat, 20 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
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/RemoteJPFSender.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiProcessJPF.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: <fra...@us...> - 2009-06-19 23:01:49
|
Revision: 1667
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1667&view=rev
Author: frankrimlinger
Date: 2009-06-19 23:01:48 +0000 (Fri, 19 Jun 2009)
Log Message:
-----------
Successful port of String to String_MangoFormal in mangoUserHome/system. We need
toString --> toString_MangoFormal
since we can't inherit from Object.toString().
String has a special place for the compiler, so all string literals now have to be explicitly constructed as String_MangoFormal and "+" changes to the concat function.
Hopefully we are coming to the end of the classes that have special meaning for the compiler. Going forward, it just means that creating new system code just has an additional layer of complexity. But still, isolating this issue from the rest of the code base is the critical thing, and that has been accomplished.
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Boolean.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Byte.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/CharSequence.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Character.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Class_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Double.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Float.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Integer.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Long.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Object_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Short.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StringBuffer.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StringBuilder.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/System.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Array.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/math/BigInteger.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractCollection.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/ArrayList.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Byte.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Class.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Integer.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Object.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Short.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_String.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FileOutputStream_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FilterOutputStream_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/InputStream_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/ObjectStreamClass_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/OutputStream_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/PrintStream_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Math_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Number_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/String_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Void_MangoFormal.java
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FileOutputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FilterOutputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/InputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/ObjectStreamClass.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/OutputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/PrintStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Math.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Number.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/String.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Void.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/AbstractMap.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/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-19 19:56:55
|
Revision: 1666
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1666&view=rev
Author: frankrimlinger
Date: 2009-06-19 19:56:51 +0000 (Fri, 19 Jun 2009)
Log Message:
-----------
Conversion of mangoUserHome/system in progress. java.lang.Obect_MangoFormal has now replaced java.lang.Object, but arrays put up a fight. The problem is that an Object[] is an Object, but an Object_MangoFormal[] is *NOT* an Object_MangoFormal. This is because Object is the root class. Period. So had to devise workarounds with static routines, which will propagate ugliness for all time. But oh well...
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/ObjectStreamClass.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Boolean.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Byte.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Character.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Double.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Float.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Integer.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Long.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Object_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Short.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/System.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Void.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Array.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Class.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Object.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Class_MangoFormal.java
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Class.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-19 06:38:05
|
Revision: 1665
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1665&view=rev
Author: frankrimlinger
Date: 2009-06-19 06:37:58 +0000 (Fri, 19 Jun 2009)
Log Message:
-----------
Conversion of mangoUserHome/system in progress. Decided against "MangoFormalXXX" in favor of XXX_MangoFormal. This makes for easier reading. Notice that the "native" methods which are interpreted by rewrite rules need to have the embedded class literals updated. Don't get burned by this.
The method
Class java.lang.Object.getClass() has formal peer
Class_MangoFormal java.lang.Object_MangoFormal getClass_MangoFormal()
The name of the method must be changed because Class is final.
Succeeded in changing Object to Object_MangoFormal. Since the java compiler treads class Object very specially, there are a few tricky issues going on. But so far have managed to dodge them.
Next is to port Class to Class_MangoFormal.
Modified Paths:
--------------
branches/mango/MangoJPF/mangoUserHome/system/.classpath
branches/mango/MangoJPF/mangoUserHome/system/.settings/org.eclipse.jdt.core.prefs
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/system/System/
branches/mango/MangoJPF/mangoUserHome/system/System/java/
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FileOutputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/FilterOutputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/InputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/ObjectStreamClass.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/OutputStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/io/PrintStream.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Boolean.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Byte.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/CharSequence.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Character.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Class.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Comparable.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Double.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Float.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Integer.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Long.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Math.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Number.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Object_MangoFormal.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Short.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/String.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StringBuffer.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/StringBuilder.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/System.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/Void.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/
branches/mango/MangoJPF/mangoUserHome/system/System/java/lang/reflect/Array.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/math/
branches/mango/MangoJPF/mangoUserHome/system/System/java/math/BigInteger.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/URI.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/net/URL.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/
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/ArrayList.java
branches/mango/MangoJPF/mangoUserHome/system/System/java/util/Arrays.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
branches/mango/MangoJPF/mangoUserHome/system/System/mango/
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Boolean.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Byte.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Class.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Integer.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Object.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_Short.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_String.charAt worksheet.rtf
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_String.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_String.length worksheet.rtf
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_String.setValueFromStringBuffer worksheet.rtf
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.append worksheet.rtf
branches/mango/MangoJPF/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.java
branches/mango/MangoJPF/mangoUserHome/system/System/mango/util/
branches/mango/MangoJPF/mangoUserHome/system/System/mango/util/Mango_ArrayList.add worksheet.rtf
branches/mango/MangoJPF/mangoUserHome/system/System/mango/util/Mango_ArrayList.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
