Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
creduce
62
package(s) known
Alpine Linux Edge
testing
creduce
2.10.0 (2.10.0-r4)
Summary:
A C/C++ program reducer
Maintainer:
jakub@jirutka.cz
License:
custom
Package-related links:
Package details
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
AUR
creduce
2.10.0 (2.10.0-2)
Summary:
A C/C++ program reducer
Maintainer:
tavianator@aur
License:
custom:University of Illinois Open Source License
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
AUR
creduce-git
2.3.0.14.g49782e7 (2.3.0.14.g49782e7-1)
Summary:
A C program reducer.
Maintainer:
aksr@aur
License:
custom:University of Illinois/NCSA Open Source License
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
https://github.com/csmith-project/creduce
4
6
Debian Oldstable
oldstable/main
creduce
2.6.0 (2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Debian Stable
stable/main
creduce
2.9 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Debian Testing
testing/main
creduce
2.10.0 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Debian Unstable
main
creduce
2.10.0 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Debian Unstable
main
creduce
2.10.0 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Deepin
main
creduce
2.9 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Devuan 1.0 (Jessie)
jessie/main
creduce
2.2.1 (2.2.1-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Devuan 2.0 (ASCII)
ascii/main
creduce
2.6.0 (2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Devuan 3.0 (Beowulf)
beowulf/main
creduce
2.9 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Devuan 4.0 (Chimaera)
chimaera/main
creduce
2.10.0 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Devuan Unstable
unstable/main
creduce
2.10.0 (2.10.0+20201029-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
DPorts
devel/creduce
2.10.0
Summary:
Produces small test cases
Maintainer:
swills@freebsd.org
Category:
devel
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
FreeBSD Ports
devel/creduce
2.10.0
Summary:
Produces small test cases
Maintainer:
swills@freebsd.org
Category:
devel
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://embed.cs.utah.edu/creduce/
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
Homepage:
https://embed.cs.utah.edu/creduce/
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
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
Download(s):
https://github.com/csmith-project/creduce/archive/095c551a5f9ccaf2986edb836e7be9872d36c233.tar.gz
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
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
Download(s):
https://embed.cs.utah.edu/creduce/creduce-2.8.0.tar.gz
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
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
Download(s):
https://github.com/csmith-project/creduce/archive/48e622ba74bc35c5a81299d3a34b9b14038d6a70.tar.gz
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
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
Download(s):
https://github.com/csmith-project/creduce/archive/48e622ba74bc35c5a81299d3a34b9b14038d6a70.tar.gz
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
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
Download(s):
https://embed.cs.utah.edu/creduce/creduce-2.7.0.tar.gz
4
6
GNU Guix
c-reduce
2.10.0
Summary:
Reducer for interesting code
Package-related links:
Package page on Guix site
Package source in Git
Homepage:
https://embed.cs.utah.edu/creduce
4
6
Download(s):
http://embed.cs.utah.edu/creduce/creduce-2.10.0.tar.gz
4
6
Homebrew
creduce
2.10.0
Summary:
Reduce a C/C++ program while keeping a property of interest
Package-related links:
Formula page
Formula code on GitHub
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
Kali Linux Rolling
main
creduce
2.10.0 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Package-related links:
Git repository
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
LiGurOS 20.7
nokit
dev-util/creduce
2.11.0_pre20191110
Summary:
C-Reduce - a plugin-based C program reducer
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Package-related links:
Git directory
View ebuild
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
Download(s):
https://github.com/csmith-project/creduce/archive/2a4480eb6cb72b3d2d131b536c883cc6d41bdcaa.tar.gz
4
6
LiGurOS 21.1
nokit
dev-util/creduce
2.11.0_pre20191110
Summary:
C-Reduce - a plugin-based C program reducer
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Package-related links:
Git directory
View ebuild
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
Download(s):
https://github.com/csmith-project/creduce/archive/2a4480eb6cb72b3d2d131b536c883cc6d41bdcaa.tar.gz
4
6
Linuxbrew
creduce
2.10.0
Summary:
Reduce a C/C++ program while keeping a property of interest
Package-related links:
Formula page
Formula code on GitHub
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
MacPorts
creduce
2.10.0
Summary:
Test-case reduction for C compiler bugs
Maintainers:
larryv@macports
larryv@github
Category:
devel
License:
NCSA
Package-related links:
Port page on MacPorts.org
Port directory in GitHub repository
Homepage:
http://embed.cs.utah.edu/creduce
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
Package-related links:
Package source
PKGBUILD
Homepage:
https://github.com/csmith-project/creduce
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
Package-related links:
Package source
PKGBUILD
Homepage:
https://github.com/csmith-project/creduce
4
6
nixpkgs stable
creduce
2.9.0
Summary:
A C program reducer
Maintainer:
w@wdtz.org
License:
NCSA
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
https://embed.cs.utah.edu/creduce
4
6
nixpkgs unstable
creduce
2.9.0
Summary:
A C program reducer
Maintainer:
w@wdtz.org
License:
NCSA
Package-related links:
Package source
Homepage:
https://embed.cs.utah.edu/creduce
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
Package-related links:
Package repository
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
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
Package-related links:
Package repository
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
OpenMandriva Rolling
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
Package-related links:
Package repository
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
OpenMandriva Cooker
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
Package-related links:
Package repository
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Pardus 17
main
creduce
2.6.0 (2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Pardus 19
main
creduce
2.9 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Parrot
main
creduce
2.10.0 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
pkgsrc current
devel/creduce
2.10.0 (2.10.0nb5)
Summary:
Tool for automatic reduction of C/C++ files triggering bugs
Maintainer:
joerg@netbsd.org
Category:
devel
Package-related links:
pkgsrc.se page
Port CVS directory
Port Makefile
Homepage:
https://embed.cs.utah.edu/creduce/
4
6
PureOS Amber
creduce
2.9 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
PureOS landing
creduce
2.10.0 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Raspbian Oldstable
main
creduce
2.6.0 (2.6.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Raspbian Stable
main
creduce
2.9 (2.9~20181016-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Raspbian Testing
main
creduce
2.10.0 (2.10.0+20201029-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Rosa 2019.1
main/release
creduce
2.10.0 (2.10.0-2)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
m.novosyolov@rosalinux.ru
Category:
Development/Tools
License:
BSD
Package-related links:
Package on abf.io
Homepage:
http://embed.cs.utah.edu/creduce/
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
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Trisquel 7.0
belenos/main
creduce
2.2pre1 (2.2~pre1-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Trisquel 8.0
flidas/main
creduce
2.5 (2.5~20160420-0ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Homepage:
http://embed.cs.utah.edu/creduce/
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
Homepage:
http://embed.cs.utah.edu/creduce/
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
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Trisquel 9.0
etiona/main
creduce
2.8.0 (2.8.0~20180422-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Homepage:
http://embed.cs.utah.edu/creduce/
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Ubuntu 14.04
trusty/universe
creduce
2.2pre1 (2.2~pre1-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Ubuntu 16.04
xenial/universe
creduce
2.5 (2.5~20160420-0ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://embed.cs.utah.edu/creduce/
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://embed.cs.utah.edu/creduce/
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
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Ubuntu 18.04
bionic/universe
creduce
2.8.0 (2.8.0~20180422-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Ubuntu 20.04
focal/universe
creduce
2.10.0 (2.10.0+20200116-1ubuntu1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Ubuntu 20.10
groovy/universe
creduce
2.10.0 (2.10.0+20200116-1ubuntu2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://embed.cs.utah.edu/creduce/
4
6
Wikidata
creduce
2.10.0
Summary:
free software
Package-related links:
Wikidata item
Homepage:
http://embed.cs.utah.edu/creduce/
4
6