Re: [creduce-dev] development stuff

[John Regehr <regehr@cs.utah.edu>]

I meant to add that I think it's time to nuke the autoconf stuff, unless 
there's some compelling reason to keep it.

John



On 2/22/19 10:29 PM, John Regehr wrote:
> Eric, do you envision an LLVM 7 based C-Reduce release or should I start 
> pushing changes for LLVM 8?
>
> I'm moving our README and INSTALL files to markdown, had wanted to do 
> that for a long time.
>
> John