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

Re: [creduce-dev] LLVM 6

On 03/09/2018 08:49 PM, John Regehr wrote:
> Eric, also, if you have time to make some sort of rudimentary release checklist for C-Reduce, I can take care of subsequent releases more effectively.
> John
> On 3/9/18 11:39 AM, Eric Eide wrote:
>> John Regehr <regehr@cs.utah.edu> writes:
>>> Eric, if you don't have time for a release I'll do it.
>> I still want to do this.  Obviously I wasn't very successful recently, but I
>> think that my load of other stuff is lifting and I should be able to do it
>> soon.


Any update about a release that will include support for LLVM6?