Seal5 - Semi-automated LLVM Support for RISC-V Extensions including Autovectorization - View it on GitHub