Tha Coimhearsnachd GNAT 2020 a-muigh

Thàinig a-mach Coimhearsnachd GNAT 2020 - inneal leasachaidh ann an cànan Ada. Tha am pasgan a’ toirt a-steach compiler, àrainneachd leasachaidh aonaichte Stiùidio GNAT, anailisiche statach airson fo-sheata den chànan SPARK, debugger GDB agus seata de leabharlannan. Poca plastaig air a sgaoileadh le fo chumhachan cead GPL.

Atharraichean mòra:

• Tha an neach-cruinneachaidh air taic a chuir ri mòran innleachdan bhon dreach a tha ri thighinn
  Ada cànan àbhaisteach 202x.
  Chaidh an backend ùrachadh gu GCC 9 (airson gach àrd-ùrlar ach a-mhàin macOS). Taic a bharrachd airson àrd-ùrlar RISC-V 64.

• Tha àrainneachd leasachaidh GNAT Studio a-nis a’ cleachdadh
  do LSP
  (Pròtacal Freiceadan Cànain) airson cànan Ada. Stèidhichte air an aon fhrithealaiche, chaidh leudachadh airson Còd Stiùidio Lèirsinneach a chuir an gnìomh, a-nis ri fhaighinn ann an
  Ionad Stiùidio Lèirsinneach.

• В Mion-sgrùdaire SPARK Taic a bharrachd airson sealbh phuing (mar ann an Rust), a leigeas leat dearbhadh nach eil mearachdan cuimhne ann agus nach eil cuimhne ag aoidion. Chaidh am fo-sheata den chànan le taic a leudachadh le togalaichean ùra.

Source: fosgailtenet.ru