Re: [creduce-dev] LLVM 6

[Martin Liška <mliska@suse.cz>]

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

Hi.

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

Thanks,
Martin