[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.