Path to this page:
Subject: CVS commit: wip/creduce-git
From: Thomas Klausner
Date: 2014-09-06 23:13:44
Message id: E1XQNJ5-0007OO-1n@sfs-ml-2.v29.ch3.sourceforge.com
Log Message:
Import creduce-2.1.0nb20140906 as wip/creduce-git.
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.
Files: