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 <ee...@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