Мне удалось использовать профилировщик аксиом в Linux через mono, но это действительно занимает много часов (кажется, что он зависает в течение этого времени, но он действительно работает).Как только он закончил свой анализ, интерфейс стал довольно отзывчивым (хотя я бы рекомендовал держаться подальше от некоторых опций в меню «Файл», которые вызывают его сбой).
Так как мне нужно было бы в основномоставив его на ночь для нетривиальных трассировок, я раскручиваю его на сервере и использую переадресацию X через xpra (что позволяет мне отключаться и повторно подключаться к серверу).
Если проблема заключается только в том, чтобы найти запросы, которые запускаются плохо, и если fstar работает быстрее с подсказками, тогда у меня также есть полезный скрипт fstar-profile-queries, который я написал несколько месяцев назад и который мог бы быть полезен,Он использует qprofdiff для поиска некорректных запросов, но делает это намного удобнее для работы.