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

Re: [creduce-dev] development stuff

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


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.