Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
creduce
68
package(s) known
AUR
creduce
2.10.0 (2.10.0-3)
Summary:
A C/C++ program reducer
Maintainer:
tavianator@aur
License:
custom:University of Illinois Open Source License
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
AUR
creduce-git
2.10.0.78.g8ad9a5b (2.10.0.78.g8ad9a5b-1)
Summary:
A C program reducer.
Maintainer:
kritias@aur
License:
custom:University of Illinois/NCSA Open Source License
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Debian 8
jessie/main
creduce
2.2.1 (2.2.1-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package issue tracker
4
6
Package statistics
4
6
Debian 9
stretch/main
creduce
2.6.0 (2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package statistics
4
6
Debian 10
buster/main
creduce
2.9~20181016 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian 11
bullseye/main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian 12
bookworm/main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
Debian Stable
stable/main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian Testing
testing/main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian Unstable
sid/main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
Deepin
main
creduce
2.9~20181016 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan 1.0
jessie/main
creduce
2.2.1 (2.2.1-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan 2.0
ascii/main
creduce
2.6.0 (2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan 3.0
beowulf/main
creduce
2.9~20181016 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan 4.0
chimaera/main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan Unstable
unstable/main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
DPorts
devel/creduce
2.10.0
Summary:
Produces small test cases
Maintainer:
swills@freebsd.org
Category:
devel
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log
4
6
FreeBSD Ports
devel/creduce
2.10.0
Summary:
Produces small test cases
Maintainer:
swills@freebsd.org
Category:
devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
Funtoo 1.4
dev-kit
dev-util/creduce
9999
Summary:
C-Reduce - a plugin-based C program reducer
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
dev-kit
dev-util/creduce
2.9.0_pre20190414 (2.9.0_pre20190414-r1)
Summary:
C-Reduce - a plugin-based C program reducer
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
dev-kit
dev-util/creduce
2.8.0
Summary:
C-Reduce - a plugin-based C program reducer
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
dev-kit
dev-util/creduce
2.8.0_pre20180411 (2.8.0_pre20180411-r1)
Summary:
C-Reduce - a plugin-based C program reducer
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
dev-kit
dev-util/creduce
2.8.0_pre20180411
Summary:
C-Reduce - a plugin-based C program reducer
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
dev-kit
dev-util/creduce
2.7.0 (2.7.0-r1)
Summary:
C-Reduce - a plugin-based C program reducer
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
GNU Guix
c-reduce
2.10.0
Summary:
Reducer for interesting code
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package recipe
4
6
Homebrew
creduce
2.10.0
Summary:
Reduce a C/C++ program while keeping a property of interest
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Kali Linux Rolling
main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Linuxbrew
creduce
2.10.0
Summary:
Reduce a C/C++ program while keeping a property of interest
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
MacPorts
creduce
2.10.0
Summary:
Test-case reduction for C compiler bugs
Maintainers:
larryv@macports
larryv@github
Category:
devel
License:
NCSA
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
MSYS2 mingw
i686
mingw-w64-i686-creduce
2.10.0 (2.10.0-1)
Summary:
A C program reducer (mingw-w64)
Maintainer:
alexpux@gmail.com
License:
custom:University of Illinois/NCSA Open Source License
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
MSYS2 mingw
x86_64
mingw-w64-x86_64-creduce
2.10.0 (2.10.0-1)
Summary:
A C program reducer (mingw-w64)
Maintainer:
alexpux@gmail.com
License:
custom:University of Illinois/NCSA Open Source License
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
nixpkgs stable 21.05
creduce
2.9.0
Summary:
A C program reducer
Maintainer:
w@wdtz.org
License:
NCSA
Links(s):
Upstream homepage
4
6
Package recipe
4
6
nixpkgs unstable
creduce
2.9.0
Summary:
A C program reducer
Maintainer:
w@wdtz.org
License:
NCSA
Links(s):
Upstream homepage
4
6
Package recipe
4
6
OpenMandriva 4.0
main/release
creduce
2.8.0 (2.8.0-3)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
bero@lindev.ch
Category:
Development/Tools
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
OpenMandriva Cooker
main/release
creduce
2.11.0 (2.11.0-0.20210819.1)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
bero+massbuild@lindev.ch
Category:
Development/Tools
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Pardus 17
main
creduce
2.6.0 (2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Pardus 19
main
creduce
2.9~20181016 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Pardus 21
main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Parrot
main
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
pkgsrc current
devel/creduce
2.10.0 (2.10.0nb8)
Summary:
Tool for automatic reduction of C/C++ files triggering bugs
Maintainer:
joerg@netbsd.org
Category:
devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe (raw)
4
6
PureOS Amber
creduce
2.9~20181016 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
PureOS landing
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Raspbian Oldstable
main
creduce
2.9~20181016 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Raspbian Stable
main
creduce
2.10.0+20201029 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Raspbian Testing
main
creduce
2.10.0+20201029 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Rosa 2019.1
main/release
creduce
2.11.0 (2.11.0-0.20210505.1)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
a.proklov@rosalinux.ru
Category:
Development/Tools
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Rosa 2019.1
contrib/release
creduce
2.11.0 (2.11.0-0.20210505.2)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
m.novosyolov@rosalinux.ru
Category:
Development/Tools
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Spack
creduce
develop
Maintainer:
olupton@spack
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Spack
creduce
2.10.0
Maintainer:
olupton@spack
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Trisquel 7.0
belenos-updates/main
creduce
2.2.1 (2.2.1-1~14.04)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Trisquel 7.0
belenos/main
creduce
2.2~pre1 (2.2~pre1-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Trisquel 8.0
flidas/main
creduce
2.5~20160420 (2.5~20160420-0ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Trisquel 8.0
flidas-updates/main
creduce
2.5.0 (2.5.0-0ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Trisquel 9.0
etiona-updates/main
creduce
2.10.0 (2.10.0-1~18.04)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Trisquel 9.0
etiona/main
creduce
2.8.0~20180422 (2.8.0~20180422-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Trisquel 10.0
nabia/main
creduce
2.10.0+20200116 (2.10.0+20200116-1ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Ubuntu 14.04
trusty-updates/universe
creduce
2.2.1 (2.2.1-1~14.04)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 14.04
trusty/universe
creduce
2.2~pre1 (2.2~pre1-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 16.04
xenial/universe
creduce
2.5~20160420 (2.5~20160420-0ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 16.04
xenial-updates/universe
creduce
2.5.0 (2.5.0-0ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 18.04
bionic-updates/universe
creduce
2.10.0 (2.10.0-1~18.04)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 18.04
bionic/universe
creduce
2.8.0~20180422 (2.8.0~20180422-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 20.04
focal/universe
creduce
2.10.0+20200116 (2.10.0+20200116-1ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 20.10
groovy/universe
creduce
2.10.0+20200116 (2.10.0+20200116-1ubuntu2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 21.04
hirsute/universe
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 21.10
impish/universe
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 22.04
jammy/universe
creduce
2.10.0+20201029 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Wikidata
creduce
2.10.0
Summary:
free software
Links(s):
Upstream homepage
4
6
Upstream repository
4
6
Package page
4
6