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

[creduce-dev] C-Reduce 2.8.0 Released



C-Reduce 2.8.0 is released!

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

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

Notable improvements/changes since the previous release:

  + Supports and requires LLVM 6.0

  + New `--not-c` command-line option disables passes most specific to C/C++

  + Removed dependency on obsolete `Sys::CPU` Perl package

  + 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