javapathfinder-svn

[Javapathfinder-svn] SF.net SVN: javapathfinder:[979] trunk/extensions

[<pc...@us...>]

Revision: 979
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=979&view=rev
Author:   pcorina
Date:     2008-08-26 17:57:32 +0000 (Tue, 26 Aug 2008)

Log Message:
-----------
added extension complexcoverage for work done in collaboration with u. of minnesota (generate test cases and measure coverage for complex test criteria)

Added Paths:
-----------
    trunk/extensions/complexcoverage/
    trunk/extensions/complexcoverage/build.xml
    trunk/extensions/complexcoverage/doc/
    trunk/extensions/complexcoverage/examples/
    trunk/extensions/complexcoverage/lib/
    trunk/extensions/complexcoverage/src/
    trunk/extensions/complexcoverage/test/


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1033] trunk/extensions

[<pc...@us...>]

Revision: 1033
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1033&view=rev
Author:   pcorina
Date:     2008-10-14 18:44:32 +0000 (Tue, 14 Oct 2008)

Log Message:
-----------
added place-holder for concolic extension and fuzzer

Added Paths:
-----------
    trunk/extensions/concolic/
    trunk/extensions/concolic/build.xml
    trunk/extensions/concolic/doc/
    trunk/extensions/concolic/examples/
    trunk/extensions/concolic/lib/
    trunk/extensions/concolic/src/
    trunk/extensions/concolic/test/


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1035] trunk/extensions

[<Ta...@us...>]

Revision: 1035
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1035&view=rev
Author:   Taehoon
Date:     2008-10-15 05:55:57 +0000 (Wed, 15 Oct 2008)

Log Message:
-----------
Initial codes for XPDL model checking. 
A detailed description and examples would be committed within a week.

Added Paths:
-----------
    trunk/extensions/XPDL/
    trunk/extensions/XPDL/src/
    trunk/extensions/XPDL/src/edu/
    trunk/extensions/XPDL/src/edu/kgu/
    trunk/extensions/XPDL/src/edu/kgu/xpdl/
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_AND_Fire.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_AND_join.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_AND_split.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Env.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Node.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Resource.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Transition.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_XOR_Join.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Xor_split.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_activity.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1102] trunk/extensions

[<ta...@us...>]

Revision: 1102
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1102&view=rev
Author:   taehoon
Date:     2008-12-05 07:38:27 +0000 (Fri, 05 Dec 2008)

Log Message:
-----------
for clean up extension structure, 
* deleted servlet , XPDL extension 
* added Web_Application/doc 
* classes in servlet , XPDL will be placed in Web_Application/src

Web_Application extension is to verify Web based technology such as Servlet, JDBC, SOAP(AXIS), BPEL, XPDL,...

it does not contain source code. as soon as possible, I will commit the executable code and detailed document.

Modified Paths:
--------------
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/verification/XPDL_Node.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/verification/XPDL_Resource.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/verification/XPDL_activity.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/xpdl2java/XPDL2Java.java

Added Paths:
-----------
    trunk/extensions/Web_Application/
    trunk/extensions/Web_Application/doc/
    trunk/extensions/Web_Application/doc/index.html
    trunk/extensions/Web_Application/doc/pic1.jpg
    trunk/extensions/Web_Application/src/BusinessProcess/
    trunk/extensions/Web_Application/src/BusinessProcess/edu/
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/example/
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/verification/
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/xpdl2java/

Removed Paths:
-------------
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_AND_Fire.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_AND_join.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_AND_split.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Env.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Node.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Resource.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Transition.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_XOR_Join.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_Xor_split.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/XPDL_activity.java
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/example/fujitsu/
    trunk/extensions/Web_Application/src/BusinessProcess/edu/kgu/xpdl/example/paymentrequest/
    trunk/extensions/Web_Application/src/edu/
    trunk/extensions/XPDL/
    trunk/extensions/servlet/


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1165] trunk/extensions

[<ne...@us...>]

Revision: 1165
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1165&view=rev
Author:   nehas
Date:     2009-02-05 18:34:12 +0000 (Thu, 05 Feb 2009)

