МР
> GraalVM supports LLVM bitcode versions 3.8 to 9.0
Блин, gnat-llvm уже на llvm 10
Блин, gnat-llvm уже на llvm 10
Size: a a a
2020 September 26
AV
Уууууупс :-)
МР
Нашел Мартовский выпуск Ada User Journal, они его выложили онлайн в связи с ковидом. Может чё интересное есть
МР
Переслано от Максим Резник...
AV
Максим Резник
Переслано от Максим Резник
👍
AV
а что за атрибут такой,
'Old?AV
"Thread-safe Ada libraries (AI12-0139) has been abandoned; no one showed any interest in working on it."
AV
"Two alternatives of Generators/co-routines (AI12-0197) have been abandoned and two voted Hold for a future edition."
AV
"The submission of the Ada 202X proposals to WG 9 is tantalisingly close. Hopefully they will be completed in early 2021; the exact timetable should be decided soon."
МР
а что за атрибут такой,
'Old?Это, когда у тебя параметр in out, а тебе на выходе надо знать какой был вход, в Post условии только работает
AV
о! нифига себе. то есть там по факту две переменные создаются если это надо?
VM
Это всё для доказательства правильности программ(ы)
(
Или и в не SPARK Ada есть?
)
(
Или и в не SPARK Ada есть?
)
AV
Victor Miasnikov
Это всё для доказательства правильности программ(ы)
(
Или и в не SPARK Ada есть?
)
(
Или и в не SPARK Ada есть?
)
Это рантайм проверки в обычной аде вроде
AV
Без спарка
VM
Хорошо - значит, и в "обычную Ada" приходит тематика SPARK.
AV
она давно пришла. с ады-2012 вроде. благодаря этому SPARK вышел из подполья, то есть из комментариев к адскому коду и перешел в синтаксис самой ады
VM
она давно пришла. с ады-2012 вроде. благодаря этому SPARK вышел из подполья, то есть из комментариев к адскому коду и перешел в синтаксис самой ады
А исходные коды на SPARK "старого стиля" надо старой Ada компилировать?
AV
старого стиля можно и новой адой компилировать - весь спарк там в комментах, так что компилятор ады его просто не увидит
VM
старого стиля можно и новой адой компилировать - весь спарк там в комментах, так что компилятор ады его просто не увидит
Э, нет: так не годится -)
Надо, что бы проверяла.
Вот есть DNS сервер на SPARK.
Не переписывать же его на "новый стиль".
Надо, что бы проверяла.
Вот есть DNS сервер на SPARK.
Не переписывать же его на "новый стиль".
AV
Victor Miasnikov
Э, нет: так не годится -)
Надо, что бы проверяла.
Вот есть DNS сервер на SPARK.
Не переписывать же его на "новый стиль".
Надо, что бы проверяла.
Вот есть DNS сервер на SPARK.
Не переписывать же его на "новый стиль".
Компилятор Ады не проверяет SPARK