Please make a release

[0-wiz-0]

The last release is from 2019 and does not build against llvm 10, 11, or 12.
Please make a new release that does.

Thank you!

[eeide]

Hi! We are looking forward to caching up with our official releases as soon as we can. Yes, we are quite behind!

In case you do not already know, let me mention that you can currently find branches in the repository with patches for LLVM 10, 11, and 12. E.g., see branch llvm-12.0-dev. If you are currently "stuck" while trying to build C-Reduce, one of these branches might be useful for getting unstuck.

Thank you for your patience!

[marxin]

As an alternative, I can offer https://github.com/marxin/cvise, which supports all LLVM releases since version 9.

[mitchblank]

Just as an FYI, as of a couple hours ago creduce is now the last remaining formula in the main homebrew repo to still depend on LLVM <11: https://github.com/Homebrew/homebrew-core/blob/master/Formula/creduce.rb

This dependency is particularly annoying on OS/X since it means that homebrew can't build an M1-native package for it.

I'm not a creduce user myself but just wanted to mention it here in case it can add a bit of motivation. Homebrew is so close to having all formulae on an M1-capable llvm, it is just waiting for the next creduce release

[eeide]

@mitchblank, thank you for the info and the extra motivation!

[marxin]

I'm not a creduce user myself but just wanted to mention it here in case it can add a bit of motivation. Homebrew is so close to having all formulae on an M1-capable llvm, it is just waiting for the next creduce release

Maybe it's the opportunity to start using https://github.com/marxin/cvise which support the latest LLVM release (13).

[pramodk]

Hello! Another creduce user here and find this tool very useful! So thank you!

Is there anything that needs to be done or others can contribute to make a new release possible?

[chenrui333]

@eeide any updates on this thread? Thanks!