Re: [creduce-dev] C-Reduce 2.5.0 Released

[Yang Chen <chenyang@cs.utah.edu>]

Cool! Thanks, Eric!

- Yang

On 2016-05-13 14:44, Eric Eide wrote:
> C-Reduce 2.5.0 is released!
>
> Get it from GitHub:
>   https://github.com/csmith-project/creduce/releases/tag/creduce-2.5.0
>
> Or if you want the official tarball:
>   http://embed.cs.utah.edu/creduce/creduce-2.5.0.tar.gz
>
> Notable improvements/changes since the previous release:
>
>   + Supports and requires LLVM 3.8
>
>   + Multi-file reduction
>
>   + New pass for partial resolution of #ifdef's
>
>   + Press "s" to skip to the next pass
>
>   + Removed dependency on separate Berkeley delta package
>
>   + Perl packages "Sys::CPU" and "Term::ReadKey" are now optional 
> dependencies
>
>   + Numerous bug fixes
>
> Note that the CMake-based build system is unsupported in this release.  
> This
> will be fixed and supported in the future.  For now, use the 
> Autoconf-based
> build system ("configure && make && make install").
>
> Eric.