История изменений
Исправление seiken, (текущая версия) :
там же весь цимес во всяких верификаторах, тулзах и поддержке от AdaCore, а не просто в компиляторе gcc. Т.к. в основном Ada для американской военщины, это первое, поддержку чего в РФ отрубят, если уже не отрубили, в случае конфликта с НАТО. Тем более, свои же не разрешат использовать инструменты иностранной военщины.
На днях вышел указ президента о запрете использования средств ИБ иностранного происхождения в гос. структурах и на стратегически важных предприятиях. То, что с ИБ не связано, всё равно зарубят, потому что это инструменты врага, контролируемые врагом.
Исходная версия seiken, :
там же весь цимес во всяких верификаторах, тулзах и поддержке от AdaCore, а не просто в компиляторе gcc. Т.к. в основном Ada для американской военщины, это первое, поддержку чего в РФ отрубят, если уже не отрубили, в случае конфликта с НАТО. Тем более, свои же не разрешат использовать инструменты иностранной военщины.
На днях вышел указ президента о запрете использования средств ИБ иностранного происхождения в гос. структурах и на стратегически важных предприятиях. То, что с ИБ не связано, всё равно зарубят, потому что это инструменты врага.