GNAT Community 2020 apụọla

Ahapụrụ Ogbe GNAT 2020 - ngwa ọrụ mmepe n'asụsụ Ada. Ngwungwu ahụ gụnyere ihe nchịkọta, gburugburu mmepe agbakwunyere Ụlọ ọrụ GNAT Studio, onye nyocha ihe kwụ ọtọ maka akụkụ nke asụsụ SPARK, ihe nbibi GDB na otu ọba akwụkwọ. Akpa rọba kesara site n'okpuru usoro nke ikike GPL.

Isi mgbanwe:

• Onye nchịkọta agbakwunyere nkwado maka ọtụtụ ihe ọhụrụ sitere na akwụkwọ na-abịa
  Ọkọlọtọ asụsụ Ada 202x.
  Emelitela azụ azụ ka ọ bụrụ GCC 9 (maka nyiwe niile ewezuga macOS). Nkwado agbakwunyere maka ikpo okwu RISC-V 64.

• GNAT Studio gburugburu ebe mmepe na-eji ugbu a
  LSP gị
  (Protocol Server Protocol) maka asụsụ Ada. Dabere na otu ihe nkesa ahụ, etinyere mgbakwunye maka Visual Studio Code, dị ugbu a na
  Ahịa Visual Studio.

• В SPARK nyocha Nkwado agbakwunyere maka inwe pointer (dị ka ọ dị na Rust), nke na-enye gị ohere igosipụta enweghị njehie ebe nchekwa na enweghị ebe nchekwa. Ejikwa ihe nrụpụta ọhụrụ gbasaa mpaghara mpaghara akwadoro.

isi: opennet.ru