Log Message:
-----------
Setup for adding the guided symbolic execution framework

Added Paths:
-----------
    trunk/extensions/guidedsymbolic/
    trunk/extensions/guidedsymbolic/ReadMe.txt
    trunk/extensions/guidedsymbolic/examples/
    trunk/extensions/guidedsymbolic/src/


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1272] trunk/extensions

[<pcm...@us...>]

Revision: 1272
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1272&view=rev
Author:   pcmehlitz
Date:     2009-03-11 22:37:19 +0000 (Wed, 11 Mar 2009)

Log Message:
-----------
* java.util.concurrent modeling by Mateusz Ujma. 

Still needs some documentation and explicit AbstractQueuedSynchronizer use isn't fully supported yet, but passes a lot of high level tests. The goal of this extension is to significantly reduce the state space and processing overhead that is caused by the standard library implementation, which also opens a can of worms by relying on sun.misc.Unsafe 

Added Paths:
-----------
    trunk/extensions/concurrent/
    trunk/extensions/concurrent/build.xml
    trunk/extensions/concurrent/env/
    trunk/extensions/concurrent/env/jpf/
    trunk/extensions/concurrent/env/jpf/java/
    trunk/extensions/concurrent/env/jpf/java/util/
    trunk/extensions/concurrent/env/jpf/java/util/concurrent/
    trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/
    trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/AbstractQueuedSynchronizer.java
    trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/ReentrantLock.java
    trunk/extensions/concurrent/env/jvm/
    trunk/extensions/concurrent/env/jvm/gov/
    trunk/extensions/concurrent/env/jvm/gov/nasa/
    trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/
    trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/
    trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_locks_AbstractQueuedSynchronizer$ConditionObject.java
    trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_locks_ReentrantLock.java
    trunk/extensions/concurrent/src/
    trunk/extensions/concurrent/src/gov/
    trunk/extensions/concurrent/src/gov/nasa/
    trunk/extensions/concurrent/src/gov/nasa/jpf/
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/ConcurrentBase.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Condition.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/ConditionVersion.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Sync.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/SyncVersion.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Version.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/VersionManager.java
    trunk/extensions/concurrent/test/
    trunk/extensions/concurrent/test/gov/
    trunk/extensions/concurrent/test/gov/nasa/
    trunk/extensions/concurrent/test/gov/nasa/jpf/
    trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/
    trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/ReentrantLockPerformanceTest.java
    trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/TestJavaUtilConcurrentLocksReentrantLock.java
    trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/TestJavaUtilConcurrentLocksReentrantLockJPF.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1273] trunk/extensions

[<pcm...@us...>]

Revision: 1273
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1273&view=rev
Author:   pcmehlitz
Date:     2009-03-12 01:00:44 +0000 (Thu, 12 Mar 2009)

Log Message:
-----------
* added the net-iocache extension from Cyrille Artho and Watcharin Leungwattanakit of University of Tokyo, to model check client/server applications using java.net APIs (this will have a separate announcement on the mailing list) 

