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