Menu
▾
▴
javapathfinder-svn
|
From: <pcm...@us...> - 2008-08-27 21:49:35
|
Revision: 985
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=985&view=rev
Author: pcmehlitz
Date: 2008-08-27 21:49:31 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
* added +sc.max_steps handling to NativeStateMachine and SimStateMachine, to set optional constraint on the depth of
processed events (== getEnablingEvent calls). This is NOT a search constraint, i.e. for JPF it's a normal program termination condition
The SimStateMachine and NativeStateMachine step counts during logging are different (NativeStateMachine calls it
"event depth"), because the latter one also shows backtracks, which of course show program state ids
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
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: <pcm...@us...> - 2009-01-31 04:52:14
|
Revision: 1156
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1156&view=rev
Author: pcmehlitz
Date: 2009-01-31 04:52:08 +0000 (Sat, 31 Jan 2009)
Log Message:
-----------
* slightly modified logging to show pending events for parent states, and priorities for active state and even send logging. This is a debugging aid to verify the createCGFromPendingEvents() policy
* added two examples PrioritySend and PrioritySendRegions (both get kicked off by the PrioritySend.es script)
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
Added Paths:
-----------
trunk/extensions/statechart/examples/PrioritySend.es
trunk/extensions/statechart/examples/PrioritySend.java
trunk/extensions/statechart/examples/PrioritySendRegions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-02-02 22:41:29
|
Revision: 1158
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1158&view=rev
Author: pcmehlitz
Date: 2009-02-02 22:41:24 +0000 (Mon, 02 Feb 2009)
Log Message:
-----------
* the next last sent event processing policy - a choice set containing all events of all active state hierarchies with the same global top priority. To tell all the policies apart, the 'sc.priority_base' values have changed again:
'local' - each highest priority event in each active state hierarchy
'top' - all events of all active state hierarchies with the same top priority (the above case)
'total' - only the first global top priority event (from the first active state that has such a priority)
The last case is a total order, and hence doesn't have real choices. Using this mode makes the state machine procedural
* don't update 'activeStates' during a step, and added a getActiveStates() getter. This can be used to query the active states set at any time during a step, BUT BE AWARE of that some active states might already have been processed when you call this method.
This required a little rename in CH's statechart visualization, which might have required this in the first place (check!)
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
trunk/extensions/statechart/examples/PrioritySendRegions.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualModel.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualSimStateMachine.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-02-03 02:18:36
|
Revision: 1159
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1159&view=rev
Author: pcmehlitz
Date: 2009-02-03 02:18:32 +0000 (Tue, 03 Feb 2009)
Log Message:
-----------
* support for multiple statechart compile units. Now sub state fields can be initialized from other toplevel State classes, but NOT from nested class instances (which throws an exception stating the inconsistency)
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
Added Paths:
-----------
trunk/extensions/statechart/examples/MultipleToplevels.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-02-04 00:42:37
|
Revision: 1160
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1160&view=rev
Author: pcmehlitz
Date: 2009-02-04 00:42:32 +0000 (Wed, 04 Feb 2009)
Log Message:
-----------
* changed the way events are marked as processed - now there is a general setEnabledEventProcessed() hook at the end of the step() loop, and it's the same for both the NativeStateMachine and the SimStateMachine
* renamed SentSCEvent into NativeSentSCEvent, since it stores JPF references. Added a new SentSCEvent for the SimStateMachine, which stores Java references. Had to modify the SCEvent.setProcessed(MJIEnv) to setProcessed() (pulling the env from the vm - not so nice)
* renamed getEnablingEvents() to getEnablingEvent(), since that is more understandable in StateMachine.step() (which is in the model space)
* added the set event processing policy snakepit to SimStateMachine
This really needs some serious cleanup - the redundancies between JPF and Sim- mode (and even mode-internal with the pending event policies) are getting out of hand
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/PendingEventQueue.java
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SCEvent.java
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/SentSCEvent.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
Added Paths:
-----------
trunk/extensions/statechart/src/gov/nasa/jpf/jvm/choice/sc/NativeSentSCEvent.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-02-04 22:38:58
|
Revision: 1163
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1163&view=rev
Author: pcmehlitz
Date: 2009-02-04 22:38:56 +0000 (Wed, 04 Feb 2009)
Log Message:
-----------
* problem with sent event removal (setEnablingEventProcessed()) update in NativeStateMachine (i.e. model checking mode)
THIS IS NOT YET THE FINAL FIX
* added a 'KeepAlive' example to reproduce problem
Modified Paths:
--------------
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
Added Paths:
-----------
trunk/extensions/statechart/examples/KeepAlive.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