Added Paths:
-----------
    trunk/extensions/net-iocache/
    trunk/extensions/net-iocache/Readme.txt
    trunk/extensions/net-iocache/bin/
    trunk/extensions/net-iocache/bin/alphabet-client-1.sh
    trunk/extensions/net-iocache/bin/alphabet-client-2.sh
    trunk/extensions/net-iocache/bin/alphabet-client-3.sh
    trunk/extensions/net-iocache/bin/alphabet-client-4.sh
    trunk/extensions/net-iocache/bin/alphabet-client-5.sh
    trunk/extensions/net-iocache/bin/alphabet-client-mc.sh
    trunk/extensions/net-iocache/bin/alphabet-client-nd-mc.sh
    trunk/extensions/net-iocache/bin/alphabet-server-client-nd.sh
    trunk/extensions/net-iocache/bin/alphabet-server-client.sh
    trunk/extensions/net-iocache/bin/alphabet-server-mc.sh
    trunk/extensions/net-iocache/bin/alphabet-server-nd-mc.sh
    trunk/extensions/net-iocache/bin/chat-client-mc.sh
    trunk/extensions/net-iocache/bin/chat-client.sh
    trunk/extensions/net-iocache/bin/chat-server-client.sh
    trunk/extensions/net-iocache/bin/chat-server-mc.sh
    trunk/extensions/net-iocache/bin/chkerr.sh
    trunk/extensions/net-iocache/bin/daytime-client-mc.sh
    trunk/extensions/net-iocache/bin/daytime-server-client.sh
    trunk/extensions/net-iocache/bin/env.sh
    trunk/extensions/net-iocache/bin/http-client-mc.sh
    trunk/extensions/net-iocache/bin/http-client.sh
    trunk/extensions/net-iocache/bin/http-server-client.sh
    trunk/extensions/net-iocache/bin/http-server-mc.sh
    trunk/extensions/net-iocache/bin/testall.sh
    trunk/extensions/net-iocache/build.xml
    trunk/extensions/net-iocache/env/
    trunk/extensions/net-iocache/env/jpf/
    trunk/extensions/net-iocache/env/jpf/gov/
    trunk/extensions/net-iocache/env/jpf/gov/nasa/
    trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/
    trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/
    trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/cache/
    trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/cache/CacheLayerInputStream.java
    trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/cache/CacheLayerOutputStream.java
    trunk/extensions/net-iocache/env/jpf/java/
    trunk/extensions/net-iocache/env/jpf/java/net/
    trunk/extensions/net-iocache/env/jpf/java/net/InetAddress.java
    trunk/extensions/net-iocache/env/jpf/java/net/InetSocketAddress.java
    trunk/extensions/net-iocache/env/jpf/java/net/ServerSocket.java
    trunk/extensions/net-iocache/env/jpf/java/net/Socket.java
    trunk/extensions/net-iocache/env/jpf/java/net/URLDecoder.java
    trunk/extensions/net-iocache/env/jvm/
    trunk/extensions/net-iocache/env/jvm/gov/
    trunk/extensions/net-iocache/env/jvm/gov/nasa/
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_ServerSocket.java
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_Socket.java
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/network/
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/network/cache/
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/network/cache/JPF_gov_nasa_jpf_network_cache_CacheLayerInputStream.java
    trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/network/cache/JPF_gov_nasa_jpf_network_cache_CacheLayerOutputStream.java
    trunk/extensions/net-iocache/examples/
    trunk/extensions/net-iocache/examples/gov/
    trunk/extensions/net-iocache/examples/gov/nasa/
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/AlphabetClient.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/AlphabetServer.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/AlphabetServerTest.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/Consumer.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/NDAlphabetClient.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/NDAlphabetServer.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/Producer.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatClient.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatClientRunner.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatServer.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatServerForTest.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/CoupledLoopBackSocket.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/LoopBackSocket.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/Worker.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/daytime/
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/daytime/DaytimeClient.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/daytime/DaytimeServer.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/http/
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/http/HTTPClient.java
    trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/http/HTTPServer.java
    trunk/extensions/net-iocache/lib/
    trunk/extensions/net-iocache/lib/webdavlib-2.0.jar
    trunk/extensions/net-iocache/lib/xercesImpl.jar
    trunk/extensions/net-iocache/src/
    trunk/extensions/net-iocache/src/gov/
    trunk/extensions/net-iocache/src/gov/nasa/
    trunk/extensions/net-iocache/src/gov/nasa/jpf/
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/CacheLayer.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/Event.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/Milestone.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/PhysicalConnection.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/RRTree.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/ReadyEvent.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/RequestByte.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/RequestEvent.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/ResponseByte.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/ResponseEvent.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/SocketTreeTable.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/CacheNotifier.java
    trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/SearchTreeMonitor.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1465] trunk/extensions

[<ubn...@us...>]

Revision: 1465
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1465&view=rev
Author:   ubnepvpb
Date:     2009-04-29 23:09:29 +0000 (Wed, 29 Apr 2009)

