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

[creduce-dev] LLVM 6

OK, we managed to sit out LLVM 5 without a C-Reduce release, but LLVM 6 just came out so now would be a good time. I just pushed changes updating to LLVM 6 (nothing broke, it looks like). Later today when I'm on a Linux machine I'll update our docker stuff.

Eric, if you don't have time for a release I'll do it.