lp:~libowen96/workcraft/trunk-son-reachability

Created by Bowen Li and last modified
Get this branch:
bzr branch lp:~libowen96/workcraft/trunk-son-reachability
Only Bowen Li can upload to this branch. If you are Bowen Li please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Bowen Li
Project:
Workcraft
Status:
Merged

Recent revisions

584. By Bowen Li

sync cycle in reachabilityTask should contains channel place in order to get its preset.

583. By Bowen Li

reset reverse simulation state when tool is activated or deactivated;
marking and causal procesessors in reachability task and simulation tool are passed by workcraft node reference (getNodeReference). cancel memory would case reassign net and change node references

582. By Bowen Li

optimising token setting rule for BSON in simulationAlg.class.
correct BSON reachability theroy.
marking is reachable if
1. none of the marked conditions is consumed by causalPredecessors.
2. all of corresponding abstract conditions are not consumed by causalPredecessors

581. By Bowen Li

Revise output description for structure verification;
Run cycle detection task before reachabilityTask;
Run connectToBlocks function before reachabilityTask;
Refactoring connectToBlocks process;
fix bug in abstract events relation task

580. By Bowen Li

add correctness check for reachabilityTask

579. By Bowen Li

add result panel for reachabilitytask

578. By Bowen Li

finish implementing reachability algorithm

577. By Bowen Li

08:09: 20/11/14 reachabilityTask

576. By Bowen Li

18:15 19/11/14

575. By Bowen Li

implement BSON CSON reachability check. Theroy mistake in BSON, needs to use configuration

Branch metadata

Branch format:
Branch format 6
Repository format:
Bazaar pack repository format 1 with rich root (needs bzr 1.0)
This branch contains Public information 
Everyone can see this information.

Subscribers