[creduce-dev] C-Reduce 2.6.0 Released

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

C-Reduce 2.6.0 is released!

Get it from GitHub:
  https://github.com/csmith-project/creduce/releases/tag/creduce-2.6.0

Or if you want the official tarball:
  http://embed.cs.utah.edu/creduce/creduce-2.6.0.tar.gz

Notable improvements/changes since the previous release:

  + Supports and requires LLVM 3.9

  + Supports CMake-based builds (in addition to Autoconf-based builds)

  + Fixed nondeterminism in some `clang_delta` transformations
    (Thank you to Moritz Pflanzer!)

  + Removed dependencies on third-party `indent` and `astyle` tools

  + New pass that replaces array accesses with index expressions
    (Thank you to Johan Bengtsson!)

  + New pass that replaces C++ vectors with arrays
    (Thank you to Ori Brostovski!)

  + New `--timeout` command-line option
    (Thank you to Vassil Vassilev!)

  + Various fixes to better support MS Windows

  + Numerous bug fixes

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