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-30 02:58:44
|
Revision: 941
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=941&view=rev
Author: sjp100
Date: 2008-07-30 02:58:42 +0000 (Wed, 30 Jul 2008)
Log Message:
-----------
added support for getting a solution from cvc3; cleanup from initial implementation
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: <pcm...@us...> - 2008-07-30 01:25:11
|
Revision: 940
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=940&view=rev
Author: pcmehlitz
Date: 2008-07-30 01:25:08 +0000 (Wed, 30 Jul 2008)
Log Message:
-----------
* attempt to clean up nbproject/project.xml so that the NB internal compiler doesn't do bogus complains anymore (some things were spurious)
* added a JPF.createConfig(String configName,String[] args) so that we don't need to create silly pseudo args if we just run off a config file
(this required some sanity checks in Config in case the args are null)
Modified Paths:
--------------
trunk/nbproject/project.xml
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/JPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-29 19:34:48
|
Revision: 939
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=939&view=rev
Author: pcmehlitz
Date: 2008-07-29 19:34:45 +0000 (Tue, 29 Jul 2008)
Log Message:
-----------
* moved choco-1_2_04.jar to symbc/lib, where it belongs
* updated the build paths accordingly
Modified Paths:
--------------
trunk/.classpath
Added Paths:
-----------
trunk/extensions/symbc/lib/choco-1_2_04.jar
Removed Paths:
-------------
trunk/choco-1_2_04.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-29 19:04:08
|
Revision: 938
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=938&view=rev
Author: pcorina
Date: 2008-07-29 19:04:04 +0000 (Tue, 29 Jul 2008)
Log Message:
-----------
added little hack to handle sqrt with ia solver
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: <pcm...@us...> - 2008-07-29 05:34:01
|
Revision: 937
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=937&view=rev
Author: pcmehlitz
Date: 2008-07-29 05:33:59 +0000 (Tue, 29 Jul 2008)
Log Message:
-----------
* made the log handler class configurable (+log.handler.class), to better interface to IDEs. The fallback is still
our LogHandler, but the warning should be changed
Modified Paths:
--------------
trunk/build.xml
trunk/default.properties
trunk/nbproject/project.xml
trunk/src/gov/nasa/jpf/util/LogManager.java
Property Changed:
----------------
trunk/nbproject/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-25 16:12:23
|
Revision: 936
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=936&view=rev
Author: pcmehlitz
Date: 2008-07-25 16:12:21 +0000 (Fri, 25 Jul 2008)
Log Message:
-----------
* added optional include/exclude filter for PreciseRaceDetector
* added test cases for field filters
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/tools/PreciseRaceDetector.java
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-22 06:08:59
|
Revision: 935
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=935&view=rev
Author: pcmehlitz
Date: 2008-07-22 06:08:58 +0000 (Tue, 22 Jul 2008)
Log Message:
-----------
* basic NetBeans project support. It's very incomplete since it's not dealing with
extensions yet, and the only way to run stuff is by using single-file-run actions
(which have to be folder-specific). But at least it builds, and we can specify
mode properties in a *.properties file that is associated with the single-run target
Modified Paths:
--------------
trunk/build.xml
Added Paths:
-----------
trunk/examples/oldclassic.properties
trunk/nbproject/
trunk/nbproject/genfiles.properties
trunk/nbproject/ide-file-targets.xml
trunk/nbproject/jdk.xml
trunk/nbproject/nbjdk.xml
trunk/nbproject/project.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-19 20:36:41
|
Revision: 934
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=934&view=rev
Author: pcmehlitz
Date: 2008-07-19 20:34:25 +0000 (Sat, 19 Jul 2008)
Log Message:
-----------
* ThreadInfo.getElementInfo() should be public so that listeners can use it
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-18 20:48:28
|
Revision: 933
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=933&view=rev
Author: pcmehlitz
Date: 2008-07-18 20:48:25 +0000 (Fri, 18 Jul 2008)
Log Message:
-----------
* backported the new interrupt handling from v5
that should bring trunk to par with v5 with respect to Java 1.5/6 compatibility
Modified Paths:
--------------
trunk/env/jpf/java/lang/Thread.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Object.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Thread.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_sun_misc_Unsafe.java
trunk/src/gov/nasa/jpf/jvm/DefaultSchedulerFactory.java
trunk/src/gov/nasa/jpf/jvm/ElementInfo.java
trunk/src/gov/nasa/jpf/jvm/Monitor.java
trunk/src/gov/nasa/jpf/jvm/SchedulerFactory.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/jvm/choice/ThreadChoiceFromSet.java
Added Paths:
-----------
trunk/test/gov/nasa/jpf/jvm/TestExecutorService.java
trunk/test/gov/nasa/jpf/jvm/TestExecutorServiceJPF.java
trunk/test/gov/nasa/jpf/jvm/TestInterrupt.java
trunk/test/gov/nasa/jpf/jvm/TestInterruptJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-18 18:06:49
|
Revision: 932
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=932&view=rev
Author: pcmehlitz
Date: 2008-07-18 18:06:44 +0000 (Fri, 18 Jul 2008)
Log Message:
-----------
* print "no source" statistics for transitions that end in insns outside vm.sourcepath if
show_steps and show_source are set and show_code is unset
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-18 08:04:10
|
Revision: 931
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=931&view=rev
Author: pcmehlitz
Date: 2008-07-18 08:04:04 +0000 (Fri, 18 Jul 2008)
Log Message:
-----------
* backported the nasty v5 SharedSecrets stuff to make the trunk compatible with Java 6
* moved from the old UIActionGenerator (EventGenerator) mechanism to the new
ScriptEnvironment. Not sure if we ever need the power of sequence interpreters
for UI model checking (which should always have finite event sequences), but
I don't want to support two mechanisms (EventGenerator loops were apparently broken!)
* turned the ScriptEnvironment into a generic class so that we don't need the
silly concrete CG type casts in clients anymore
* added ChoiceGenerator subsystem init(config). Required if we ever use ChoiceGenerators
outside a JVM context (like SimStateMachine, or UIInspector)
that leaves only the new interrupt handling to be backported from v5
(which is going to take more time to become operational, so trunk should be up-to-date)
Modified Paths:
--------------
trunk/env/jpf/java/lang/Class.java
trunk/env/jpf/java/lang/System.java
trunk/env/jpf/java/lang/reflect/Method.java
trunk/env/jpf/sun/misc/Unsafe.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_sun_misc_Unsafe.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCScriptEnvironment.java
trunk/extensions/ui/env/jvm/gov/nasa/jpf/jvm/JPF_java_awt_EventDispatchThread.java
trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIAction.java
trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIActionFromSet.java
trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIActionSingleChoice.java
trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
trunk/src/gov/nasa/jpf/jvm/ChoiceGenerator.java
trunk/src/gov/nasa/jpf/jvm/JVM.java
trunk/src/gov/nasa/jpf/util/Inspector.java
trunk/src/gov/nasa/jpf/util/script/ScriptEnvironment.java
Added Paths:
-----------
trunk/env/jpf/java/lang/annotation/
trunk/env/jpf/java/lang/annotation/Inherited.java
trunk/env/jpf/java/lang/annotation/Retention.java
trunk/env/jpf/sun/misc/JavaIOAccess.java
trunk/env/jpf/sun/misc/JavaIODeleteOnExitAccess.java
trunk/env/jpf/sun/misc/JavaIOFileDescriptorAccess.java
trunk/env/jpf/sun/misc/JavaLangAccess.java
trunk/env/jpf/sun/misc/JavaNetAccess.java
trunk/env/jpf/sun/misc/SharedSecrets.java
trunk/env/jpf/sun/nio/
trunk/env/jpf/sun/nio/ch/
trunk/env/jpf/sun/nio/ch/Interruptible.java
trunk/env/jpf/sun/reflect/
trunk/env/jpf/sun/reflect/ConstantPool.java
trunk/env/jpf/sun/reflect/annotation/
trunk/env/jpf/sun/reflect/annotation/AnnotationType.java
trunk/extensions/ui/src/gov/nasa/jpf/jvm/choice/ui/UIScriptEnvironment.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-17 18:09:59
|
Revision: 930
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=930&view=rev
Author: pcmehlitz
Date: 2008-07-17 18:09:49 +0000 (Thu, 17 Jul 2008)
Log Message:
-----------
another SVN commit test (inside Eclipse)
Modified Paths:
--------------
branches/v5/src/gov/nasa/jpf/Error.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-07-17 17:09:46
|
Revision: 929
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=929&view=rev
Author: pcmehlitz
Date: 2008-07-17 17:09:33 +0000 (Thu, 17 Jul 2008)
Log Message:
-----------
commit test outside Eclipse (which currently fails)
Modified Paths:
--------------
branches/v5/src/gov/nasa/jpf/Config.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-16 02:02:26
|
Revision: 928
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=928&view=rev
Author: pcorina
Date: 2008-07-15 19:02:24 -0700 (Tue, 15 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: <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.
|
|
From: <pc...@us...> - 2008-07-15 02:18:25
|
Revision: 926
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=926&view=rev
Author: pcorina
Date: 2008-07-14 19:18:24 -0700 (Mon, 14 Jul 2008)
Log Message:
-----------
started cleaning the symbolic listener not to rely on string manipulation
should serve as a model for sequence listener too
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListenerClean.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-11 23:05:03
|
Revision: 925
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=925&view=rev
Author: pcorina
Date: 2008-07-11 16:05:01 -0700 (Fri, 11 Jul 2008)
Log Message:
-----------
code that shows how to linearize the heap (for abstract state matching): buildHeapTree
needs to be generalized to arbitrary graphs
Modified Paths:
--------------
trunk/extensions/symbc/src/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: <sj...@us...> - 2008-07-11 21:31:41
|
Revision: 924
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=924&view=rev
Author: sjp100
Date: 2008-07-11 14:31:29 -0700 (Fri, 11 Jul 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.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: <pc...@us...> - 2008-07-10 22:35:07
|
Revision: 923
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=923&view=rev
Author: pcorina
Date: 2008-07-10 15:35:03 -0700 (Thu, 10 Jul 2008)
Log Message:
-----------
added more support for CVC3 dp
still a lot of work to be done
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemCVC3.java
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-07-10 00:46:58
|
Revision: 922
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=922&view=rev
Author: pcorina
Date: 2008-07-09 17:46:57 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
started a bit of clean-up for ProblemGeneral and ProblemCVC3
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemCVC3.java
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-07-10 00:38:24
|
Revision: 921
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=921&view=rev
Author: pcorina
Date: 2008-07-09 17:38:22 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
dp no longer needed for handling native lib decision procedures
Removed Paths:
-------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/dp/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-10 00:26:05
|
Revision: 920
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=920&view=rev
Author: pcorina
Date: 2008-07-09 17:26:03 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
Removed Paths:
-------------
trunk/extensions/symbc/csrc/old/libcvc3-interface.so
trunk/extensions/symbc/csrc/old/libmba.dll
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-10 00:24:51
|
Revision: 919
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=919&view=rev
Author: pcorina
Date: 2008-07-09 17:24:50 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
deleted mba
Removed Paths:
-------------
trunk/extensions/symbc/csrc/mba/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-10 00:21:39
|
Revision: 918
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=918&view=rev
Author: pcorina
Date: 2008-07-09 17:21:37 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/symbc/csrc/old/
trunk/extensions/symbc/csrc/old/Makefile
trunk/extensions/symbc/csrc/old/cvc3.c
trunk/extensions/symbc/csrc/old/gov_nasa_jpf_symbc_dp_NativeInterface.h
trunk/extensions/symbc/csrc/old/libcvc3-interface.so
trunk/extensions/symbc/csrc/old/libmba.dll
trunk/extensions/symbc/csrc/old/mba/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-09 20:37:13
|
Revision: 917
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=917&view=rev
Author: sjp100
Date: 2008-07-09 13:37:13 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
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.
|
