search

csmith-project / creduce

C-Reduce, a C and C++ program reducer
Other
1.47k stars 128 forks source link

Please make a release #232

Open 0-wiz-0 opened 3 years ago

0-wiz-0 commented 3 years ago

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 commented 3 years ago

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 commented 3 years ago

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

mitchblank commented 3 years ago

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 commented 3 years ago

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

marxin commented 3 years ago

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 commented 1 year ago

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 commented 7 months ago

@eeide any updates on this thread? Thanks!