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: <pcm...@us...> - 2008-09-18 11:08:08
|
Revision: 1016
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1016&view=rev
Author: pcmehlitz
Date: 2008-09-18 18:08:05 +0000 (Thu, 18 Sep 2008)
Log Message:
-----------
* added Throwable printStackTrace(PrintWriter/PrintStream) support plus a simple reg. test
(required for running systems that store traces, like JUnit)
Modified Paths:
--------------
trunk/env/jpf/java/lang/Throwable.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Throwable.java
trunk/test/gov/nasa/jpf/jvm/TestException.java
trunk/test/gov/nasa/jpf/jvm/TestExceptionJPF.java
Added Paths:
-----------
trunk/app/gov/nasa/jpf/NonShared.java
Removed Paths:
-------------
trunk/app/gov/nasa/jpf/NonShared.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-09-17 11:55:26
|
Revision: 1015
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1015&view=rev
Author: pcmehlitz
Date: 2008-09-17 18:55:23 +0000 (Wed, 17 Sep 2008)
Log Message:
-----------
* fixed autoload init bug
* added little NonNullChecker listener tool
* added TestNonNull example
so far, only @Const and @NonNull are in default.properties. Now we should populate this with more, and add
regression tests
the gov.nasa.jpf.tools should be probably moved to allow for automatic lookup, but that would break a lot
of existing Eclipse launch configs and mode property files
another thought is to put some of the app stuff into default package, so that apps using them really don't
have to have any JPF reference
Modified Paths:
--------------
trunk/app/gov/nasa/jpf/Const.java
trunk/default.properties
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/src/gov/nasa/jpf/tools/ConstChecker.java
Added Paths:
-----------
trunk/src/gov/nasa/jpf/tools/NonNullChecker.java
trunk/test/gov/nasa/jpf/test/TestNonNull.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-09-16 22:43:55
|
Revision: 1014
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1014&view=rev
Author: pcmehlitz
Date: 2008-09-17 05:43:53 +0000 (Wed, 17 Sep 2008)
Log Message:
-----------
* the beginnings of an annotation based listener autoloading mechanism. The idea is to have a configured
list of annotation to listener class name mappings, and to check upon class load time if a class, field
or method has an autoload listener annotation. If so, the coresponding listener gets automatically
instantiated and registered. If this fails, the annotation is removed from the autoload set (to prevent
having gazillions of failed load attempts).
If an annotation is in the list, but does not have an explicit listener class property, JPF tries
the annotation class name with appended "Checker".
this is mostly aimed at loads of small, dedicated standard listeners like @Const, @NonNull etc., which
would cause rather long jpf.listener lists. We don't want to create hodgepodge listeners just to
keep jpf.listeners small
Modified Paths:
--------------
trunk/default.properties
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/src/gov/nasa/jpf/search/Search.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-09-16 11:58:14
|
Revision: 1013
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1013&view=rev
Author: sjp100
Date: 2008-09-16 18:58:11 +0000 (Tue, 16 Sep 2008)
Log Message:
-----------
cleaned up. also added check to determine if "this" has the same type as the field being read to properly set up symbolic heap structure.
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: <sj...@us...> - 2008-09-16 11:53:31
|
Revision: 1012
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1012&view=rev
Author: sjp100
Date: 2008-09-16 18:53:28 +0000 (Tue, 16 Sep 2008)
Log Message:
-----------
refactored isMethodSymbolic and isClassSymbolic to have a Config object as argument instead of ThreadInfo to (partially) address issue in propertyViolated() noticed by Corina.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/HeapSymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListenerClean.java
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: <sj...@us...> - 2008-09-16 09:16:34
|
Revision: 1011
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1011&view=rev
Author: sjp100
Date: 2008-09-16 16:16:15 +0000 (Tue, 16 Sep 2008)
Log Message:
-----------
applied same fix as in symbolicListener to handle the case where no debug information exists to use in symbolic names; modified the symbolic heap naming slightly to be more generic
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/HeapSymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-09-15 16:00:49
|
Revision: 1010
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1010&view=rev
Author: artimid
Date: 2008-09-15 23:00:46 +0000 (Mon, 15 Sep 2008)
Log Message:
-----------
Added access to main arguments through method getArg.
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-09-15 15:39:01
|
Revision: 1009
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1009&view=rev
Author: artimid
Date: 2008-09-15 22:38:54 +0000 (Mon, 15 Sep 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-09-15 15:38:07
|
Revision: 1008
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1008&view=rev
Author: artimid
Date: 2008-09-15 22:38:03 +0000 (Mon, 15 Sep 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-09-13 02:40:17
|
Revision: 1007
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1007&view=rev
Author: pcmehlitz
Date: 2008-09-13 02:40:15 +0000 (Sat, 13 Sep 2008)
Log Message:
-----------
* changed run scripts so that $CLASSPATH is inserted *before* jpf elements, otherwise you can't override
* extended the OutOfMemory handling in JPF.run a little, using a safety margin object that gets released
before some Runtime.gc() calls, to give the VM something to complete JPF reporting
* checked for non-public peer classes in NativePeer.locatePeerCls(), since we otherwise just get
IllegalAccessExceptions that are passed down into the app, which might just catch it silently. Also
added a log warning in case a non-public peer class is skipped, and added log records for
executeMethod() exceptions that are passed down
* sure enough, the ConsoleOutputStream peer wasn't public (but just called within package)
* added a PublisherExtensionAdapter so that it's more easy to create separate PublisherExtension objects,
which is required if we want to use existing Listeners with new Publishers (e.g. for IDEs). In this case,
first the listener is created, then the PublisherExtension with that listener object as parameter, and
then both are registered with JPF
* after much consideration, added a minimal budget management solution in form of the BudgetChecker listener.
It's far from ideal because there is way too much redundancy with Statistics mgnt (which has to be streamlined!),
and there is considerable confusion between "search constraints" (which do *not* terminate the search but only
prune the tree), "budget constraints" (which do terminate, but are optional), and out-of-memory exceptions
(which also terminate, but are our mandatory last line of defense).
Better integration has to wait until v5, since it requires some sort of JPF Result object, encapsulating the
four possible outcomes of a JPF run:
- proper termination (possibly with constraints)
- property violation (error detected)
- budget threshold termination
- JPF exception (incl. out-of-memory)
What also becomes clear is that we really have to reduce the instruction logging (Step) cost, since this is
in most cases the budget limiter
Modified Paths:
--------------
trunk/bin/javajpf
trunk/bin/jpf
trunk/bin/jpf.bat
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_ConsoleOutputStream.java
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/NativePeer.java
trunk/src/gov/nasa/jpf/report/Publisher.java
trunk/src/gov/nasa/jpf/report/Reporter.java
Added Paths:
-----------
trunk/src/gov/nasa/jpf/report/PublisherExtensionAdapter.java
trunk/src/gov/nasa/jpf/tools/BudgetChecker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-09-10 18:31:21
|
Revision: 1006
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1006&view=rev
Author: pcmehlitz
Date: 2008-09-10 18:31:19 +0000 (Wed, 10 Sep 2008)
Log Message:
-----------
* getAnnotations() always returns an array - if there are no annotations for a class/method/field,
a global empty array is returned. We init this lazily ince not too many programs use it
Modified Paths:
--------------
trunk/env/jpf/java/lang/Class.java
trunk/env/jpf/java/lang/System.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Field.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Method.java
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/AnnotationInfo.java
trunk/src/gov/nasa/jpf/jvm/JVM.java
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
trunk/src/gov/nasa/jpf/report/Statistics.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-09-08 07:21:36
|
Revision: 1005
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1005&view=rev
Author: pcmehlitz
Date: 2008-09-08 07:21:34 +0000 (Mon, 08 Sep 2008)
Log Message:
-----------
* forgot the target attribute for the links
Modified Paths:
--------------
trunk/doc/home.html
trunk/doc/news.html
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-09-08 05:33:31
|
Revision: 1004
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1004&view=rev
Author: pcmehlitz
Date: 2008-09-08 05:33:29 +0000 (Mon, 08 Sep 2008)
Log Message:
-----------
* added news about VJP release
Modified Paths:
--------------
trunk/doc/home.html
trunk/doc/news.html
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-09-06 01:58:44
|
Revision: 1003
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1003&view=rev
Author: pcmehlitz
Date: 2008-09-06 01:58:42 +0000 (Sat, 06 Sep 2008)
Log Message:
-----------
* missing class object and clinit execution for Method and Constructor reflection
(getReturnType() and getParameterTypes()). The latter one was delegating to
MJIEnv, using a ClinitRequired exception, which was lame - wherever the caller
can detect the need for re-exec of a known insn or native method, it should do so w/o
reverting to control flow exceptions. Consequently removed the MJIEnv.getParameterTypeArray(),
but left the ClinitRequired exception type in there, in case this happens from a location
where we don't know how to repeat
* refactored Consructor/Method native peers a bit to avoid code duplication (beware - we use
different registries for ctors and methods)
* added some test cases for this to TestMethodReflection
this should solve Taehoon's problem
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Constructor.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Method.java
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
trunk/test/gov/nasa/jpf/jvm/TestJavaLangString.java
trunk/test/gov/nasa/jpf/jvm/TestMethodReflection.java
trunk/test/gov/nasa/jpf/jvm/TestMethodReflectionJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-09-03 19:24:51
|
Revision: 1002
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1002&view=rev
Author: pcorina
Date: 2008-09-03 19:24:44 +0000 (Wed, 03 Sep 2008)
Log Message:
-----------
fixed error in propertyViolated (the whole listener needs cleaning)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-09-03 16:15:53
|
Revision: 1001
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1001&view=rev
Author: pcmehlitz
Date: 2008-09-03 16:15:44 +0000 (Wed, 03 Sep 2008)
Log Message:
-----------
* Taehoon's String.split and "java.version" patch
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_String.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_System.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-09-02 21:41:00
|
Revision: 1000
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1000&view=rev
Author: sjp100
Date: 2008-09-02 21:40:54 +0000 (Tue, 02 Sep 2008)
Log Message:
-----------
added support for when the program is not compiled with debug info (the name given to each argument is dependent on its type and a unique index if the argument names are not available)
finished cleaning up the dead heapPC code
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
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: <sj...@us...> - 2008-09-02 17:48:23
|
Revision: 999
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=999&view=rev
Author: sjp100
Date: 2008-09-02 17:48:17 +0000 (Tue, 02 Sep 2008)
Log Message:
-----------
initial test version for the GETSTATIC bytecode
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeGetStatic.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-09-02 17:13:28
|
Revision: 998
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=998&view=rev
Author: sjp100
Date: 2008-09-02 17:13:23 +0000 (Tue, 02 Sep 2008)
Log Message:
-----------
start of implementation
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ta...@us...> - 2008-09-02 12:24:10
|
Revision: 997
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=997&view=rev
Author: taehoon
Date: 2008-09-02 12:24:05 +0000 (Tue, 02 Sep 2008)
Log Message:
-----------
*Tomcat on JPF
added some stub(or MJI) classes
Added Paths:
-----------
trunk/extensions/servlet/env/
trunk/extensions/servlet/env/jpf/
trunk/extensions/servlet/env/jpf/java/
trunk/extensions/servlet/env/jpf/java/io/
trunk/extensions/servlet/env/jpf/java/io/File.java
trunk/extensions/servlet/env/jpf/java/io/FileDescriptor.java
trunk/extensions/servlet/env/jpf/java/io/InputStreamReader.java
trunk/extensions/servlet/env/jpf/java/lang/
trunk/extensions/servlet/env/jpf/java/lang/StringStub.java
trunk/extensions/servlet/env/jpf/java/net/
trunk/extensions/servlet/env/jpf/java/net/RandomSocket.java
trunk/extensions/servlet/env/jpf/java/net/ServerSocket.java
trunk/extensions/servlet/env/jpf/java/net/Socket.java
trunk/extensions/servlet/env/jpf/org/
trunk/extensions/servlet/env/jpf/org/apache/
trunk/extensions/servlet/env/jpf/org/apache/juli/
trunk/extensions/servlet/env/jpf/org/apache/juli/logging/
trunk/extensions/servlet/env/jpf/org/apache/juli/logging/LogFactory.java
trunk/extensions/servlet/env/jpf/org/apache/juli/logging/Log_JPF.java
trunk/extensions/servlet/env/jvm/
trunk/extensions/servlet/env/jvm/gov/
trunk/extensions/servlet/env/jvm/gov/nasa/
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_File.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_StringCoding.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_InetAddress.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_InetAddressImplFactory.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_nio_charset_Charset.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_ResourceBundle.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_logging_Logger.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_regex_Pattern.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_zip_ZipFile.java
trunk/extensions/servlet/env/jvm/gov/nasa/jpf/jvm/JPF_org_xml_sax_XMLReader.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2008-09-02 05:48:16
|
Revision: 996
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=996&view=rev
Author: staats
Date: 2008-09-02 05:48:13 +0000 (Tue, 02 Sep 2008)
Log Message:
-----------
Fixed native peer naming in complexcoverage
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/GenericTestSuiteListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDC.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDC.java
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Measure Reduced.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced Test #0.launch
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_crisys_jpf_Debug.java
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun2 Symbolic.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun2.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2008-09-02 05:25:38
|
Revision: 995
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=995&view=rev
Author: staats
Date: 2008-09-02 05:25:34 +0000 (Tue, 02 Sep 2008)
Log Message:
-----------
Initial check-in of ComplexCoverage extension
Modified Paths:
--------------
trunk/.classpath
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/
trunk/extensions/complexcoverage/src/gov/nasa/
trunk/extensions/complexcoverage/src/gov/nasa/jpf/
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/GenericTestSuiteListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_crisys_jpf_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestCase.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuite.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/SymbolicChoiceGenerator.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/TaggedBooleanChoiceGenerator.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/TaggedIntChoiceGenerator.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MCDCCoveragePrinter.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDC.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDCListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDC.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDCListener.java
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Measure Reduced.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun2 Symbolic.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun2.launch
trunk/extensions/complexcoverage/test/gov/
trunk/extensions/complexcoverage/test/gov/nasa/
trunk/extensions/complexcoverage/test/gov/nasa/jpf/
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Docking.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/SimpleExampleWDebug.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile2.java
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/test.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-30 20:10:27
|
Revision: 994
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=994&view=rev
Author: pcorina
Date: 2008-08-30 20:10:24 +0000 (Sat, 30 Aug 2008)
Log Message:
-----------
updated readme to mention -g option.
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-30 02:09:16
|
Revision: 993
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=993&view=rev
Author: pcmehlitz
Date: 2008-08-30 02:09:13 +0000 (Sat, 30 Aug 2008)
Log Message:
-----------
* fixed build.xml compile-extension-examples misspeller - thanks Darko
* removed some more erased ChoiceGenerator type refs, which unveiled two (trivial) symbc/DCMPx compiler errors
* added Annotation.annotationType() to the AnnotationProxyBase. This again showed a missing annotation class
object. Ad hoc fixed the init in ClassInfo.getAnnotationProxy(), but this is a general problem - maybe we
should just set the class objects for non-clinit classes from their ctors
* added Class.getConstructors()
* modified JPF_java_lang_System to use the ClassInfo.buildPath for setting the java.class.path (if it's
not overridden with vm.system.properties), otherwise we get inconsistent if anybody ever uses it
* started on the budget control via java.lang.management, but it's not functional yet
Modified Paths:
--------------
trunk/build.xml
trunk/env/jpf/gov/nasa/jpf/AnnotationProxyBase.java
trunk/env/jpf/java/lang/Class.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_AnnotationProxyBase.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_System.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPL.java
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/src/gov/nasa/jpf/jvm/SystemState.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/test/gov/nasa/jpf/jvm/TestAttrs.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-29 17:52:43
|
Revision: 992
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=992&view=rev
Author: pcorina
Date: 2008-08-29 17:52:40 +0000 (Fri, 29 Aug 2008)
Log Message:
-----------
set DEFAULT_EXCLUDES to empty: this should take care of the boxing/unboxing errors.
Thank you Darko, Peter for this fix.
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.
|
