Menu
▾
▴
javapathfinder-svn
|
From: <pcm...@us...> - 2008-05-28 17:24:02
|
Revision: 856
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=856&view=rev
Author: pcmehlitz
Date: 2008-05-28 10:24:00 -0700 (Wed, 28 May 2008)
Log Message:
-----------
* merged recent v5 changes of the statechart extension back into trunk (waitForEvent() etc.)
* this required some little ElementsInfo changes (equalsString()), but of course there remain a lot of differences between
branch/trunk in this class
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/PendingEventQueue.java
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_State.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
trunk/extensions/statechart/examples/Ortho1.java
trunk/extensions/statechart/examples/Repeat.es
trunk/extensions/statechart/examples/Repeater.java
trunk/extensions/statechart/examples/SendEvents1.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCEvent.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/Coverage.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/PathConstraint.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
trunk/src/gov/nasa/jpf/jvm/ArrayFields.java
trunk/src/gov/nasa/jpf/jvm/ElementInfo.java
Added Paths:
-----------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/EventSpec.java
trunk/extensions/statechart/examples/SyncEvents.java
Removed Paths:
-------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/PendingEvent.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCEventGeneratorFactory.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-06-24 01:00:28
|
Revision: 880
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=880&view=rev
Author: pcmehlitz
Date: 2008-06-23 18:00:27 -0700 (Mon, 23 Jun 2008)
Log Message:
-----------
* fixed the broken fix reg. multiple inclusions of the same ThreadInfo into the ThreadList. First, every ThreadInfo
creation should go through ThreadInfo's factory method. Second, there is no easy way around exclusiveness checking
in ThreadInfo.add() - the ThreadInfo cache isn't backtracked, but the ThreadList is. This fixed the DiningPhilosophers
in HeuristicSearch again
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/JVM.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/jvm/ThreadList.java
trunk/test/gov/nasa/jpf/mc/TestPartialTraceJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-06-25 23:18:36
|
Revision: 881
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=881&view=rev
Author: pcmehlitz
Date: 2008-06-25 16:18:30 -0700 (Wed, 25 Jun 2008)
Log Message:
-----------
* the RaceDetector didn't filter field access inside clinits
* StaticFieldInstruction.isSchedulingRelevant() should check if the clinit class and the field declaring class are
the same
The RaceDetector still has daemons in it. Seems it's interfering with the POR sync detection - maybe we should just drop the
thing in favor of the PreciseRaceDetector, which is more efficient and less prone to false positives / false negatives
Modified Paths:
--------------
trunk/examples/DiningPhilosophers/Philosopher.java
trunk/src/gov/nasa/jpf/jvm/bytecode/StaticFieldInstruction.java
trunk/src/gov/nasa/jpf/tools/RaceDetector.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-03 23:05:57
|
Revision: 910
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=910&view=rev
Author: pcmehlitz
Date: 2008-07-03 16:05:01 -0700 (Thu, 03 Jul 2008)
Log Message:
-----------
* there were still some "new Random()" expressions in the code. We should use fixed seeds so that
results are reproducible. Unfortunately, not all occurrences had config access, so we can't use
choice.seed consistently, but in most cases that shouldn't matter as long as there just is
"reproducible randomness"
Modified Paths:
--------------
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
trunk/src/gov/nasa/jpf/jvm/ChoiceGenerator.java
trunk/src/gov/nasa/jpf/jvm/Verify.java
trunk/src/gov/nasa/jpf/search/heuristic/RandomHeuristic.java
trunk/test/gov/nasa/jpf/jvm/TestFileIO.java
trunk/test/gov/nasa/jpf/test/TestContracts.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-07 20:45:44
|
Revision: 913
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=913&view=rev
Author: pcmehlitz
Date: 2008-07-07 13:45:42 -0700 (Mon, 07 Jul 2008)
Log Message:
-----------
* FieldInstruction.createAndSetFieldCG() should be protected
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java
Removed Paths:
-------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-15 20:59:13
|
Revision: 927
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=927&view=rev
Author: pcmehlitz
Date: 2008-07-15 13:59:06 -0700 (Tue, 15 Jul 2008)
Log Message:
-----------
* changed NativePeer so that it caches a clone of the caller frame. That sucks a quite bit, but the alternative of
using the reflection call argument array is worse, since it doesn't preserve ElementInfos (turns them into
Integers because of the reflection call mapping to 'int'). Seems nobody so far ran into this anomaly between
argument values for model and native peer methods.
that calls for a more efficient StackFrame clone (e.g. unified operand/local slots), but that has to wait until v5
* with that, moved the argument attribute retrieval (from MJIEnv) to StackFrame, since ThreadInfo doesn't know about
about cached StackFrames (of NativePeer)
* with that, implemented getArgumentAttrs in InvokeInstruction, so that it can be used consistently in pre/post
exec listeners no matter if the invoked method is native or not
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
trunk/src/gov/nasa/jpf/jvm/NativePeer.java
trunk/src/gov/nasa/jpf/jvm/StackFrame.java
trunk/src/gov/nasa/jpf/jvm/bytecode/InvokeInstruction.java
trunk/test/gov/nasa/jpf/jvm/TestAttrs.java
trunk/test/gov/nasa/jpf/jvm/TestAttrsJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X