Ada новости за сентябрь 2022 г.
Ada новости за сентябрь 2022 г. 00:24 Ada Enchancement Guide 2022 02:50 The Work of Proof in SPARK 04:53 XCode 14 breaks Ada on Mac OS X 06:15 Gentoo has got Ada in system GCC 10:11 Ada for VS Code 23.0.10 12:43 Alire has got GCC 12.2.1 with avr libc 13:30 ada-lang.io improvements http://www.ada-auth.org/standards/overview22.html https://www.adacore.com/papers/work-of-proof-in-spark https://www.reddit.com/r/ada/comments/xi1up4/xcode_14_breaks_exception_handling/ https://bugs.gentoo.org/592060 https://github.com/AdaCore/ada_language_server/releases/tag/23.0.10 https://github.com/alire-project/alire-index/tree/gnat_fsf_12_2 https://ada-lang.io/ #Ada #news #embedded #Ада #программирование
Ada новости за сентябрь 2022 г. 00:24 Ada Enchancement Guide 2022 02:50 The Work of Proof in SPARK 04:53 XCode 14 breaks Ada on Mac OS X 06:15 Gentoo has got Ada in system GCC 10:11 Ada for VS Code 23.0.10 12:43 Alire has got GCC 12.2.1 with avr libc 13:30 ada-lang.io improvements http://www.ada-auth.org/standards/overview22.html https://www.adacore.com/papers/work-of-proof-in-spark https://www.reddit.com/r/ada/comments/xi1up4/xcode_14_breaks_exception_handling/ https://bugs.gentoo.org/592060 https://github.com/AdaCore/ada_language_server/releases/tag/23.0.10 https://github.com/alire-project/alire-index/tree/gnat_fsf_12_2 https://ada-lang.io/ #Ada #news #embedded #Ада #программирование