[00:47:33] <ada_ru> (I_vlxy_I) плагин к идее как-то работает
[00:47:39] <ada_ru> (I_vlxy_I) с ls его еще не дружил
[00:47:53] <ada_ru> (I_vlxy_I) надо его еще с clion попробовать
[00:48:24] <ada_ru> (I_vlxy_I) но работает конечно странновато - по кнопке run оно собирает проект, а по кнопке build вообще хз что делает
[02:47:51] <ada_ru> (I_vlxy_I) в общем, нашел пару багов. с отладчиком оно не работает. те сервисы, что предоставляет ada language server (хождение по референсам) - работает неплохо.
самое наверное неприятное это какие-то невнятные тормоза в процессе работы с текстом, плюс невнятная работа с отступами (автоотступ есть, а вот удалять отступ придется попробельно).
[02:48:27] <ada_ru> (I_vlxy_I) при этом CLion может и готов отлаживать Аду, нужно лишь нормально интегрироваться.
[02:49:21] <ada_ru> (I_vlxy_I) в общем, этот плагин требует допиливания. прямо сейчас банально писать текст там неприятно. ну и language server оно нашло только после того, как я исходники поправил.
[02:49:36] <ada_ru> (I_vlxy_I) как-то так.
[02:54:31] <ada_ru> (I_vlxy_I) но в целом есть ощущение, что ещё бы чуть-чуть, и.... 😊
[11:36:42] <ada_ru> (BRIAN) картинка https://www.ada-ru.org/files/bot/2019-09-05-x2.jpg
[11:36:51] <ada_ru> (BRIAN) nf vax
[13:38:07] <ada_ru> (Hazel) картинка https://www.ada-ru.org/files/bot/2019-09-05-x3.jpg
[13:38:16] <ada_ru> (Hazel) spspyop
[13:40:56] <ada_ru> (Максим) Шлите пул-реквесты как говориться 😕
[14:53:38] <ada_ru> (I_vlxy_I) Ну, если на разработку в забили, то форк может быть эффективней :-)
[15:02:03] <ada_ru> (Gourytch) блин. вот дилемма: яоблако на 60 дней можно взять, но что с ним делать? никаких проектов в голову даже не приходит таких, чтоб и лично полезных, и интересных, и чтоб всего на два месяца и потом не жалко было бросить или заморозить.
[15:05:25] <ada_ru> (I_vlxy_I) Предполагается что тебе как раз и будет жалко бросить и заморозить :-)
[15:05:38] <ada_ru> (I_vlxy_I) 60 дней - это для тестов по сути.
[15:07:59] <ada_ru> (I_vlxy_I) Или для пилота
[15:36:41] <ada_ru> (Gourytch) угумс. но вообще нашёл-таки прайс - вполне годно. но, естессно, на географических просторах расеи.
[15:41:15] <ada_ru> (I_vlxy_I) Да, только на просторах экономической пустоши :-)
[18:52:29] <ada_ru> (I_vlxy_I) Кстати, а что у Ады есть для профилировки приложения и для код. кавереджа?
[18:57:21] <ada_ru> (Максим) http://www.ada-ru.org/profilers
[18:57:49] <ada_ru> (Максим) АдаКор продает свой gnatcoverage на основе qemu, кажется
[18:58:08] <ada_ru> (Максим) А так всё тоже, что и в Си.
[19:02:06] <ada_ru> (I_vlxy_I) отвечает (Максим) на <АдаКор продает свой …>
Погоди, а почему кавередж на базе эмулятора компа то?
[19:02:16] <ada_ru> (I_vlxy_I) Как они связаны?
[19:03:18] <ada_ru> (Lieutenant_Commander_Data) отвечает (I_vlxy_I) на <Как они связаны?>
напрямую
[19:03:30] <ada_ru> (I_vlxy_I) Для кавереджа обычно используют инструментированную сборку программы просто.
[19:03:58] <ada_ru> (Lieutenant_Commander_Data) чтобы для всяких экзотических платформ иметь coverage
[19:04:37] <ada_ru> (Максим) чтобы не делать инструментированную сборку
[19:05:58] <ada_ru> (I_vlxy_I) отвечает (Lieutenant_Commander_Data) на <чтобы для всяких экз…>
А, ну это ладно. Но если мне только для amd64 нужно, то мне ведь qemu и то, что адакор предлагает, никак не поможет?
[19:06:14] <ada_ru> (Lieutenant_Commander_Data) нет
[19:06:22] <ada_ru> (Lieutenant_Commander_Data) можно обычный gcov использовать
[19:07:04] <ada_ru> (I_vlxy_I) отвечает (Максим) на <чтобы не делать инст…>
Это как? Все равно же нужно знать где арки в коде. А в бинаре их уже нет. Вроде как.
[19:08:12] <ada_ru> (I_vlxy_I) Можно конечно с помощью дебаггера и отладчика попробовать фарш провернуть назад... но это такоэ
[19:08:36] <ada_ru> (Максим) ну может я не так понимаю, не буду спорить
[19:09:59] <ada_ru> (I_vlxy_I) То есть можно покрытие по функциям построить, но не по ветвлениям. Вроде как.
[19:10:44] <ada_ru> (Максим) но ты же знаешь код у ветвления, кочему нельзя?
[19:10:49] <ada_ru> (I_vlxy_I) О! Нашёл статью адакоры
[19:11:39] <ada_ru> (I_vlxy_I) отвечает (Максим) на <но ты же знаешь код …>
Ты скорее всего не знаешь какие там были условия изначально например. И сколько там вариантов.
[19:12:11] <ada_ru> (I_vlxy_I) https://www.adacore.com/uploads/techPapers/coverage_and_free_software.pdf
[19:12:13] <ada_ru> (I_vlxy_I) Во
[19:12:18] <ada_ru> (I_vlxy_I) Будем посмотреть
[19:14:09] <ada_ru> (I_vlxy_I) А связка Go/gcov/c++ иногда даёт довольно странные результаты. Загадочные.
[19:16:47] <ada_ru> (I_vlxy_I) О! А gps умеет в gcov? То есть в визуализацию кавереджа.
[19:18:38] <ada_ru> (Lieutenant_Commander_Data) gcov не нужен
[19:18:46] <ada_ru> (I_vlxy_I) отвечает (Максим) на <чтобы не делать инст…>
Похоже ты прав
[19:18:58] <ada_ru> (I_vlxy_I) отвечает (Lieutenant_Commander_Data) на <gcov не нужен>
А как же без него?
[19:19:09] <ada_ru> (Lieutenant_Commander_Data) а никак
[19:20:27] <ada_ru> (I_vlxy_I) отвечает (Lieutenant_Commander_Data) на <а никак>
:-(
[19:33:59] <ada_ru> (Максим) отвечает (I_vlxy_I) на <А связка Go/gcov/c++…>
О, ты не знаешь какие чудные результаты даёт Ada x Gtk x Python! 🎆⚡
[19:38:00] <ada_ru> (I_vlxy_I) Ой. Опечатка. gcc/gcov/c++
[19:38:26] <ada_ru> (I_vlxy_I) отвечает (Максим) на <О, ты не знаешь каки…>
Эмм... gnat gps обычно получается?
[19:38:33] <ada_ru> (I_vlxy_I) Из любой программы :-)
[19:40:50] <ada_ru> (Vinpuh) GPS?😁
[19:43:33] <ada_ru> (I_vlxy_I) Ога
[19:59:27] <ada_ru> (I_vlxy_I) отвечает (I_vlxy_I) на <https://www.adacore.…>
Хорошая статья.
[20:02:45] <ada_ru> (I_vlxy_I) отвечает (Максим) на <АдаКор продает свой …>
О! Так оно ж опенсорс!
[20:03:01] <ada_ru> (I_vlxy_I) /me нашёл на гитхабе
[20:13:08] <ada_ru> (I_vlxy_I) О! Там ещё статьи!
[20:13:12] <ada_ru> (I_vlxy_I) Круть!
[23:46:30] <ada_ru> (I_vlxy_I) https://i.redd.it/ovpj6mllrlk31.jpg
"самолетики вылезли погреться"