2 ms·
Interesting. This is indeed a massive undertaking as it implicitly covers a lot of LLVM as well. It might take a couple of years until a core language is certif
by gmueckl 7y ago
Interesting. This is indeed a massive undertaking as it implicitly covers a lot of LLVM as well. It might take a couple of years until a core language is certified.
- Argorak 7y agoThe LLVM got covered as part of ARM switching their toolchain to clang. (FWIW, I'm part of Ferrous Systems)