— un pachet de instrumente de dezvoltare în limbajul Ada. Pachetul include un compilator, un mediu integrat de dezvoltare , un analizator static pentru un subansamblu al limbajului SPARK, debugger GDB și un set de biblioteci. Pachetul este disponibil sub licența GPL.
Modificări principale:
- Compilatorul a fost actualizat cu suport pentru numeroase inovații din schița viitorului
.
Backendul a fost actualizat la GCC 9 (pentru toate platformele, cu excepția macOS). A fost adăugat suport pentru platforma RISC-V 64. - Mediul de dezvoltare GNAT Studio folosește acum
(Language Server Protocol) pentru limbajul Ada. Bazat pe același server, a fost realizat un extensie pentru Visual Studio Code, acum disponibil în
. - În a fost adăugat suport pentru proprietatea pointerelor (așa cum este în Rust), permițând dovedirea absenței erorilor de gestionare a memoriei și absenței scurgerilor de memorie. Subansamblul suportat al limbajului a fost extins cu noi construcții.
Sursa: opennet.ro
