Ada News Digest, August 2023
Вставка
- Опубліковано 28 сер 2024
- Support us: / ada_re
Join Telegram: t.me/ada_lang
02:00 Adamant: A Mission-Critical Flight Software Framework Written in Ada
05:11 Formal Proof on Device Drivers with SPARK
06:11 Extending Priority Inheritance Beyond Protected Operations
07:00 HAC for native targets
07:53 PTC ObjectAda Version 10.5
08:43 SweetAda on NEORV32
09:45 GNAT-LLVM (for macOS) prerelease
10:37 GNAT FSF 13 available in Alire [preview]
11:32 Ada BFD 1.3.0 release
13:43 Ada History: Common HOL Phase 1 Reports
* Adamant: / adamant_a_soontobe_ope...
* Drivers with SPARK blog.adacore.c...
* Extending Priority Inheritance blog.adacore.c...
* HAC for native targets gautiersblog.b...
* PTC ObjectAda Version 10.5 / objectada_105_released...
* SweetAda on NEORV32 / sweetada_on_neorv32
* GNAT-LLVM for macOS preview forum.ada-lang...
* GNAT FSF 13 in Alire preview forum.ada-lang...
* Ada BFD forum.ada-lang...
* Ada History / common_hol_phase_1_rep...
#ada #ada-lang #adalang
