GNAT 커뮤니티 2020이 출시되었습니다

대용품 GNAT 커뮤니티 2020 - Ada 언어로 된 개발 툴킷. 패키지에는 통합 개발 환경인 컴파일러가 포함되어 있습니다. 그나트 스튜디오, SPARK 언어 하위 집합에 대한 정적 분석기, GDB 디버거 및 라이브러리 집합입니다. 비닐 봉투 배포자 GPL 라이센스 조건에 따라.

주요 변경 사항 :

• 컴파일러는 다가오는 초안의 많은 혁신에 대한 지원을 추가했습니다.
  Ada 언어 표준 202x.
  백엔드가 GCC 9로 업데이트되었습니다(macOS를 제외한 모든 플랫폼용). RISC-V 64 플랫폼에 대한 지원이 추가되었습니다.

• GNAT Studio 개발 환경은 이제 다음을 사용합니다.
  당신의 LSP
  (언어 서버 프로토콜) Ada 언어용. 동일한 서버를 기반으로 Visual Studio Code용 확장이 구현되었으며 이제 다음에서 사용할 수 있습니다.
  Visual Studio 마켓 플레이스.

• В SPARK 분석기 Rust에서와 같이 포인터 소유권에 대한 지원이 추가되어 메모리 오류가 없고 메모리 누수가 없음을 증명할 수 있습니다. 지원되는 언어 하위 집합이 새로운 구문으로 확장되었습니다.

출처 : opennet.ru