[creduce-dev] C-Reduce 2.9.0 Released

[Eric Eide <eeide@cs.utah.edu>]

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.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX