Ang GNAT Community 2020 ay lumabas na

Lumabas GNAT Community 2020 - isang development toolkit sa wikang Ada. Kasama sa package ang isang compiler, isang integrated development environment GNAT Studio, isang static na analyzer para sa isang subset ng SPARK na wika, isang GDB debugger at isang set ng mga library. Plastik na bag ipinamahagi ni sa ilalim ng mga tuntunin ng lisensya ng GPL.

Pangunahing pagbabago:

  • Nagdagdag ang compiler ng suporta para sa maraming inobasyon mula sa paparating na draft
    Ada wikang pamantayan 202x.
    Ang backend ay na-update sa GCC 9 (para sa lahat ng platform maliban sa macOS). Nagdagdag ng suporta para sa RISC-V 64 platform.

  • Ginagamit na ngayon ng GNAT Studio development environment
    iyong LSP
    (Language Server Protocol) para sa wikang Ada. Batay sa parehong server, isang extension para sa Visual Studio Code ay ipinatupad, na magagamit na ngayon sa
    Palengke sa Visual Studio.

  • Π’ SPARK analyzer Nagdagdag ng suporta para sa pagmamay-ari ng pointer (tulad ng sa Rust), na nagbibigay-daan sa iyong patunayan ang kawalan ng mga error sa memorya at ang kawalan ng memory leaks. Ang sinusuportahang subset ng wika ay pinalawak gamit ang mga bagong construct.

Pinagmulan: opennet.ru

Magdagdag ng komento