This package browser is in early development. Mind the rough edges.

c-reduce 2.10.0

Reducer for interesting code

C-Reduce is a tool that takes a large C or C++ program that has a property of interest (such as triggering a compiler bug) and automatically produces a much smaller C/C++ program that has the same property. It is intended for use by people who discover and report bugs in compilers and other tools that process C/C++ code.


Install c-reduce 2.10.0 as follows:

guix install c-reduce@2.10.0

Or install the latest version:

guix install c-reduce

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.