creduce

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

Current versions:
2.5.0 HEAD

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

Dependencies

creduce requires the following formulae to be installed:

Formula history

Evgeny Mandrikov creduce: patches for compilation with LLVM 3.9
Evgeny Mandrikov Increase revision in formulas that depend on llvm
Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Dominyk Tiller creduce: bump revision for llvm
Dominyk Tiller creduce: tiny style nits
Dominyk Tiller creduce: tweak insecure/broken urls
Mike McQuaid creduce 2.5.0
Andrew Janke creduce: add with-libcxx to llvm dependency
Andrew Janke creduce: audit fix
Show all revisions of this formula