creduce

Reduce a C/C++ program while keeping a property of interest

Current versions:
2.6.0HEAD

Revision: 1

Homepage:https://embed.cs.utah.edu/creduce/

Dependencies

creduce requires the following formulae to be installed:

Formula history

ilovezfscreduce: revision for llvm
ilovezfscreduce 2.6.0
ilovezfscreduce: revision for llvm
JCountcreduce: revision for llvm 3.9.1
Evgeny Mandrikovcreduce: patches for compilation with LLVM 3.9
Evgeny MandrikovIncrease revision in formulas that depend on llvm
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Dominyk Tillercreduce: bump revision for llvm
Dominyk Tillercreduce: tiny style nits
Show all revisions of this formula