Information for creduce

Versions

• 9999
• 2.10.0.94.g4ae77d1
• develop
• 2.11.0 (2)
• 2.10.0+20220116
• 2.10.0+20201029
• 2.10.0+20200116
• 2.10.0 (10)
• 2.10.0.r96.g8d56bee
• 2.10.0.r94.4ae77d1
• 2.9~20181016
• 2.9.0_pre20190414
• 2.8.0~20180422
• 2.8.0 (2)
• 2.8.0_pre20180411
• 2.7.0
• 2.6.0
• 2.5~20160420
• 2.5.0
• 2.2.1
• 2.2~pre1

Package names

• c-reduce
• creduce (12)
• creduce-git
• mingw-w64-creduce

Repositories

• AUR
• Debian 8
• Debian 9
• Debian 10
• Debian 11
• Debian 12
• Debian Unstable
• Deepin
• Devuan 1.0
• Devuan 2.0
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• DPorts
• FreeBSD Ports
• Funtoo 1.4
• GNU Guix
• Homebrew
• Kali Linux Rolling
• MacPorts
• MSYS2 mingw
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs unstable
• OpenMandriva 4.0
• OpenMandriva 4.1
• OpenMandriva 4.2
• OpenMandriva 4.3
• OpenMandriva Rolling
• OpenMandriva Cooker
• Pardus 17
• Pardus 19
• Pardus 21
• Parrot
• pkgsrc current
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Rosa 2021.1
• Spack
• Trisquel 7.0
• Trisquel 8.0
• Trisquel 9.0
• Trisquel 10.0
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 22.10
• Wikidata

Categories

• Development/Tools (2)
• dev-util
• devel (3)
• misc
• universe/devel

Licenses

• BSD (2)
• NCSA (2)
• UoI-NCSA
• custom:University of Illinois Open Source License
• custom:University of Illinois/NCSA Open Source License (2)

Summaries

• A C program reducer
• A C program reducer (mingw-w64)
• A C program reducer.
• A C/C++ program reducer
• C-Reduce - a plugin-based C program reducer
• Produces small test cases
• Reduce a C/C++ program while keeping a property of interest
• Reducer for interesting code
• Test-case reduction for C compiler bugs
• Tool for automatic reduction of C/C++ files triggering bugs
• Tool for creating reduced test cases for compiler bugs (2)
• free software

Maintainers

• a.proklov@rosalinux.ru
• bero+massbuild@lindev.ch
• bero@lindev.ch
• debian-gcc@lists.debian.org
• doko@debian.org
• kritias@aur
• larryv@github
• larryv@macports
• m.novosyolov@rosalinux.ru
• mgorny@gentoo.org
• olupton@spack
• pkgsrc-users@netbsd.org
• swills@freebsd.org
• tavianator@aur
• w@wdtz.org

• Group email

Homepage links

• http://embed.cs.utah.edu/creduce⁴⁶
• http://embed.cs.utah.edu/creduce/⁴⁶ (4)
• https://embed.cs.utah.edu/creduce⁴⁶ (2)
• https://embed.cs.utah.edu/creduce/⁴⁶ (6)
• https://github.com/csmith-project/creduce⁴⁶ (2)

Repository links

• https://github.com/csmith-project/creduce⁴⁶

All package recipes

• https://abf.io/import/creduce/blob/rosa2021.1/creduce.spec⁴⁶
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=creduce⁴⁶
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=creduce-git⁴⁶
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/debug.scm#n122⁴⁶
• https://github.com/DragonFlyBSD/DPorts/blob/master/devel/creduce/Makefile⁴⁶
• https://github.com/funtoo/dev-kit/blob/1.4-release/dev-util/creduce/creduce-2.7.0-r1.ebuild⁴⁶
• https://github.com/funtoo/dev-kit/blob/1.4-release/dev-util/creduce/creduce-2.8.0.ebuild⁴⁶
• https://github.com/funtoo/dev-kit/blob/1.4-release/dev-util/creduce/creduce-2.8.0_pre20180411-r1.ebuild⁴⁶
• https://github.com/funtoo/dev-kit/blob/1.4-release/dev-util/creduce/creduce-2.8.0_pre20180411.ebuild⁴⁶
• https://github.com/funtoo/dev-kit/blob/1.4-release/dev-util/creduce/creduce-2.9.0_pre20190414-r1.ebuild⁴⁶
• https://github.com/funtoo/dev-kit/blob/1.4-release/dev-util/creduce/creduce-9999.ebuild⁴⁶
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/creduce.rb⁴⁶
• https://github.com/macports/macports-ports/blob/master/devel/creduce/Portfile⁴⁶
• https://github.com/msys2/MINGW-packages/blob/master/mingw-w64-creduce/PKGBUILD⁴⁶
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/development/tools/misc/creduce/default.nix#L40⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/development/tools/misc/creduce/default.nix#L40⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/development/tools/misc/creduce/default.nix#L40⁴⁶
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/development/tools/misc/creduce/default.nix#L40⁴⁶
• https://github.com/OpenMandrivaAssociation/creduce/blob/4.0/creduce.spec⁴⁶
• https://github.com/OpenMandrivaAssociation/creduce/blob/4.1/creduce.spec⁴⁶
• https://github.com/OpenMandrivaAssociation/creduce/blob/4.2/creduce.spec⁴⁶
• https://github.com/OpenMandrivaAssociation/creduce/blob/4.3/creduce.spec⁴⁶
• https://github.com/OpenMandrivaAssociation/creduce/blob/master/creduce.spec⁴⁶
• https://github.com/OpenMandrivaAssociation/creduce/blob/rolling/creduce.spec⁴⁶
• https://github.com/spack/spack/blob/develop/var/spack/repos/builtin/packages/creduce/package.py⁴⁶

Downloads

• http://embed.cs.utah.edu/creduce/creduce-2.10.0.tar.gz⁴⁶
• https://embed.cs.utah.edu/creduce/creduce-2.7.0.tar.gz⁴⁶
• https://embed.cs.utah.edu/creduce/creduce-2.8.0.tar.gz⁴⁶
• https://github.com/csmith-project/creduce⁴⁶
• https://github.com/csmith-project/creduce/archive/095c551a5f9ccaf2986edb836e7be9872d36c233.tar.gz⁴⁶
• https://github.com/csmith-project/creduce/archive/48e622ba74bc35c5a81299d3a34b9b14038d6a70.tar.gz⁴⁶

Build logs

• https://sting.dragonflybsd.org/dports/logs/devel___creduce.log⁴⁶