[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[creduce-dev] development stuff
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.