[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] C-Reduce Release
Is LLVM 3.4.1 just a bugfix release? If so, we can probably support
both 3.4 and 3.4.1.
Yang do you have time to look into this?
If you do package topformflat *please* make sure to put it in your own
We'll probably rename it.
The motivation for including this, Eric, is that I watched a bunch of
people trying to install C-Reduce and nobody had a really easy time of
it. For example homebrew lacks a delta package.