[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-dev] LLVM 7 and 8

Does anyone have time to update C-Reduce to LLVM 7? I think we should do an LLVM-7-based release even if LLVM 8 is coming out fairly soon (I imagine it is) since OS distributions may be stuck on LLVM 7 for a while.