Π Π°Π·ΡΠ°Π±ΠΎΡΡΠΈΠΊΠΈ GNAT, ΠΊΠΎΠΌΠΏΠΈΠ»ΡΡΠΎΡΠ° ΡΠ·ΡΠΊΠ° ΠΠ΄Π°, ΠΎΠΏΡΠ±Π»ΠΈΠΊΠΎΠ²Π°Π»ΠΈ Π½Π° GitHub ΠΊΠΎΠ΄ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ° gnat-llvm, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΠΈΠΉ Π³Π΅Π½Π΅ΡΠ°ΡΠΎΡ ΠΊΠΎΠ΄Π° ΠΎΡ ΠΏΡΠΎΠ΅ΠΊΡΠ° LLVM. Π Π°Π·ΡΠ°Π±ΠΎΡΡΠΈΠΊΠΈ Π½Π°Π΄Π΅ΡΡΡΡ ΠΏΡΠΈΠ²Π»Π΅ΡΡ ΡΠΎΠΎΠ±ΡΠ΅ΡΡΠ²ΠΎ ΠΊ ΡΠ°Π·Π²ΠΈΡΠΈΡ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡΠ° ΠΈ ΡΠΊΡΠΏΠ΅ΡΠΈΠΌΠ΅Π½ΡΠ°ΠΌ Ρ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ Π΅Π³ΠΎ Π² Π½ΠΎΠ²ΡΡ
Π΄Π»Ρ ΡΠ·ΡΠΊΠ° Π½Π°ΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡΡ
, ΡΠ°ΠΊΠΈΡ
ΠΊΠ°ΠΊ ΠΈΠ½ΡΠ΅Π³ΡΠ°ΡΠΈΡ Ρ Π²ΠΈΡΡΡΠ°Π»ΡΠ½ΠΎΠΉ ΠΌΠ°ΡΠΈΠ½ΠΎΠΉ KLEE LLVM Execution Engine Π΄Π»Ρ ΡΠ΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ, Π³Π΅Π½Π΅ΡΠ°ΡΠΈΡ WebAssembly, Π³Π΅Π½Π΅ΡΠ°ΡΠΈΡ SPIR-V Π΄Π»Ρ OpenCL ΠΈ Vulkan, ΠΏΠΎΠ΄Π΄Π΅ΡΠΆΠΊΠΈ Π½ΠΎΠ²ΡΡ
ΡΠ΅Π»Π΅Π²ΡΡ
ΠΏΠ»Π°ΡΡΠΎΡΠΌ.
Π ΡΠ΅ΠΊΡΡΠ΅ΠΌ ΡΠΎΡΡΠΎΡΠ½ΠΈΠΈ ΡΡΠ°Π½ΡΠ»ΡΡΠΎΡ ΡΠΏΠΎΡΠΎΠ±Π΅Π½ ΡΠΎΠ±ΠΈΡΠ°ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ Π΄Π»Ρ Π°ΡΡ
ΠΈΡΠ΅ΠΊΡΡΡΡ x86_64. ΠΠ³ΠΎ ΠΏΠΎΠ΄Π΄Π΅ΡΠΆΠΊΠ° ΠΈΠ½ΡΠ΅Π³ΡΠΈΡΠΎΠ²Π°Π½Π° Π² ΠΈΠ½ΡΡΡΡΠΌΠ΅Π½ΡΠ°ΡΠΈΠΉ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ ΠΏΡΠΎΠ΅ΠΊΡΠ°ΠΌΠΈ GPR tools ΠΈΠ· ΠΏΠ°ΠΊΠ΅ΡΠ° GNAT Community Edition 2019. Π’ΡΠ°Π½ΡΠ»ΡΡΠΎΡ ΡΠ°ΡΠΏΡΠΎΡΡΡΠ°Π½ΡΠ΅ΡΡΡ ΠΏΠΎΠ΄ Π»ΠΈΡΠ΅Π½Π·ΠΈΠ΅ΠΉ GPLv3.
ΠΡΡΠΎΡΠ½ΠΈΠΊ: opennet.ru