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: <pc...@us...> - 2008-08-20 23:36:08
|
Revision: 966
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=966&view=rev
Author: pcorina
Date: 2008-08-20 23:36:06 +0000 (Wed, 20 Aug 2008)
Log Message:
-----------
helper method for generalized symbolic execution
Modified Paths:
--------------
trunk/extensions/symbc/src/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: <pc...@us...> - 2008-08-20 23:35:17
|
Revision: 965
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=965&view=rev
Author: pcorina
Date: 2008-08-20 23:35:14 +0000 (Wed, 20 Aug 2008)
Log Message:
-----------
example illustrating generalized symbolic execution
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExGenSymExe.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-20 20:08:59
|
Revision: 964
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=964&view=rev
Author: pcmehlitz
Date: 2008-08-20 20:08:51 +0000 (Wed, 20 Aug 2008)
Log Message:
-----------
* moved MethodInfo attributes to flag fields (like Field/Class/ElementInfo). That just makes it easier
to add new attributes, of which we have two new ones: EXEC_HIDDEN and FIREWALL. The first one is used
for methods that are not only executed atomically, but should also not appear in the path. The second
one is for methods that should act as exception firewalls, i.e. turn JPF-executed exceptions into
UnhandledException throws. That's for all methods which should not let exceptions pass in lower stack
frames, mostly because they aren't called by them (like clinit or other direct calls)
* streamlined ThreadInfo.throwException to use these attributes
* since we can now have UnhandledExceptions in code we still want to continue from, we also
need a way to clear the pendingException, the NoUnhandledExceptionProperty, drop frames and
advance the pc in the topframe (or else we run the danger of infinite loops)
* with that, improved the code for atomic round trips (i.e. atomically executing bytecode by JPF
from listeners or native peers). This is still a dangerous feature, but - if supported - should
leave the choice of path-hidden execution and exception handling to the host-VM executed code that
starts it. Still the same restrictions like for executeMethodAtomic apply. See TestNativePeerJPF
for examples (hidden exec with and w/o exceptions)
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
trunk/src/gov/nasa/jpf/jvm/StackFrame.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/test/Satisfies.java
trunk/test/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_TestNativePeer.java
trunk/test/gov/nasa/jpf/jvm/TestNativePeer.java
trunk/test/gov/nasa/jpf/jvm/TestNativePeerJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-19 21:54:33
|
Revision: 963
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=963&view=rev
Author: sjp100
Date: 2008-08-19 21:54:30 +0000 (Tue, 19 Aug 2008)
Log Message:
-----------
basic support for heap data (instance fields only at this point). the listener prints the pc, heapPC and the return value and the values of fields
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/SymbolicInputHeap.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-19 18:58:32
|
Revision: 962
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=962&view=rev
Author: pcmehlitz
Date: 2008-08-19 18:58:29 +0000 (Tue, 19 Aug 2008)
Log Message:
-----------
* cleanup of LDC (the BCEL <5.1 hack reg. Type.CLASS references)
this still needs a fix to instantiate CP string constants during class load time, to avoid the per-instruction execute overhead that is currently required since the string object location might change between different paths
* also changed LDC_W to be an LDC
* accessors and field visibility fixed for LDCs and RETURNs
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/StackFrame.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/jvm/bytecode/ARETURN.java
trunk/src/gov/nasa/jpf/jvm/bytecode/DRETURN.java
trunk/src/gov/nasa/jpf/jvm/bytecode/FRETURN.java
trunk/src/gov/nasa/jpf/jvm/bytecode/IRETURN.java
trunk/src/gov/nasa/jpf/jvm/bytecode/LDC.java
trunk/src/gov/nasa/jpf/jvm/bytecode/LDC2_W.java
trunk/src/gov/nasa/jpf/jvm/bytecode/LDC_W.java
trunk/src/gov/nasa/jpf/jvm/bytecode/LRETURN.java
trunk/src/gov/nasa/jpf/jvm/bytecode/RETURN.java
trunk/src/gov/nasa/jpf/jvm/bytecode/ReturnInstruction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-14 03:22:28
|
Revision: 961
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=961&view=rev
Author: sjp100
Date: 2008-08-14 03:22:25 +0000 (Thu, 14 Aug 2008)
Log Message:
-----------
fixed bug in constructor; added setter and getter for refChain field
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapNode.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-13 18:50:43
|
Revision: 960
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=960&view=rev
Author: pcmehlitz
Date: 2008-08-13 18:50:38 +0000 (Wed, 13 Aug 2008)
Log Message:
-----------
* missing guards for getAnnotationInfo() on classes that don't have any, triggering NPEs e.g. when executing JUnit
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-13 18:13:41
|
Revision: 959
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=959&view=rev
Author: sjp100
Date: 2008-08-13 18:13:38 +0000 (Wed, 13 Aug 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <joh...@us...> - 2008-08-11 22:59:35
|
Revision: 958
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=958&view=rev
Author: johnpenix
Date: 2008-08-11 22:59:33 +0000 (Mon, 11 Aug 2008)
Log Message:
-----------
Add an extensions directory for Taehoon Lee's GSoc work on verifying Jetty code.
Added Paths:
-----------
trunk/extensions/servlet/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-11 17:55:25
|
Revision: 957
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=957&view=rev
Author: pcmehlitz
Date: 2008-08-11 17:55:18 +0000 (Mon, 11 Aug 2008)
Log Message:
-----------
* some visibility changes for subclassed bytecode sets
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java
trunk/src/gov/nasa/jpf/jvm/bytecode/PUTSTATIC.java
trunk/src/gov/nasa/jpf/jvm/bytecode/StaticFieldInstruction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-08 00:45:18
|
Revision: 956
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=956&view=rev
Author: pcorina
Date: 2008-08-08 00:45:13 +0000 (Fri, 08 Aug 2008)
Log Message:
-----------
unmasked conditionValue (used when measuring coverage with CoverageAnalyzer listener).
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFEQ.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFNE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPEQ.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPNE.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-07 23:57:29
|
Revision: 955
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=955&view=rev
Author: pcmehlitz
Date: 2008-08-07 23:57:26 +0000 (Thu, 07 Aug 2008)
Log Message:
-----------
* branch coverage blocks were only printed for incomplete insn coverage
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/tools/CoverageAnalyzer.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-06 01:17:00
|
Revision: 954
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=954&view=rev
Author: pcmehlitz
Date: 2008-08-06 01:16:58 +0000 (Wed, 06 Aug 2008)
Log Message:
-----------
* some missing awt/swing APIs (mostly added as stubs, but we might add ComponentListener modeling)
Modified Paths:
--------------
trunk/extensions/ui/env/jpf/java/awt/Component.java
trunk/extensions/ui/env/jpf/java/awt/Toolkit.java
trunk/extensions/ui/env/jpf/java/awt/Window.java
trunk/extensions/ui/env/jpf/javax/swing/AbstractButton.java
trunk/extensions/ui/env/jpf/javax/swing/JComponent.java
trunk/extensions/ui/env/jpf/javax/swing/JFrame.java
trunk/extensions/ui/env/jpf/javax/swing/JPanel.java
trunk/extensions/ui/env/jpf/javax/swing/JRootPane.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-05 21:20:22
|
Revision: 953
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=953&view=rev
Author: pcmehlitz
Date: 2008-08-05 21:20:17 +0000 (Tue, 05 Aug 2008)
Log Message:
-----------
* Mirko's and Igor's java.lang.reflect patches - Thanks
Modified Paths:
--------------
trunk/env/jpf/java/lang/reflect/Field.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Array.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Field.java
trunk/test/gov/nasa/jpf/jvm/TestFieldReflection.java
trunk/test/gov/nasa/jpf/jvm/TestFieldReflectionJPF.java
Added Paths:
-----------
trunk/test/gov/nasa/jpf/jvm/TestArrayReflection.java
trunk/test/gov/nasa/jpf/jvm/TestArrayReflectionJPF.java
Property Changed:
----------------
trunk/ide/examples/JPFTest/
trunk/ide/examples/JPFTest/nbproject/
trunk/ide/netbeans/RunJPF/nbproject/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-05 20:40:39
|
Revision: 952
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=952&view=rev
Author: pcmehlitz
Date: 2008-08-05 20:40:32 +0000 (Tue, 05 Aug 2008)
Log Message:
-----------
* some more build.xml changes to make NetBeans (6.1) happy with JPF as a free form project
* added an ide subdir. ideally, this should hold all our IDE plugins, but for Eclipse that's rather unlikely (until they finally support nested projects)
* added RunJPF as a VERY simple NetBeans module. This doesn't do much except of adding a "Run JPF" item to the file context menu of *.jpf files,
which are properties files that can reside anywhere in the project (good by Eclipse *.launch configs!) This is the same mechanism to configure
and run JPF that is used by Sandro's VJP (Eclipse plugin)
* added a simple ide/examples/JPFTest project. This is going to evolve into a suite that can be used for NetBeans and Eclipse demos
Modified Paths:
--------------
trunk/build.xml
Added Paths:
-----------
trunk/ide/
trunk/ide/examples/
trunk/ide/examples/JPFTest/
trunk/ide/examples/JPFTest/build.xml
trunk/ide/examples/JPFTest/manifest.mf
trunk/ide/examples/JPFTest/nbproject/
trunk/ide/examples/JPFTest/nbproject/build-impl.xml
trunk/ide/examples/JPFTest/nbproject/genfiles.properties
trunk/ide/examples/JPFTest/nbproject/project.properties
trunk/ide/examples/JPFTest/nbproject/project.xml
trunk/ide/examples/JPFTest/src/
trunk/ide/examples/JPFTest/src/jpftest/
trunk/ide/examples/JPFTest/src/jpftest/Hello.java
trunk/ide/examples/JPFTest/src/jpftest/Hello.jpf
trunk/ide/examples/JPFTest/src/jpftest/OldClassic-analyzer.jpf
trunk/ide/examples/JPFTest/src/jpftest/OldClassic-basic.jpf
trunk/ide/examples/JPFTest/src/jpftest/OldClassic.java
trunk/ide/examples/JPFTest/src/jpftest/Racer-exception.jpf
trunk/ide/examples/JPFTest/src/jpftest/Racer-listener.jpf
trunk/ide/examples/JPFTest/src/jpftest/Racer.java
trunk/ide/examples/JPFTest/src/jpftest/Rand.java
trunk/ide/examples/JPFTest/src/jpftest/Rand.jpf
trunk/ide/examples/JPFTest/test/
trunk/ide/netbeans/
trunk/ide/netbeans/RunJPF/
trunk/ide/netbeans/RunJPF/build.xml
trunk/ide/netbeans/RunJPF/manifest.mf
trunk/ide/netbeans/RunJPF/nbproject/
trunk/ide/netbeans/RunJPF/nbproject/build-impl.xml
trunk/ide/netbeans/RunJPF/nbproject/genfiles.properties
trunk/ide/netbeans/RunJPF/nbproject/platform.properties
trunk/ide/netbeans/RunJPF/nbproject/project.properties
trunk/ide/netbeans/RunJPF/nbproject/project.xml
trunk/ide/netbeans/RunJPF/release/
trunk/ide/netbeans/RunJPF/release/modules/
trunk/ide/netbeans/RunJPF/release/modules/ext/
trunk/ide/netbeans/RunJPF/src/
trunk/ide/netbeans/RunJPF/src/gov/
trunk/ide/netbeans/RunJPF/src/gov/nasa/
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataLoader.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataLoaderBeanInfo.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataNode.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataObject.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigEditorSupport.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigResolver.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigTemplate.jpf
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/OutputAdapter.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/layer.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/runjpf.gif
trunk/ide/netbeans/RunJPF/test/
trunk/ide/netbeans/RunJPF/test/unit/
trunk/ide/netbeans/RunJPF/test/unit/src/
trunk/ide/netbeans/RunJPF/test/unit/src/META-INF/
trunk/ide/netbeans/RunJPF/test/unit/src/META-INF/services/
trunk/ide/netbeans/RunJPF/test/unit/src/META-INF/services/org.openide.loaders.DataLoader
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-05 20:23:47
|
Revision: 951
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=951&view=rev
Author: pcorina
Date: 2008-08-05 20:23:43 +0000 (Tue, 05 Aug 2008)
Log Message:
-----------
added copyright notice
Modified Paths:
--------------
trunk/extensions/symbc/env/jpf/java/lang/Math.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-05 20:21:58
|
Revision: 950
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=950&view=rev
Author: pcorina
Date: 2008-08-05 20:21:53 +0000 (Tue, 05 Aug 2008)
Log Message:
-----------
added copyright notices
Modified Paths:
--------------
trunk/extensions/symbc/env/jvm/gov/nasa/jpf/symbc/JPF_java_lang_Math.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-05 20:18:22
|
Revision: 949
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=949&view=rev
Author: pcorina
Date: 2008-08-05 20:18:16 +0000 (Tue, 05 Aug 2008)
Log Message:
-----------
added copyright notices
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListenerClean.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapChoiceGenerator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapNode.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/SymbolicInputHeap.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Constraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LinearIntegerConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MinMax.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MixedConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NonLinearIntegerConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NonLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemCVC3.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemGeneral.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemIAsolver.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealProblem.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicReal.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/sequences/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/sequences/SequenceChoiceGenerator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-05 16:38:41
|
Revision: 948
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=948&view=rev
Author: pcmehlitz
Date: 2008-08-05 16:38:36 +0000 (Tue, 05 Aug 2008)
Log Message:
-----------
* changed various getters from protected to public, so that it becomes easier to extend Publisher
outside gov.nasa.jpf.report
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/report/Reporter.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-01 20:53:21
|
Revision: 947
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=947&view=rev
Author: sjp100
Date: 2008-08-01 20:53:20 +0000 (Fri, 01 Aug 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-31 17:12:44
|
Revision: 946
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=946&view=rev
Author: pcmehlitz
Date: 2008-07-31 17:04:41 +0000 (Thu, 31 Jul 2008)
Log Message:
-----------
* StateMachine.wasGuardedCompletion was reset within a log level block - Duhh! That fixes Corina's open state space example (was working w/o logging)
* of course there was a state space leak when logging sendEvent (was creating a StringBuilder). Replaced this with a native
logAppend(String)...log() API, which maps to ThreadLocal StringBuilders
having separate NativeStateMachine and SimStateMachine implementations sucks - move into model
* ChoiceTracker config error report fixed
* standard example launch configs were still using +vm.enumerate_random, should be +cg.
Modified Paths:
--------------
trunk/examples/launch/basic-racer-test.launch
trunk/examples/launch/basic-random-test.launch
trunk/examples/launch/basic-random.launch
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_StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
trunk/src/gov/nasa/jpf/tools/ChoiceTracker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-30 17:54:13
|
Revision: 945
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=945&view=rev
Author: sjp100
Date: 2008-07-30 17:54:08 +0000 (Wed, 30 Jul 2008)
Log Message:
-----------
cleanup
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapNode.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-30 17:44:50
|
Revision: 944
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=944&view=rev
Author: sjp100
Date: 2008-07-30 17:44:46 +0000 (Wed, 30 Jul 2008)
Log Message:
-----------
more heap support
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapNode.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-30 17:01:26
|
Revision: 943
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=943&view=rev
Author: sjp100
Date: 2008-07-30 17:01:23 +0000 (Wed, 30 Jul 2008)
Log Message:
-----------
added GETFIELD bytecode to list of symbolic bytecodes (should have been committed with my last commit)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-30 16:59:03
|
Revision: 942
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=942&view=rev
Author: sjp100
Date: 2008-07-30 16:59:00 +0000 (Wed, 30 Jul 2008)
Log Message:
-----------
cleaned up and added additional support for sym heap
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
