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

[John Regehr <regehr@cs.utah.edu>]

Yay!!! Thanks for pushing this out, Eric.

John


On 5/5/19 8:08 PM, Eric Eide wrote:
> C-Reduce 2.9.0 is released!
>
> Get it from GitHub:
>    https://github.com/csmith-project/creduce/releases/tag/creduce-2.9.0
>
> Or if you want the official tarball:
>    http://embed.cs.utah.edu/creduce/creduce-2.9.0.tar.gz
>
> Notable improvements/changes since the previous release:
>
>    + Supports and requires LLVM 7
>      (Thank you to Ray Donnelly!)
>
>    + New pass to remove constant `#if` blocks
>      (Thank you to Amy Huang!)
>
>    + New pass to remove `#if` blocks
>      (Thank you to Amy Huang!)
>
>    + New pass to remove `#line` directives
>      (Thank you to Amy Huang!)
>
>    + New binary-search pass for removing C++-style comments
>      (Thank you to Amy Huang!)
>
>    + Automatically run parallel "interestingness" tests on FreeBSD
>
>    + New `--version` command-line option reports version and exits
>      (Thank you to Pranav Kant!)
>
>    + Numerous bug fixes
>      (Thank you to Michal Janiszewski and Jakub Wilk!)
>
> Eric.