Merge branch 'ExecutionSemantics' into 'master'

Execution semantics

See merge request !32
1 job for AdaNet_Luis_Ricker_BA in 3 minutes and 17 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Linux
passed BranchJobLinux #1384621

00:03:17