Menu
▾
▴
javapathfinder-svn
|
From: <tel...@us...> - 2009-06-24 05:31:46
|
Revision: 1682
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1682&view=rev
Author: telcontar
Date: 2009-06-24 05:30:45 +0000 (Wed, 24 Jun 2009)
Log Message:
-----------
* DecimalFormat.java, TestJavaTextDateFormat*: Added support for decimal formatting (most frequent case where position is 0/ignored) and test case.
Modified Paths:
--------------
trunk/env/jpf/java/text/DecimalFormat.java
trunk/test/gov/nasa/jpf/jvm/TestJavaTextDateFormat.java
trunk/test/gov/nasa/jpf/jvm/TestJavaTextDateFormatJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-06-25 19:30:22
|
Revision: 1688
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1688&view=rev
Author: pcmehlitz
Date: 2009-06-25 19:30:19 +0000 (Thu, 25 Jun 2009)
Log Message:
-----------
* hot fix for the direct call MethodInfo registration memory leak. Another example why the state matching/storage has to be more decoupled from core implementation structures. Now direct call (synthetic) methods have fixed globalIds and don't get registered - they are processed differently in stack traces anyways, so we don't want to waste memory and time on registration at all. For the state mgnt, they can't be filter-marked since there is no corresponding source, and we can't filter them per default since they might call synced methods
Thanks Nathan
* adapted access modifiers for SystemState.setBlockedInAtomicSection() and ReturnInstruction.returnFrame, so that they can be used outside jpf.jvm
Thanks Pavel
* removed the java.lang.Runtime model class, which was only there to stub the addShutdownHook(), which is now in the native peer
* temporary fix for the ResourceBundle model
Both ResourceBundle and OutputStreamWriter still need a right fix, which is up next
Modified Paths:
--------------
trunk/env/jpf/java/util/ResourceBundle.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_OutputStreamWriter.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Runtime.java
trunk/src/gov/nasa/jpf/jvm/DynamicArea.java
trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
trunk/src/gov/nasa/jpf/jvm/SystemState.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/jvm/abstraction/abstractor/CachedAbstractorConfiguration.java
trunk/src/gov/nasa/jpf/jvm/abstraction/filter/SimpleFilteringSerializer.java
trunk/src/gov/nasa/jpf/jvm/bytecode/ReturnInstruction.java
Removed Paths:
-------------
trunk/env/jpf/java/lang/Runtime.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-01 23:43:35
|
Revision: 1715
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1715&view=rev
Author: staats
Date: 2009-07-01 23:42:34 +0000 (Wed, 01 Jul 2009)
Log Message:
-----------
Fixed remote MCDC name collisions
Modified Paths:
--------------
trunk/.classpath
trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile MCDC.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic Concretize.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/SendRemoteOutput.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
Added Paths:
-----------
trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic PathConstraint.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ada...@us...> - 2009-09-30 19:22:44
|
Revision: 1917
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1917&view=rev
Author: adam_kiezun
Date: 2009-09-30 19:22:32 +0000 (Wed, 30 Sep 2009)
Log Message:
-----------
contributed by David Harvison: jFuzz caching strategies, next-file selection strategies, coverage metrics
Modified Paths:
--------------
trunk/.classpath
trunk/extensions/concolic/src/gov/nasa/jpf/util/Files.java
trunk/extensions/concolic/src/jfuzz/ConcolicListener.java
trunk/extensions/concolic/src/jfuzz/JFuzz.java
trunk/extensions/concolic/src/jfuzz/JFuzzConfig.java
trunk/extensions/concolic/src/jfuzz/JPF_jfuzz_DebugFuzz.java
trunk/extensions/concolic/src/jfuzz/termination/NeverTerminate.java
trunk/extensions/concolic/src/jfuzz/termination/TerminationStrategy.java
trunk/extensions/concolic/src/jfuzz/termination/TimedTermination.java
trunk/extensions/concolic/src/jfuzz/termination/UpToFixedNumber.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/CharMultiArrayPC.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/CharPC.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/JPF_gov_nasa_jpf_concolic_tests_TestUtils.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/MultiArgsPC.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/MultiPC.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/SimpleCharArrayPC.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/SimplePC.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/TestUtils.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/AllTests.java
trunk/extensions/concolic/test/jfuzz/unitTests/AbstractJFuzzTest.java
trunk/extensions/concolic/test/jfuzz/unitTests/AllTests.java
trunk/extensions/concolic/test/jfuzz/unitTests/ReadTest.java
trunk/extensions/concolic/test/jfuzz/unitTests/SimpleTest.java
trunk/extensions/concolic/test/jfuzz/unitTests/SimplifyPCTest.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
Added Paths:
-----------
trunk/extensions/concolic/doc/index.css
trunk/extensions/concolic/doc/jfuzz.png
trunk/extensions/concolic/doc/userdoc.html
trunk/extensions/concolic/doc/userdoc.pdf
trunk/extensions/concolic/lib/emma.jar
trunk/extensions/concolic/src/jfuzz/cache/
trunk/extensions/concolic/src/jfuzz/cache/CacheStrategy.java
trunk/extensions/concolic/src/jfuzz/cache/NameIndependentCache.java
trunk/extensions/concolic/src/jfuzz/cache/NoCache.java
trunk/extensions/concolic/src/jfuzz/cache/OneToOneMap.java
trunk/extensions/concolic/src/jfuzz/nextfile/
trunk/extensions/concolic/src/jfuzz/nextfile/Coverage.java
trunk/extensions/concolic/src/jfuzz/nextfile/Newest.java
trunk/extensions/concolic/src/jfuzz/nextfile/NextFileStrategy.java
trunk/extensions/concolic/src/jfuzz/nextfile/Oldest.java
trunk/extensions/concolic/src/jfuzz/nextfile/Random.java
trunk/extensions/concolic/src/jfuzz/util/
trunk/extensions/concolic/src/jfuzz/util/Constraints.java
trunk/extensions/concolic/src/jfuzz/util/MeasureCoverage.java
trunk/extensions/concolic/src/jfuzz/util/MeasureTiming.java
trunk/extensions/concolic/src/jfuzz/util/SimplifyPC.java
Removed Paths:
-------------
trunk/extensions/concolic/ReadMe.html
trunk/extensions/concolic/src/jfuzz/PathCache.java
trunk/extensions/concolic/src/jfuzz/SimplifyPC.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-13 20:34:53
|
Revision: 1942
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1942&view=rev
Author: staats
Date: 2010-01-13 20:34:46 +0000 (Wed, 13 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/.classpath
trunk/extensions/complexcoverage/launch/CompCov ASW Symbolic.launch
trunk/extensions/complexcoverage/launch/CompCov BinTree Symbolic.launch
trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile SendOutput.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-29 07:51:06
|
Revision: 2013
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2013&view=rev
Author: staats
Date: 2010-01-29 07:51:00 +0000 (Fri, 29 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/.classpath
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
trunk/src/gov/nasa/jpf/report/Reporter.java
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/test-gen-configs/wbs-partition-config-64.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/wbs-random-config-64.txt
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WBS_instrumented.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X