The cml interpreter now takes a CmlBehaviorFactory to create the behavior objects. This is a step towards being able to inject a remote cml process into the process tree
Started development of the plugin for the Recovery Mechanisms Verification
Initial version of the RMV IDE plugin
Added Startup extension
Added jobs and the main view
The CmlTransitionSet is now an ordered set instead of a normal set. This enables the simulator to take transitions deterministicly. This was not the case before, since a normal set per definition has no order, hence the set iterator returns the elements in a non-deterministic order
Added icon and modified resources.
First draft of main view
cleanup and added comments
refactured out debug print in a seperate method
Merge branch 'origin/akm'
Implemented jobs.
Renamed to "Fault Tolerance".
Merge branch 'development' of ssh://andredidier@git.code.sf.net/p/compassresearch/code into alrd
fixed process name display in outline
cleanup of unused imports
cleanedup launching and the associated classes. Some of the classes were dublicated but not used
removed unused import
enabled prob to be used in interpretation.

sync required

overturetool/overture@467d780887fc41afb0202236cb5bdf5e1efaf22c
Implementing verification and markers...