Merge remote-tracking branch 'origin/newpog' into sdf
Merge remote-tracking branch 'origin/development' into sdf
step towards fixing the issue #262
Merge remote-tracking branch 'origin/development' into kel/base
Some small fixes to TP
added initial implementation for #249 and #262 but this only works when the input sets are none empty
removed ChannelNameSetValue from the interpreter, a standard SetValue is used now

setp towards fixing: #262 #263
Optimizations in formula script to improve performance on Insiel's case study. Merge with origin/development.
close #262 close #261 changed namesets to enable interpretation of inter/sub/union for var set exps.

This does not include the unbound sets for channels
removed unused import
Merge remote-tracking branch 'origin/sdf' into development
fixed #242 events with .? in the values offeres was wrongly removed from the set when synchronizing.
fixed #265 problem with hardcoded final assistant in the Interpreter

requires overture sync with: overturetool/overture@c7bda3261aa985c4800524fea55e7eba62091a12
Merge remote-tracking branch 'origin/kel/base' into development
Merge remote-tracking branch 'origin/development' into alrd
added CML Project and CML Process to project properties
added new action to execute generated CML traces against CML models from the RTT perspective
CML trace test driver added to interpreter project