Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Added message for unsupported model-checker items.
removed unused import
change debugger to allow inspection of the state when a deadlock or pre/post error occurs
added force clear for debug history when re-launching the debugger
forced the socket debugger to stop before termination when a deadlock happens
Improvements to expression evaluation for model checking purposes. Improvements to type handling.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Created first version of the dependencies visitor for the model checker.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
Merge remote-tracking branch 'origin/kel/base' into development
Updates in dependencies visitor of the model checker.
Added FT plugin example.
Improvements to handle process and actions with parameters.
Added example with basic concepts of fault-tolerance verification as
shown in D33.3.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
Fixed exception handling on the model-checker integration.