Cool! Thanks, Eric!
- Yang
On 2016-05-13 14:44, Eric Eide wrote:
C-Reduce 2.5.0 is released!
Get it from GitHub:
https://github.com/csmith-project/creduce/releases/tag/creduce-2.5.0
Or if you want the official tarball:
http://embed.cs.utah.edu/creduce/creduce-2.5.0.tar.gz
Notable improvements/changes since the previous release:
+ Supports and requires LLVM 3.8
+ Multi-file reduction
+ New pass for partial resolution of #ifdef's
+ Press "s" to skip to the next pass
+ Removed dependency on separate Berkeley delta package
+ Perl packages "Sys::CPU" and "Term::ReadKey" are now optional
dependencies
+ Numerous bug fixes
Note that the CMake-based build system is unsupported in this release.
This
will be fixed and supported in the future. For now, use the
Autoconf-based
build system ("configure && make && make install").
Eric.