4 ms·
To be realistic: The frontend is not verified. Only very few optimizations are done. It only seems to have a PPC backend. However, i still think verified compi
by beza1e1 15y ago
To be realistic: The frontend is not verified. Only very few optimizations are done. It only seems to have a PPC backend.
However, i still think verified compilers are the future. It will just take two or three decades until we see them at LLVM quality.
- cwzwarich 15y agoIt now has X86 and ARM backends.