S4E phase 1 support for intrinsics was developed against LLVM15, with fairly minor changes continued to function in LLVM16. Seal5 is currently placed against LLVM18.1 - need to confirm whether the exact same approach remains valid, or if LLVM design changes need to be accomodated
S4E phase 1 support for intrinsics was developed against LLVM15, with fairly minor changes continued to function in LLVM16. Seal5 is currently placed against LLVM18.1 - need to confirm whether the exact same approach remains valid, or if LLVM design changes need to be accomodated