ProHoster > Blog > internet nhau > GNAT Nharaunda 2020 Yakaburitswa

GNAT Nharaunda 2020 Yakaburitswa

Zvakabuda GNAT Nharaunda 2020 - bhuku rekuvandudza mumutauro weAda. Iyo package inosanganisira compiler, yakabatanidzwa budiriro nharaunda Sravana Sameeralu Serial XNUMXth GNAT Studio, static analyzer ye subset yemutauro weSPARK, GDB debugger uye seti yemaraibhurari. Plastic bag inoparadzirwa ne pasi pemitemo yerezinesi reGPL.

Shanduko huru:

  • Iyo compiler yakawedzera tsigiro yezvakawanda zvitsva kubva mugwaro riri kuuya
    Mutauro weAda chiyero 202x.
    Iyo yekumashure yakagadziridzwa kuGCC 9 (yese mapuratifomu kunze kweMacOS). Yakawedzera rutsigiro rweRISC-V 64 chikuva.

  • Iyo GNAT Studio yekuvandudza nharaunda ikozvino inoshandisa
    LSP yako
    (Mutauro Server Protocol) yemutauro weAda. Kubva pane imwechete sevha, yekuwedzera yeVisual Studio Code yaitwa, ikozvino yave kuwanikwa mukati
    Visual Studio Maketi.

  • Π’ SPARK analyzer Yakawedzera tsigiro yemuridzi wepointer (semuna Rust), iyo inokutendera kuti uratidze kusavapo kwekukanganisa kwendangariro uye kusavapo kwekudonha kwendangariro. Iyo subset inotsigirwa yemutauro yakawedzerwa nezvivakwa zvitsva.

Source: opennet.ru

Voeg