История изменений
Исправление slackwarrior, (текущая версия) :
Это все тлен. На растишку нет ничего с буковками ANSI, ISO, IEC, IEEE, ARINC, DO-178 и misra. Аналога Ravenscar profile и SPARK тоже нет (а если б было, это была бы очень специфическая растишка, с отключенным репозитарием и запрещенными к применению в критичных областях фичами, на которой мало кто из фанатов смог бы писать). Про формальную верификацию в этом хайпе школьников вокруг встроенного статик анализатора тоже ничего не слышно. «Ведра линукса» — это все детские игрушки игрушечной ойтишки. До «убийства» дедовских игрушек в реальном мире еще как до Китая пешком.
Исходная версия slackwarrior, :
Это все тлен. На растишку нет ничего с буковками ANSI, ISO, IEEE, ARINC, DO-178 и misra. Аналога Ravenscar profile и SPARK тоже нет (а если б было, это была бы очень специфическая растишка, с отключенным репозитарием и запрещенными к применению в критичных областях фичами, на которой мало кто из фанатов смог бы писать). Про формальную верификацию в этом хайпе школьников вокруг встроенного статик анализатора тоже ничего не слышно. «Ведра линукса» — это все детские игрушки игрушечной ойтишки. До «убийства» дедовских игрушек в реальном мире еще как до Китая пешком.