creduce

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

Current versions:
2.5.0HEAD

Revision: 3

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

Dependencies

creduce requires the following formulae to be installed:

Formula history

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
Dominyk Tillercreduce: tweak insecure/broken urls
Mike McQuaidcreduce 2.5.0
Andrew Jankecreduce: add with-libcxx to llvm dependency
Show all revisions of this formula