LLVM 'เจคเฉ‡ เจ†เจงเจพเจฐเจฟเจค เจ…เจฆเจพ เจญเจพเจธเจผเจพ เจ…เจจเฉเจตเจพเจฆเจ• เจชเฉเจฐเจ•เจพเจธเจผเจฟเจค เจนเฉ‹เจ‡เจ†

GNAT เจฆเฉ‡ เจกเจฟเจตเฉˆเจฒเจชเจฐ, Ada เจญเจพเจธเจผเจพ เจ•เฉฐเจชเจพเจˆเจฒเจฐ, เจชเฉเจฐเจ•เจพเจธเจผเจค GitHub 'เจคเฉ‡ เจ…เจจเฉเจตเจพเจฆเจ• เจ•เฉ‹เจก gnat-llvm, LLVM เจชเฉเจฐเฉ‹เจœเฉˆเจ•เจŸ เจคเฉ‹เจ‚ เจ•เฉ‹เจก เจœเจจเจฐเฉ‡เจŸเจฐ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐเจฆเฉ‡ เจนเฉ‹เจเฅค เจตเจฟเจ•เจพเจธเจ•เจพเจฐ เจ…เจจเฉเจตเจพเจฆเจ• เจจเฉ‚เฉฐ เจตเจฟเจ•เจธเจค เจ•เจฐเจจ เจ…เจคเฉ‡ เจญเจพเจธเจผเจพ เจฒเจˆ เจจเจตเฉ€เจ‚ เจฆเจฟเจธเจผเจพเจตเจพเจ‚ เจตเจฟเฉฑเจš เจ‡เจธเจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจฆเฉ‡ เจจเจพเจฒ เจชเฉเจฐเจฏเฉ‹เจ— เจ•เจฐเจจ เจตเจฟเฉฑเจš เจญเจพเจˆเจšเจพเจฐเฉ‡ เจจเฉ‚เฉฐ เจธเจผเจพเจฎเจฒ เจ•เจฐเจจ เจฆเฉ€ เจ‰เจฎเฉ€เจฆ เจ•เจฐเจฆเฉ‡ เจนเจจ, เจœเจฟเจตเฉ‡เจ‚ เจ•เจฟ เจ‡เฉฑเจ• เจตเจฐเจšเฉเจ…เจฒ เจฎเจธเจผเฉ€เจจ เจจเจพเจฒ เจเจ•เฉ€เจ•เจฐเจฃ KLEE LLVM เจเจ—เจœเจผเฉ€เจ•เจฟเจŠเจธเจผเจจ เจ‡เฉฐเจœเจฃ เจŸเฉˆเจธเจŸเจฟเฉฐเจ— เจชเฉเจฐเฉ‹เจ—เจฐเจพเจฎเจพเจ‚ เจฒเจˆ, WebAssembly เจฌเจฃเจพเจ‰เจฃเจพ, OpenCL เจ…เจคเฉ‡ Vulkan เจฒเจˆ SPIR-V เจคเจฟเจ†เจฐ เจ•เจฐเจจเจพ, เจจเจตเฉ‡เจ‚ เจŸเจพเจฐเจ—เฉ‡เจŸ เจชเจฒเฉ‡เจŸเจซเจพเจฐเจฎเจพเจ‚ เจฆเจพ เจธเจฎเจฐเจฅเจจ เจ•เจฐเจจเจพเฅค

เจ‡เจธเจฆเฉ€ เจฎเฉŒเจœเฉ‚เจฆเจพ เจธเจฅเจฟเจคเฉ€ เจตเจฟเฉฑเจš, เจ…เจจเฉเจตเจพเจฆเจ• x86_64 เจ†เจฐเจ•เฉ€เจŸเฉˆเจ•เจšเจฐ เจฒเจˆ เจชเฉเจฐเฉ‹เจ—เจฐเจพเจฎเจพเจ‚ เจจเฉ‚เฉฐ เจ•เฉฐเจชเจพเจ‡เจฒ เจ•เจฐเจจ เจฆเฉ‡ เจธเจฎเจฐเฉฑเจฅ เจนเฉˆเฅค เจ‡เจธเจฆเจพ เจธเจฎเจฐเจฅเจจ GNAT เจ•เจฎเจฟเจŠเจจเจฟเจŸเฉ€ เจเจกเฉ€เจธเจผเจจ 2019 เจชเฉˆเจ•เฉ‡เจœ เจคเฉ‹เจ‚ GPR เจŸเฉ‚เจฒเจธ เจชเฉเจฐเฉ‹เจœเฉˆเจ•เจŸ เจชเฉเจฐเจฌเฉฐเจงเจจ เจŸเฉ‚เจฒเจธ เจตเจฟเฉฑเจš เจเจ•เฉ€เจ•เฉเจฐเจฟเจค เจนเฉˆเฅค เจ…เจจเฉเจตเจพเจฆเจ• เจจเฉ‚เฉฐ GPLv3 เจฒเจพเจ‡เจธเฉฐเจธ เจฆเฉ‡ เจคเจนเจฟเจค เจตเฉฐเจกเจฟเจ† เจ—เจฟเจ† เจนเฉˆเฅค

เจธเจฐเฉ‹เจค: opennet.ru

เจ‡เฉฑเจ• เจŸเจฟเฉฑเจชเจฃเฉ€ เจœเฉ‹เฉœเฉ‹