Log Message:
-----------
Change SymbolicReal constructors and complexcoverage's Debug.getSymbolicReal to take doubles for min/max instead of ints.

Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicReal.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1600] trunk/extensions

[<st...@us...>]

Revision: 1600
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1600&view=rev
Author:   staats
Date:     2009-06-06 04:23:24 +0000 (Sat, 06 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/TrimAndReorderSymbolicSearch.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneral.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsHAMPI.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsJSA.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1695] trunk/extensions

[<ppa...@us...>]

Revision: 1695
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1695&view=rev
Author:   pparizek
Date:     2009-06-26 07:16:19 +0000 (Fri, 26 Jun 2009)

Log Message:
-----------
initial import of the RTEmbed extension

Added Paths:
-----------
    trunk/extensions/rtembed/
    trunk/extensions/rtembed/Readme
    trunk/extensions/rtembed/build.xml
    trunk/extensions/rtembed/env/
    trunk/extensions/rtembed/env/jpf/
    trunk/extensions/rtembed/env/jpf/javax/
    trunk/extensions/rtembed/env/jpf/javax/realtime/
    trunk/extensions/rtembed/env/jpf/javax/realtime/AbsoluteTime.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/AsyncEventHandler.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/Clock.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/HeapMemory.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/HighResolutionTime.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/ImmortalMemory.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/LTMemory.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/MemoryArea.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/MemoryParameters.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/NoHeapRealtimeThread.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/PeriodicParameters.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/PriorityParameters.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/ProcessingGroupParameters.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/RealtimeThread.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/RelativeTime.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/ReleaseParameters.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/SchedulingParameters.java
    trunk/extensions/rtembed/env/jpf/javax/realtime/ScopedMemory.java
    trunk/extensions/rtembed/env/jvm/
    trunk/extensions/rtembed/env/jvm/gov/
    trunk/extensions/rtembed/env/jvm/gov/nasa/
    trunk/extensions/rtembed/env/jvm/gov/nasa/jpf/
    trunk/extensions/rtembed/env/jvm/gov/nasa/jpf/rtembed/
    trunk/extensions/rtembed/env/jvm/gov/nasa/jpf/rtembed/JPF_javax_realtime_MemoryArea.java
    trunk/extensions/rtembed/env/jvm/gov/nasa/jpf/rtembed/JPF_javax_realtime_RealtimeThread.java
    trunk/extensions/rtembed/src/
    trunk/extensions/rtembed/src/gov/
    trunk/extensions/rtembed/src/gov/nasa/
    trunk/extensions/rtembed/src/gov/nasa/jpf/
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/memory/
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/memory/MemoryAreaInfo.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/memory/MemoryAreasChecker.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/memory/RealtimeThreadInfo.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/PlatformSpecificInstructionFactory.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/PlatformSpecificSchedulerFactory.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/ThreadChoiceWithFixedProcessorCount.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/ARETURN.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/ATHROW.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/DRETURN.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/FRETURN.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/GOTO.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/GOTO_W.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IFEQ.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IFGE.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IFGT.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IFLE.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IFLT.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IFNE.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IFNONNULL.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IFNULL.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IF_ACMPEQ.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IF_ACMPNE.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IF_ICMPEQ.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IF_ICMPGE.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IF_ICMPGT.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IF_ICMPLE.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IF_ICMPLT.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IF_ICMPNE.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/INVOKEINTERFACE.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/INVOKESPECIAL.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/INVOKESTATIC.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/INVOKEVIRTUAL.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IRETURN.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/IfInstructionAsYieldPoint.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/JSR.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/JSR_W.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/LRETURN.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/restrictpar/bytecode/RETURN.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/utils/
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/utils/StateSpaceTraversalMon.java
    trunk/extensions/rtembed/src/gov/nasa/jpf/rtembed/utils/TimeConstrainedJPF.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1945] trunk/extensions

[<st...@us...>]

Revision: 1945
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1945&view=rev
Author:   staats
Date:     2010-01-17 00:46:45 +0000 (Sun, 17 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathConstraintHeuristic.java-needsJava6JDK
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.