hi, Я тут невзначай набрел на ранее неизвестную в наших кругах поделку: http://www.gosniias.ru/pages/21/21-5.htm imho, Можно указать на страничке прожектов Alex
Oleksandr Havva wrote: > hi, > > Я тут невзначай набрел на ранее неизвестную в наших кругах поделку: > http://www.gosniias.ru/pages/21/21-5.htm > > imho, Можно указать на страничке прожектов Подробности бы узнать...
hi, "Sergey I. Rybin" wrote: > Oleksandr Havva wrote: > > > hi, > > > > Я тут невзначай набрел на ранее неизвестную в наших кругах поделку: > > http://www.gosniias.ru/pages/21/21-5.htm > > > > imho, Можно указать на страничке прожектов > > Подробности бы узнать... > Для решения этой благородной задачи, наверное, надо обзадачивать тех товарищей, которые к Москве поближе будут ;) Alex
> Для решения этой благородной задачи, > наверное, надо обзадачивать тех товарищей, > которые к Москве поближе будут ;) Да у меня с ГосНииАс-ом уже давно все контакты умерли... :(
hi, "Sergey I. Rybin" wrote: > > Для решения этой благородной задачи, > > наверное, надо обзадачивать тех товарищей, > > которые к Москве поближе будут ;) > > Да у меня с ГосНииАс-ом уже давно все контакты умерли... > :( Знач придется оживлять (на кофей прогуляться, водовки попить :)) Или ты супротив того чтобы нести в массы "доброе, чистое, вечное" ((С) не мое)??? Кстати, я по окресностям этого сайта побродил, так у них там довольно часто US DoD стандарты на предмет security/safety упоминаются, которые напрямую связаны с технологиями на основе Ады. Так что с Адой они, похоже, не первый день тихонько "партизанят". Alex
> Кстати, я по окресностям этого сайта побродил, > так у них там довольно часто US DoD стандарты > на предмет security/safety упоминаются, > которые напрямую связаны с технологиями > на основе Ады. Так что с Адой они, похоже, > не первый день тихонько "партизанят". Они начали работать с Адой еще в советские времена. Я к ним в конце 80-х ходил тестировать нашими тестами спертый где-то компилятор для VAX VMS. Но потом как-то заглохло, причем - с их стороны... Ты прав, надо будет попытаться реанимировать...
hi, "Sergey I. Rybin" wrote: > > Ты прав, надо будет попытаться реанимировать... > угу... и приобщить их к нашей (ada-ru) компании :) Alex
hi, Viktor Danylenko wrote: > Добрый день ! > > Пытаюсь собрать gnat в составе... О! Еще один "вольный потрошитель" GNAT-ства объявился :) > Вот выдержка из лога acats.sum > > === acats Summary === > # of expected passes 1945 > # of unexpected failures 21 > # of unsupported tests 356 > *** FAILURES: c23003b c23003g c23003i ca13001 cxg2002 cxg2003 cxg2004 > cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 > cxg2017 cxg2018 cxg2019 cxg2020 cxg2021 > > Viktor К сожалению, сейчас не имею на компе развернутого ACATS, посему, на первый (беглый) вгляд похоже на отсутствие в сборке поддержки какого-то (или каких-то) специализированного дополнения (Annex). Более точно, надо смотреть в исходный текст соответствующего неудачного теста. Там точно указывается, _что_ этот тест проверяет. Ежели я угадал, и проблема с поддержкой дополнений, то надо смотреть в скрипты, где указывается конфигурация запуска ACATS - что заявлено как присутствующее и поддерживаемое. ...или добывать/доставлять поддержку соотв. дополнения. :) Alex PS На всякий случай: руководство по ACATS я перевел на русский и оно есть на сайте www.ada-ru.org в разделе документации.
Viktor Danylenko wrote: > Добрый день ! > > Пытаюсь собрать gnat в составе gcc-3.4.0 под qnx, в принципе > получилось, но тесты проходят далеко не все. Может быть народ > подскажет в каком направлении копать? > > ........................................ > === acats Summary === > # of expected passes 1945 > # of unexpected failures 21 > # of unsupported tests 356 > *** FAILURES: c23003b c23003g c23003i Какова максимальная длинна имени файла в QNX? > ca13001 С этим тестом и его сутью учше обратиться к одному из представителей корпоративных интересов. > cxg2002 cxg2003 cxg2004 > cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 > cxg2017 cxg2018 cxg2019 cxg2020 cxg2021 > А здесь необходимо смотреть почему не работает арифметика с плавающей точкой, в частности элементарные функции abs, sin, ... -- Vadim Godunko
hi, Vadim Godunko wrote: > > > cxg2002 cxg2003 cxg2004 > > cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 > > cxg2017 cxg2018 cxg2019 cxg2020 cxg2021 > > > А здесь необходимо смотреть почему не работает арифметика с плавающей > точкой, в частности элементарные функции abs, sin, ... хм... В таком случае, возможно, стоит "поиграться" с опциями оптимизации? Собрать без оптимизации и "прогнать" через ACATS. Если проблема исчезнет, то далее следует выяснить на каких модулях необходимо отключать (-O0) или понижать (например с -O3 на -O2) режим оптимизации. Я с таким поведением столкнулся при сборке ALR. Пришлось полностью "зарубить" оптимизацию (-O0) на модуле битовых операций. Alex
Oleksandr Havva wrote: > >>>cxg2002 cxg2003 cxg2004 >>>cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 >>>cxg2017 cxg2018 cxg2019 cxg2020 cxg2021 >>> >> >>А здесь необходимо смотреть почему не работает арифметика с плавающей >>точкой, в частности элементарные функции abs, sin, ... > > > хм... В таком случае, возможно, стоит "поиграться" > с опциями оптимизации? > Возможно дело обстоит значительно серьезнее. Эта группа тестов предназначена для проверки _точности_ выполнения операций. "И кто его знает, чего он мигает..." -- Vadim Godunko
Hello Vadim! Thursday, May 27, 2004, 2:06:40 PM, you wrote : >> >> ........................................ >> === acats Summary === >> # of expected passes 1945 >> # of unexpected failures 21 >> # of unsupported tests 356 >> *** FAILURES: c23003b c23003g c23003i VG> Какова максимальная длинна имени файла в QNX? Кажется 48 символов, на выходных постараюсь проверить действительно ли проблемы вызваны этим. Большое спасибо. Виктор
hi, Vadim Godunko wrote: > Oleksandr Havva wrote: > > > >>>cxg2002 cxg2003 cxg2004 > >>>cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 > >>>cxg2017 cxg2018 cxg2019 cxg2020 cxg2021 > >>> > >> > >>А здесь необходимо смотреть почему не работает арифметика с плавающей > >>точкой, в частности элементарные функции abs, sin, ... > > > > > > хм... В таком случае, возможно, стоит "поиграться" > > с опциями оптимизации? > > > Возможно дело обстоит значительно серьезнее. Эта группа тестов > предназначена для проверки _точности_ выполнения операций. "И кто его > знает, чего он мигает..." ес-сно возможно... Насколько помню, в исходниках GNAT (3.X, 5.X) такая вещь как QNX не упоминается. Посему, наверное, надо смотреть какими средствами обеспечивается и/или должна быть обеспечена поддержка плавающей арифметики для данного случая GNAT+QNX. Точнее, где она живет - в GNAT(?), в самом QNX(?), или в какой-нибудь дополнительной внешней библиотеке (из поставки QNX, чего-то GNU-сное или "левое"?). Кстати, под тот же Linux GNAT ведь не только с GLIBC можно собрать(!), можно собрать и с NEWLIB, например. А как и в каких связках вопрошающий его под QNX собирает, что _реально_ меняет/добавляет в исходниках, жуть его знает? Alex
Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти