Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
creduce
71
package(s) known
AUR
creduce
2.10.0.r94.4ae77d1
(2.10.0.r94.4ae77d1-2)
Summary:
A C/C++ program reducer
Maintainer:
tavianator@aur
License:
custom:University of Illinois Open Source License
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
AUR
creduce-git
2.10.0.96.g8d56bee
(2.10.0.96.g8d56bee-1)
Summary:
A C program reducer.
Maintainer:
kritias@aur
License:
custom:University of Illinois/NCSA Open Source License
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Debian 8
jessie/main
creduce
2.2.1
(2.2.1-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Package sources
ok
Package issue tracker
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 9
stretch/main
creduce
2.6.0
(2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 10
buster/main
creduce
2.9~20181016
(2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 12
bookworm/main
creduce
2.10.0+20220116
(2.10.0+20220116-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian Unstable
sid/main
creduce
2.10.0+20220116
(2.10.0+20220116-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Deepin
main
creduce
2.9~20181016
(2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan 1.0
jessie/main
creduce
2.2.1
(2.2.1-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan 2.0
ascii/main
creduce
2.6.0
(2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan 3.0
beowulf/main
creduce
2.9~20181016
(2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
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
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan Unstable
unstable/main
creduce
2.10.0+20220116
(2.10.0+20220116-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
DPorts
devel/creduce
2.10.0
Summary:
Produces small test cases
Maintainer:
swills@freebsd.org
Category:
devel
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Build log
ok
,
no IPv6
FreeBSD Ports
devel/creduce
2.11.0.20220927
Summary:
Produces small test cases
Maintainer:
swills@freebsd.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
GNU Guix
c-reduce
2.10.0
Summary:
Reducer for interesting code
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
redir
,
no IPv6
Upstream download
ok
,
no IPv6
Homebrew
creduce
2.10.0
Summary:
Reduce a C/C++ program while keeping a property of interest
Link(s):
Package page
ok
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Kali Linux Rolling
main
creduce
2.10.0+20220116
(2.10.0+20220116-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
MacPorts
creduce
2.10.0
Summary:
Test-case reduction for C compiler bugs
Maintainers:
larryv@macports
larryv@github
Category:
devel
License:
NCSA
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
MSYS2 mingw
i686
mingw-w64-i686-creduce
2.10.0.r96.g8d56bee
(2.10.0.r96.g8d56bee-1)
Summary:
A C program reducer (mingw-w64)
License:
custom:University of Illinois/NCSA Open Source License
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
MSYS2 mingw
x86_64
mingw-w64-x86_64-creduce
2.10.0.r96.g8d56bee
(2.10.0.r96.g8d56bee-1)
Summary:
A C program reducer (mingw-w64)
License:
custom:University of Illinois/NCSA Open Source License
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
creduce
2.10.0
Summary:
A C program reducer
Maintainer:
w@wdtz.org
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
nixpkgs stable 22.05
creduce
2.10.0
Summary:
A C program reducer
Maintainer:
w@wdtz.org
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
nixpkgs stable 22.11
creduce
2.10.0
Summary:
A C program reducer
Maintainer:
w@wdtz.org
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
nixpkgs unstable
creduce
2.10.0
Summary:
A C program reducer
Maintainer:
w@wdtz.org
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
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
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
OpenMandriva 4.1
main/release
creduce
2.10.0
(2.10.0-1)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
bero@lindev.ch
Category:
Development/Tools
License:
BSD
Link(s):
Package sources
dead
(see archive.org)
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
OpenMandriva 4.2
main/release
creduce
2.10.0
(2.10.0-3)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
bero@lindev.ch
Category:
Development/Tools
License:
BSD
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
OpenMandriva 4.3
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
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
OpenMandriva Rolling
main/release
creduce
2.11.0
(2.11.0-0.20220825.1)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
bero@lindev.ch
Category:
Development/Tools
License:
BSD
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
OpenMandriva Cooker
main/release
creduce
2.11.0
(2.11.0-0.20220825.1)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
bero@lindev.ch
Category:
Development/Tools
License:
BSD
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Pardus 17
main
creduce
2.6.0
(2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Pardus 19
main
creduce
2.9~20181016
(2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Pardus 21
main
creduce
2.10.0+20201029
(2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot/main
creduce
2.10.0+20201029
(2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot-updates/main
creduce
2.10.0+20201029
(2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
pkgsrc current
devel/creduce
2.10.0
(2.10.0nb12)
Summary:
Tool for automatic reduction of C/C++ files triggering bugs
Maintainer:
pkgsrc-users@netbsd.org
Category:
devel
Link(s):
Package sources
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
PureOS Amber
creduce
2.9~20181016
(2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
PureOS landing
creduce
2.10.0+20201029
(2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Oldstable
main
creduce
2.9~20181016
(2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Stable
main
creduce
2.10.0+20201029
(2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Testing
main
creduce
2.10.0+20220116
(2.10.0+20220116-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Rosa 2021.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
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Rosa 2021.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
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Spack
creduce
develop
Maintainer:
olupton@spack
Link(s):
Package page
redir
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Spack
creduce
2.10.0
Maintainer:
olupton@spack
Link(s):
Package page
redir
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
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
Link(s):
Upstream homepage
ok
,
no IPv6
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
Link(s):
Upstream homepage
ok
,
no IPv6
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
Link(s):
Upstream homepage
ok
,
no IPv6
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
Link(s):
Upstream homepage
ok
,
no IPv6
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
Link(s):
Upstream homepage
ok
,
no IPv6
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
Link(s):
Upstream homepage
ok
,
no IPv6
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
Link(s):
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
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
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.10
kinetic/universe
creduce
2.10.0+20220116
(2.10.0+20220116-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 23.04
lunar/universe
creduce
2.10.0+20220116
(2.10.0+20220116-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Wikidata
creduce
2.10.0
Summary:
free software
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Upstream repository
ok
,
no IPv6