Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Added message for unsupported model-checker items.
fixed #279 changed they type of context made for `||| i in set {1} @op(j)` such that it uses a normal context and not a delayed context. The reason of this is that there is not counter part node to ||| in case of replication over 1 and this no way to disable the delayed write context.
added comments on actions
clean up useded imports
added delayed context for []
#282
added delayed context for ||| - parallel
#282
cleanup and added missing serials
added delayed context for [||] generalized parallel

updated the delayed context to allow nested delayed context to push up the delayed change once the top one is disabled.
updated the interpreter such that it during debug can expand records and objects
#282 yet another addition to this bug. change the self wrapping that is done for operation values
corrected the dwarf test case
close #283 the set(s) was not cloned
Merge remote-tracking branch 'origin/kel/base' into development
Merge branch 'jwc/base' into development
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