Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Added message for unsupported model-checker items.
Bump to version 0.3.5-SNAPSHOT for development
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
Delete the 'commonInterleaving' replicated action that corresponded to
`[|| nameset ||] replDecl @ action`
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
Varset expression now optional inside replicated expressions
Merge branch 'jwc/base' into development
removed unused import