4c2e47c1568e615a4c19623918126c4b333cb62c	not-for-merge	branch 'SaferMultithreading' of https://bitbucket.org/tmidas/manalyzer
ddbad72a1de9f0f0e5dcf62b61405c6963088c49	not-for-merge	branch 'cmake-dev' of https://bitbucket.org/tmidas/manalyzer
a092b470d6d272910d8d251f1b9f00c03168d085	not-for-merge	branch 'feature/relocatable_cmake' of https://bitbucket.org/tmidas/manalyzer
db33d44de84a38561e6ad96639771ca2459bddcb	not-for-merge	branch 'master' of https://bitbucket.org/tmidas/manalyzer