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: <sj...@us...> - 2008-07-09 20:35:47
|
Revision: 916
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=916&view=rev
Author: sjp100
Date: 2008-07-09 13:35:36 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
minor documentation fixes
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Symbolic.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2B.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2C.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2L.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2S.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-09 01:51:42
|
Revision: 915
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=915&view=rev
Author: pcmehlitz
Date: 2008-07-08 18:51:41 -0700 (Tue, 08 Jul 2008)
Log Message:
-----------
* added a few reg test cases for the PreciseRaceDetector, catching the reference cases (verified by
explicitly thrown exceptions), and then checking typical false positives
Modified Paths:
--------------
trunk/test/gov/nasa/jpf/mc/TestRace.java
trunk/test/gov/nasa/jpf/mc/TestRaceJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-08 19:29:56
|
Revision: 914
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=914&view=rev
Author: pcmehlitz
Date: 2008-07-08 12:29:54 -0700 (Tue, 08 Jul 2008)
Log Message:
-----------
* the PreciseRaceDetector erroneously used FieldInstruction.getLastElementInfo() outside an
instructionExecuted() context. Replaced it with peekElementInfo(ThreadInfo ti), which can be used
from within executeInstruction and choiceGeneratorSet() contexts
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java
trunk/src/gov/nasa/jpf/jvm/bytecode/GETFIELD.java
trunk/src/gov/nasa/jpf/jvm/bytecode/InstanceFieldInstruction.java
trunk/src/gov/nasa/jpf/jvm/bytecode/PUTFIELD.java
trunk/src/gov/nasa/jpf/jvm/bytecode/StaticFieldInstruction.java
trunk/src/gov/nasa/jpf/tools/PreciseRaceDetector.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-05 21:12:28
|
Revision: 912
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=912&view=rev
Author: pcmehlitz
Date: 2008-07-05 14:12:25 -0700 (Sat, 05 Jul 2008)
Log Message:
-----------
* bug in PreciseRaceDetector - despite the comment in getFieldDescriptor, only the object was stored (we should really
go over the <2do>'s at some point). However, this might happen to be called frequently and we therefore rather should use the
ElementInfo/FieldInfo pairs directly, which required a few little changes in the FieldInstruction hierarchy.
Thanks Darko / Frank
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java
trunk/src/gov/nasa/jpf/jvm/bytecode/InstanceFieldInstruction.java
trunk/src/gov/nasa/jpf/jvm/bytecode/StaticFieldInstruction.java
trunk/src/gov/nasa/jpf/tools/PreciseRaceDetector.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:23:32
|
Revision: 911
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=911&view=rev
Author: pcmehlitz
Date: 2008-07-03 16:23:30 -0700 (Thu, 03 Jul 2008)
Log Message:
-----------
* ARGHH - Eclipse changed a branches/v5 file when doing a project context file search in trunk. I hate Eclipse, and I hate branches
* the ChoiceGenerator.random should actually use the +cg.seed property (if it's set)
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/ChoiceGenerator.java
trunk/src/gov/nasa/jpf/jvm/Verify.java
trunk/src/gov/nasa/jpf/tools/ChoiceSelector.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: <sj...@us...> - 2008-07-03 03:07:26
|
Revision: 909
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=909&view=rev
Author: sjp100
Date: 2008-07-02 20:07:13 -0700 (Wed, 02 Jul 2008)
Log Message:
-----------
moved libraries to proper directory and started coding to support using cvc3's official JNI (not yet complete)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemCVC3.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
Added Paths:
-----------
trunk/extensions/symbc/csrc/libcvc3.so
trunk/extensions/symbc/csrc/libcvc3jni.so
Removed Paths:
-------------
trunk/extensions/symbc/libcvc3.so
trunk/extensions/symbc/libcvc3jni.so
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-03 00:34:49
|
Revision: 908
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=908&view=rev
Author: pcorina
Date: 2008-07-02 17:34:48 -0700 (Wed, 02 Jul 2008)
Log Message:
-----------
for Mithun
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/SeqListenerSkeleton.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-02 19:19:59
|
Revision: 907
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=907&view=rev
Author: sjp100
Date: 2008-07-02 12:19:56 -0700 (Wed, 02 Jul 2008)
Log Message:
-----------
support for symbc (cvc3)
Modified Paths:
--------------
trunk/.classpath
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-02 02:12:18
|
Revision: 906
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=906&view=rev
Author: pcorina
Date: 2008-07-01 19:12:17 -0700 (Tue, 01 Jul 2008)
Log Message:
-----------
added skeleton for sequence listener (Google SoC)
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SeqListenerSkeleton.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-02 01:52:06
|
Revision: 905
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=905&view=rev
Author: pcorina
Date: 2008-07-01 18:52:00 -0700 (Tue, 01 Jul 2008)
Log Message:
-----------
added initial support for "generalized symbolic execution": handles input data structures through lazy initialization
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/SymbolicInstructionFactory.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/
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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-01 23:53:30
|
Revision: 904
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=904&view=rev
Author: sjp100
Date: 2008-07-01 16:53:03 -0700 (Tue, 01 Jul 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemCVC3.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-01 20:58:55
|
Revision: 903
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=903&view=rev
Author: sjp100
Date: 2008-07-01 13:56:41 -0700 (Tue, 01 Jul 2008)
Log Message:
-----------
updated to use official cvc3 jni
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/dp/NativeInterface.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-01 20:30:03
|
Revision: 902
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=902&view=rev
Author: sjp100
Date: 2008-07-01 13:29:47 -0700 (Tue, 01 Jul 2008)
Log Message:
-----------
moved the library to the proper place
Added Paths:
-----------
trunk/extensions/symbc/lib/libcvc3.jar
Removed Paths:
-------------
trunk/extensions/symbc/libcvc3.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-01 00:15:17
|
Revision: 901
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=901&view=rev
Author: pcorina
Date: 2008-06-30 17:15:15 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
added formatting for constants
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemIAsolver.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-06-30 22:35:58
|
Revision: 900
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=900&view=rev
Author: pcorina
Date: 2008-06-30 15:35:55 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-06-30 22:34:00
|
Revision: 899
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=899&view=rev
Author: pcorina
Date: 2008-06-30 15:33:59 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemGeneral.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-06-30 22:33:35
|
Revision: 898
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=898&view=rev
Author: pcorina
Date: 2008-06-30 15:33:33 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathRealExpression.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-06-30 22:33:20
|
Revision: 897
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=897&view=rev
Author: pcorina
Date: 2008-06-30 15:33:19 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathFunction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-06-30 22:30:46
|
Revision: 896
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=896&view=rev
Author: pcorina
Date: 2008-06-30 15:30:45 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
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: <sj...@us...> - 2008-06-30 21:31:47
|
Revision: 895
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=895&view=rev
Author: sjp100
Date: 2008-06-30 14:31:46 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
moved to symbc
Removed Paths:
-------------
trunk/extensions/symbc/test/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: <sj...@us...> - 2008-06-30 21:21:56
|
Revision: 894
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=894&view=rev
Author: sjp100
Date: 2008-06-30 14:21:55 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/dp/NativeInterface.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-06-30 21:09:05
|
Revision: 893
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=893&view=rev
Author: pcorina
Date: 2008-06-30 14:09:03 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
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-06-30 21:08:56
|
Revision: 892
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=892&view=rev
Author: pcorina
Date: 2008-06-30 14:08:55 -0700 (Mon, 30 Jun 2008)
Log Message:
-----------
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.
|
