2023-09-03 Ada новости за август 2023 г.

Ada новости за август 2023 г. * Adamant: https://www.nxtbook.com/smg/special-report/23SR07B-25-Space-Technology/index.php#/p/Cov1 * SPARK for drivers: https://blog.adacore.com/formal-proof-on-device-drivers-with-spark * Protected types priorities: https://blog.adacore.com/priority-extending-mutexes * HAC for native targets : https://gautiersblog.blogspot.com/2023/08/hac-for-native-targets.html * PTC ObjectAda Version 10.5 : https://www.reddit.com/r/ada/comments/161q6yk/objectada_105_released_the_other_ada12_compiler/ * Ada on neorv32 : https://www.reddit.com/r/ada/comments/15mugpu/sweetada_on_neorv32/ * GNAT-LLVM for macOS : https://forum.ada-lang.io/t/gnat-llvm-for-macos/470 * GCC 13 in alire : https://forum.ada-lang.io/t/gnat-fsf-13-available-in-alire-preview/458 * Ada BFD : https://forum.ada-lang.io/t/ada-bfd-1-3-0-release/465 * Common HOL Phase 1 Reports : https://www.reddit.com/r/ada/comments/165f5zg/common_hol_phase_1_reports/