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

c-reduce

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.

Installation

Install the latest version of c-reduce as follows:

guix install c-reduce

Or install a particular version:

guix install c-reduce@2.10.0

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.