[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-dev] C-Reduce 2.9.0 Released

C-Reduce 2.9.0 is released!

Get it from GitHub:

Or if you want the official tarball:

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 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