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