Is WPMU DEV Dashboard compatible with PHP 7?

Hello.
I scanned my site with this plugin https://wordpress.org/plugins/php-compatibility-checker/ and it said that these plugins are not compatible with PHP 7:
MarketPress
Q&A
WPMU DEV Dashboard

Can you tell me if they are? Have you tested them with PHP 7? I can give you the exact errors it displayed too if that helps.