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-11-18 20:22:38
|
Revision: 1066
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1066&view=rev
Author: pcmehlitz
Date: 2008-11-18 20:22:34 +0000 (Tue, 18 Nov 2008)
Log Message:
-----------
* just for sanity reasons before people start to modify their Heuristic classes: renamed 'computePriority()' -> 'computeHeuristicValue()'
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/search/heuristic/BFSHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/ChooseFree.java
trunk/src/gov/nasa/jpf/search/heuristic/DFSHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/GlobalSwitchThread.java
trunk/src/gov/nasa/jpf/search/heuristic/Interleaving.java
trunk/src/gov/nasa/jpf/search/heuristic/MostBlocked.java
trunk/src/gov/nasa/jpf/search/heuristic/PreferThreads.java
trunk/src/gov/nasa/jpf/search/heuristic/RandomHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/SimplePriorityHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/UserHeuristic.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-18 18:39:11
|
Revision: 1065
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1065&view=rev
Author: pcmehlitz
Date: 2008-11-18 18:39:05 +0000 (Tue, 18 Nov 2008)
Log Message:
-----------
* we can't use TreeSet.pollFirst()/pollLast() because they are only in Java 1.6, which we can't switch to because it's not available for PPC. Going back to Java 1.5 remove(first()/last()) requires "compareTo(o)==0" equivalence to "equals(o) == true" for PrioritizedState [I don't know how often I get this wrong]
* also re-renamed 'priority' to 'heuristicValue', since the inverted priorities were too confusing. Lower heuristicValues mean higher priorities
* on top of that, PrioritizedState.compareTo() had a leftover debug-bug (yesterday wasn't my best day)
NOTE: even my previous commit message was wrong - of course it's (only) +search.class that has to be set. In fact, the old +search.heuristic.class is obsolete (should update default.properties)
Modified Paths:
--------------
trunk/examples/Rand.java
trunk/src/gov/nasa/jpf/search/heuristic/PrioritizedState.java
trunk/src/gov/nasa/jpf/search/heuristic/SimplePriorityHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/StaticPriorityQueue.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-18 03:29:19
|
Revision: 1064
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1064&view=rev
Author: pcmehlitz
Date: 2008-11-18 03:29:15 +0000 (Tue, 18 Nov 2008)
Log Message:
-----------
* the files missing from the previous commit reg. HeuristcSearch. No idea why Subclipse omitted them in the first run
BeamSearch is really gone for good, since it is just a parameterization of the HeuristicSearch
Added Paths:
-----------
trunk/src/gov/nasa/jpf/search/heuristic/PrioritizedState.java
trunk/src/gov/nasa/jpf/search/heuristic/SimplePriorityHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/StaticPriorityQueue.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-18 02:21:19
|
Revision: 1063
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1063&view=rev
Author: pcmehlitz
Date: 2008-11-18 02:21:14 +0000 (Tue, 18 Nov 2008)
Log Message:
-----------
* overhaul of the HeuristicSearch infrastructure. There was a combination of over-engineering (search class and separate Heuristic) and lack of flexibility (only static int priority for each state, computed at state storage time). Now there are only concrete HeuristicSearch subclasses, which can also define their own queue mechanism, which for instance can be used to compute priorities once all child states have been generated, or at state restore time. We don't make assumptions in HeuristicSearch about either the queue or the underlying concrete HeuristicState, which could also have more elaborated ways to store priorities. As a side effect, configuration has become more easy, since we only have to set +search.heuristic.class
* added parentState and childStates fields to HeuristicSearch, which can be used in subclasses to compute heuristic values depending on the parent or the complete child set
* added a SimplePriorityHeuristics base class that implements the old, static, int- based priority states, which are queued in a bounded TreeSet. Did some extensive performance comparisons with PriorityQueues and binary-sorted arrays w/ block copies, but there was no clearly superior solution that is independent of queue limit, add/remove ratio, or even processor architecture, so we use the least expensive implementation, which was the existing java.util.TreeSet
I didn't dare to fix the inverse priorities, i.e. '0' still represents the highest priority
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/search/DFSearch.java
trunk/src/gov/nasa/jpf/search/PathSearch.java
trunk/src/gov/nasa/jpf/search/RandomSearch.java
trunk/src/gov/nasa/jpf/search/Search.java
trunk/src/gov/nasa/jpf/search/Simulation.java
trunk/src/gov/nasa/jpf/search/heuristic/BFSHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/ChooseFree.java
trunk/src/gov/nasa/jpf/search/heuristic/DFSHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/GlobalSwitchThread.java
trunk/src/gov/nasa/jpf/search/heuristic/HeuristicSearch.java
trunk/src/gov/nasa/jpf/search/heuristic/HeuristicState.java
trunk/src/gov/nasa/jpf/search/heuristic/Interleaving.java
trunk/src/gov/nasa/jpf/search/heuristic/MostBlocked.java
trunk/src/gov/nasa/jpf/search/heuristic/PreferThreads.java
trunk/src/gov/nasa/jpf/search/heuristic/RandomHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/UserHeuristic.java
trunk/src/gov/nasa/jpf/tools/CGMonitor.java
trunk/test/gov/nasa/jpf/mc/TestCrossingJPF.java
trunk/test/gov/nasa/jpf/mc/TestOldClassicJPF.java
trunk/test/gov/nasa/jpf/mc/TestRandomJPF.java
Removed Paths:
-------------
trunk/src/gov/nasa/jpf/search/heuristic/BeamSearch.java
trunk/src/gov/nasa/jpf/search/heuristic/DefaultHeuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/Heuristic.java
trunk/src/gov/nasa/jpf/search/heuristic/HeuristicStateQueue.java
trunk/src/gov/nasa/jpf/search/heuristic/PathSensitiveHeuristic.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-08 03:30:59
|
Revision: 1062
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1062&view=rev
Author: pcmehlitz
Date: 2008-11-08 03:30:54 +0000 (Sat, 08 Nov 2008)
Log Message:
-----------
* fixed the broken GenericInstructionFactory init. Concrete InstructionFactory implementors now have to pass the Config argument up to their super classes. The DefaultInstructionFactory ctor initializes the factory's classloader. With this, the InstructionFactory.init(conf) becomes obsolete and gets removed. - Thanks Taehoon
Had to update the extension factory ctors with "super(Config,..)" calls, but that should not affect anything else in there.
Modified Paths:
--------------
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/ConcolicInstructionFactory.java
trunk/extensions/numeric/src/gov/nasa/jpf/numeric/NumericInstructionFactory.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
trunk/extensions/symts/src/gov/nasa/jpf/ts/TSInstructionFactory.java
trunk/extensions/symts/src/gov/nasa/jpf/ts/TSVM.java
trunk/src/gov/nasa/jpf/jvm/DefaultInstructionFactory.java
trunk/src/gov/nasa/jpf/jvm/InstructionFactory.java
trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
trunk/src/gov/nasa/jpf/util/GenericInstructionFactory.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-11-08 00:17:33
|
Revision: 1061
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1061&view=rev
Author: pcorina
Date: 2008-11-08 00:17:22 +0000 (Sat, 08 Nov 2008)
Log Message:
-----------
updated readme file to use:
+vm.insn.factory.class and
+vm.peer.packages
in the JPF config.
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-11-07 01:55:52
|
Revision: 1060
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1060&view=rev
Author: pcmehlitz
Date: 2008-11-07 01:55:48 +0000 (Fri, 07 Nov 2008)
Log Message:
-----------
sometimes less is more..
* replaced all the specialized classloader properties (jpf.listener.classpath, vm.peer.classpath, vm.insn_factory.classpath) with the one and only "jpf.native_classpath", together with Config.{sg}etCurrentClassLoader() methods that manage a Config global classloader, which is implicitly used in all the getClass()/get[Essential]Instance() methods
RATIONALE: extending the host VM classpath via JPF properties serves the purpose of enabling JPF extensions outside the JPF project, to be usable in environments where the system class.path cannot be controlled (e.g. when using JPF from an Eclipse plugin). In this case, it is most likely that there is more than one extension component involved (e.g. listener and native peer), but they are probably kept in the same jar or project. In this case, having all these dedicated classloader properties would require a lot of duplication, running the danger of inconsistencies. This is even more important because we should consistently support classpath extensions for (almost) all configured JPF classes (Search, Heuristic, SchedulerFactory, whatever), i.e. there would have been a lot more of dedicated ...classpaths. Now we just do this once during JPF init. The lost functionality of not being able to mix different components from name-clashing external extension projects seems acceptable.
A a side effect, the Config API becomes more manageable again, too. Sorry if somebody already used the new ...classpaths - typical case of premature idea
Modified Paths:
--------------
trunk/default.properties
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/DefaultInstructionFactory.java
trunk/src/gov/nasa/jpf/jvm/NativePeer.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-05 22:22:07
|
Revision: 1059
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1059&view=rev
Author: pcmehlitz
Date: 2008-11-05 21:37:28 +0000 (Wed, 05 Nov 2008)
Log Message:
-----------
* parameterized JPF.ExitException so that we can control if there should be a stacktrace printed or not. Default for exits because of ConfigExceptions is that it shouldn't print a trace, because this gets reported at the time where the config problem was detected. In general, ExitExceptions that are just non-local gotos because of already reported conditions shouldn't produce stack traces.
* added a little path conversion between Unix and Windows path lists to Config. Before we use path lists, this should always call Config.asPlatformPath(paths) to convert. This tries to handle mixed path notations, but be aware of that drive letters mess things up. If you want to use portable notations (e.g. in mode property files), use relative paths and ',' path separators. For absolute paths, you should use system properties based specs, like "${user.dir}/bla/gna.jar"
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-04 19:25:55
|
Revision: 1058
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1058&view=rev
Author: pcmehlitz
Date: 2008-11-04 19:25:52 +0000 (Tue, 04 Nov 2008)
Log Message:
-----------
* Config.getPathArray() should of course expand elements so that '${key}' parts get resolved. Expansion is another topic that needs to be streamlined in Config
* JPF now throws an ExitException if a configured listener cannot be found
* leftover Debug use in JPF removed
Modified Paths:
--------------
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-11-04 02:40:53
|
Revision: 1057
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1057&view=rev
Author: pcmehlitz
Date: 2008-11-04 02:40:45 +0000 (Tue, 04 Nov 2008)
Log Message:
-----------
* added ClassLoader support for NativePeer and InstructionFactory. Actually, NativePeer was already using a loader, only that it was missing the init. InstructionFactory also loads the bcel classes with the loader, which is questionable (but should always work because it is parented). Now we have the following (optional) new classpath properties
jpf.listener.classpath
vm.peer.classpath
vm.insn_factory.classpath
a malformed path inside those properties now throws a Config.Exception
* moved the loader instantiation into Config, since it's used from different places
* WATCH OUT: changed vm.peer_packages into vm.peer.packages. Could only find two refs in the concolic extension *.launch files, which have been updated, but people might have their own launch configs
Modified Paths:
--------------
trunk/default.properties
trunk/extensions/complexcoverage/test/ComplexCoverage DoubleTest Normal.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/DefaultInstructionFactory.java
trunk/src/gov/nasa/jpf/jvm/InstructionFactory.java
trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
trunk/src/gov/nasa/jpf/jvm/NativePeer.java
trunk/src/gov/nasa/jpf/util/GenericInstructionFactory.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-02 03:40:45
|
Revision: 1056
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1056&view=rev
Author: pcmehlitz
Date: 2008-11-02 03:40:40 +0000 (Sun, 02 Nov 2008)
Log Message:
-----------
* another forgotten String.isEmpty() that only works on Java 6 - thanks Neha
Modified Paths:
--------------
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-11-01 18:10:43
|
Revision: 1055
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1055&view=rev
Author: pcmehlitz
Date: 2008-11-01 18:10:40 +0000 (Sat, 01 Nov 2008)
Log Message:
-----------
* removed Java 6 creep-in (String.isEmpty())
Modified Paths:
--------------
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-11-01 04:07:16
|
Revision: 1054
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1054&view=rev
Author: pcmehlitz
Date: 2008-11-01 04:07:10 +0000 (Sat, 01 Nov 2008)
Log Message:
-----------
* added support for symbolic loading of listeners via optional listener classloader. If +jpf.listener.classpath is set
(beware, that's still platform dependent!), we create a URLClassLoader (parented to the defining loader for JPF) to
load/instantiate listener classes. This comes in handy in case we have listeners that are not part of JPF, but we run
in an environment where we can't set the CLASSPATH (e.g. Eclipse or NetBeans plugin, which have their own loaders).
Property, NativePeer and BytecodeFactory still need to be expanded correspondingly
* to support this, added API versions with explicit classloaders to most of the Config class/object getters.
Config is a mess now, this needs to be cleaned up
Modified Paths:
--------------
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-10-30 19:41:20
|
Revision: 1053
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1053&view=rev
Author: pcmehlitz
Date: 2008-10-30 19:41:09 +0000 (Thu, 30 Oct 2008)
Log Message:
-----------
* scripts were broken. the example doesn't belong here anyways, move it into the extension!
Modified Paths:
--------------
trunk/examples/ase2006/TestMe/inspect-TestMe
trunk/examples/ase2006/TestMe/run-TestMe
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wv...@us...> - 2008-10-28 18:51:35
|
Revision: 1052
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1052&view=rev
Author: wvisser
Date: 2008-10-28 18:51:29 +0000 (Tue, 28 Oct 2008)
Log Message:
-----------
Deadlock in real production code that happened only once during real execution.
Added Paths:
-----------
trunk/examples/DatabaseConnectionPool.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wv...@us...> - 2008-10-28 18:49:33
|
Revision: 1051
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1051&view=rev
Author: wvisser
Date: 2008-10-28 18:49:31 +0000 (Tue, 28 Oct 2008)
Log Message:
-----------
Interesting example that has termination conditions, with a fixed version that might still have termination problems!!!
Added Paths:
-----------
trunk/examples/Termination.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ta...@us...> - 2008-10-26 10:01:52
|
Revision: 1050
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1050&view=rev
Author: taehoon
Date: 2008-10-26 09:59:09 +0000 (Sun, 26 Oct 2008)
Log Message:
-----------
XPDL model checking extension
Added Paths:
-----------
trunk/extensions/XPDL/Readme
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/fujitsu/
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/fujitsu/FujitsuExample2_x2.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/fujitsu/FujitsuExample2_x2.xpdl
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/fujitsu/XPDL_DataField.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/fujitsu/XPDL_Transition13796.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/fujitsu/XPDL_Transition13800.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/paymentrequest/
trunk/extensions/XPDL/src/edu/kgu/xpdl/example/paymentrequest/Payment_Request.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_AND_Fire.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_AND_join.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_AND_split.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_Env.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_Node.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_Resource.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_Transition.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_XOR_Join.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_Xor_split.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/verification/XPDL_activity.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/xpdl2java/
trunk/extensions/XPDL/src/edu/kgu/xpdl/xpdl2java/XPDL2Java.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/xpdl2java/XPDL_Activity_Information.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/xpdl2java/XPDL_DataField.java
trunk/extensions/XPDL/src/edu/kgu/xpdl/xpdl2java/XPDL_Transition_Information.java
Removed Paths:
-------------
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.
|
|
From: <ar...@us...> - 2008-10-24 22:39:02
|
Revision: 1049
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1049&view=rev
Author: artimid
Date: 2008-10-24 22:39:00 +0000 (Fri, 24 Oct 2008)
Log Message:
-----------
updated to original version (pcd had modified it)
Modified Paths:
--------------
trunk/extensions/LTL2Buchi/src/gov/nasa/ltl/trans/Node.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-10-22 20:31:13
|
Revision: 1048
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1048&view=rev
Author: pcmehlitz
Date: 2008-10-22 20:31:10 +0000 (Wed, 22 Oct 2008)
Log Message:
-----------
* Duhh - wrong sort order of HeuristicStateQueue. Thanks to Esteban Pavese
this actually masked a bug causing inconsistent queue size + elements
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/search/heuristic/HeuristicStateQueue.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-10-22 18:41:52
|
Revision: 1047
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1047&view=rev
Author: pcmehlitz
Date: 2008-10-22 18:41:46 +0000 (Wed, 22 Oct 2008)
Log Message:
-----------
* added a few more tests for a missing 'target' property, which should be intercepted at the very beginning,
before JPF ever tries to initialize the JVM
Modified Paths:
--------------
trunk/doc/about_us.html
trunk/doc/navigation.html
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/JVM.java
trunk/test/gov/nasa/jpf/mc/TestRandom.java
trunk/test/gov/nasa/jpf/mc/TestRandomJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-10-22 00:25:40
|
Revision: 1046
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1046&view=rev
Author: pcmehlitz
Date: 2008-10-22 00:25:37 +0000 (Wed, 22 Oct 2008)
Log Message:
-----------
* added a webpage describing ways to contribute, including commit rules. Not yet live though
Added Paths:
-----------
trunk/doc/contribute.html
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-10-20 19:26:53
|
Revision: 1045
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1045&view=rev
Author: pcmehlitz
Date: 2008-10-20 19:26:50 +0000 (Mon, 20 Oct 2008)
Log Message:
-----------
* set haltonfailure attribute for the junit task in build.xml. This properly reports failed test runs,
but of course stops after the first failed one. Still better than looking for '0' error/failure columns
Modified Paths:
--------------
trunk/build.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ada...@us...> - 2008-10-20 15:09:42
|
Revision: 1044
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1044&view=rev
Author: adam_kiezun
Date: 2008-10-20 15:09:17 +0000 (Mon, 20 Oct 2008)
Log Message:
-----------
initial check in of concolic extension and jFuzz whitebox fuzzer (contributed by Adam Kiezun and David Harvison from MIT)
Modified Paths:
--------------
trunk/.classpath
Added Paths:
-----------
trunk/extensions/concolic/ReadMe.html
trunk/extensions/concolic/lib/jpaul-2.5.1.jar
trunk/extensions/concolic/lib/jpaul-license.txt
trunk/extensions/concolic/src/gov/
trunk/extensions/concolic/src/gov/nasa/
trunk/extensions/concolic/src/gov/nasa/jpf/
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/ConcolicInstructionFactory.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/BytecodeUtils.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/D2I.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/D2L.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DADD.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DCMPG.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DCMPL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DDIV.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DMUL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DNEG.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DREM.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DSUB.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/F2I.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/F2L.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FADD.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FCMPG.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FCMPL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FDIV.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FMUL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FNEG.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FREM.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FSUB.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/I2D.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/I2F.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IADD.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IAND.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IDIV.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFEQ.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFGE.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFGT.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFLE.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFLT.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFNE.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPEQ.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPGE.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPGT.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPLE.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPLT.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPNE.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IINC.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IMUL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/INEG.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/INVOKESPECIAL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/INVOKESTATIC.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/INVOKEVIRTUAL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IOR.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IREM.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/ISUB.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IXOR.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/L2D.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/L2F.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LADD.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LAND.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LCMP.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LDIV.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LMUL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LNEG.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LOR.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LREM.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LSHL.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LSHR.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LSUB.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LUSHR.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LXOR.java
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/package.html
trunk/extensions/concolic/src/gov/nasa/jpf/concolic/package.html
trunk/extensions/concolic/src/gov/nasa/jpf/util/
trunk/extensions/concolic/src/gov/nasa/jpf/util/CollectionsExt.java
trunk/extensions/concolic/src/gov/nasa/jpf/util/Command.java
trunk/extensions/concolic/src/gov/nasa/jpf/util/Files.java
trunk/extensions/concolic/src/jfuzz/
trunk/extensions/concolic/src/jfuzz/ConcolicListener.java
trunk/extensions/concolic/src/jfuzz/DebugFuzz.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/PathCache.java
trunk/extensions/concolic/src/jfuzz/SimplifyPC.java
trunk/extensions/concolic/src/jfuzz/package.html
trunk/extensions/concolic/src/jfuzz/termination/
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/
trunk/extensions/concolic/test/gov/nasa/
trunk/extensions/concolic/test/gov/nasa/jpf/
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/
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/
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/AbstractConcolicTest.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/AllTests.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/ArrayTest.java
trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/SimpleTest.java
trunk/extensions/concolic/test/jfuzz/
trunk/extensions/concolic/test/jfuzz/tests/
trunk/extensions/concolic/test/jfuzz/tests/LargePC.java
trunk/extensions/concolic/test/jfuzz/tests/MultipleVars.java
trunk/extensions/concolic/test/jfuzz/tests/MyClass3.java
trunk/extensions/concolic/test/jfuzz/tests/ReadChars.java
trunk/extensions/concolic/test/jfuzz/tests/ReadChars2.java
trunk/extensions/concolic/test/jfuzz/tests/ReadFile.java
trunk/extensions/concolic/test/jfuzz/tests/ReadLargeFile.java
trunk/extensions/concolic/test/jfuzz/tests/StringSym.java
trunk/extensions/concolic/test/jfuzz/tests/StringTest.java
trunk/extensions/concolic/test/jfuzz/tests/TwoClass.java
trunk/extensions/concolic/test/jfuzz/tests/TwoClass2.java
trunk/extensions/concolic/test/jfuzz/unitTests/
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/concolic/test/txtfiles/
trunk/extensions/concolic/test/txtfiles/2class.txt
trunk/extensions/concolic/test/txtfiles/file.txt
trunk/extensions/concolic/test/txtfiles/largepc.txt
trunk/extensions/concolic/test/txtfiles/multiVars.txt
trunk/extensions/concolic/test/txtfiles/myclass3.txt
trunk/extensions/concolic/test/txtfiles/readChars.txt
trunk/extensions/concolic/test/txtfiles/stringsym.txt
trunk/extensions/concolic/test/txtfiles/ulyss12.txt
Property Changed:
----------------
trunk/extensions/concolic/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-10-17 22:29:56
|
Revision: 1043
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1043&view=rev
Author: ubnepvpb
Date: 2008-10-17 22:29:53 +0000 (Fri, 17 Oct 2008)
Log Message:
-----------
Changes to the statechart core required changes to GUI:
-Fixed bug caused by the switch to '+sc.script=' syntax for passing a script
-dynamic sizing of the legend (cut off text on some machines)
-fixed bug which would disable the exploration buttons after tabbing back from the State Tree
-Greatly increased readability on the State Info section of the State tree
-a few other small aesthetic bugs
Modified Paths:
--------------
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-ascent-guards
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-las-defect
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-safehold
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-tli
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualDiagram.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualModel.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualResource.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualSimStateMachine.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualView.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-10-15 23:46:32
|
Revision: 1042
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1042&view=rev
Author: artimid
Date: 2008-10-15 23:46:25 +0000 (Wed, 15 Oct 2008)
Log Message:
-----------
conformance checking: advise JPF to backtrack when the counterexample is spurious
Modified Paths:
--------------
trunk/extensions/cv/src/gov/nasa/jpf/cv/SCSafetyAutomaton.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
