merge master into concurrency analysis

[jdeantoni]

Description

prepare to merge the other way around

Does align master and concurrency analysis branches

Changes

-

Contribution to issues

Contribute to #
Closes #

Companion Pull Requests

• PR #