creduce packages - Repology

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/⁴⁶

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:
Homepage:
- https://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- https://github.com/csmith-project/creduce⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

DPorts

devel/creduce

2.10.0

Summary:
Produces small test cases
Maintainer:
- swills@freebsd.org
Category:
- devel
Package-related links:
Homepage:
- https://embed.cs.utah.edu/creduce/⁴⁶

FreeBSD Ports

devel/creduce

2.10.0

Summary:
Produces small test cases
Maintainer:
- swills@freebsd.org
Category:
- devel
Package-related links:
Homepage:
- https://embed.cs.utah.edu/creduce/⁴⁶

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/⁴⁶

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/⁴⁶
Download(s):
- https://github.com/csmith-project/creduce/archive/095c551a5f9ccaf2986edb836e7be9872d36c233.tar.gz⁴⁶

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/⁴⁶
Download(s):
- https://embed.cs.utah.edu/creduce/creduce-2.8.0.tar.gz⁴⁶

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/⁴⁶
Download(s):
- https://github.com/csmith-project/creduce/archive/48e622ba74bc35c5a81299d3a34b9b14038d6a70.tar.gz⁴⁶

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/⁴⁶
Download(s):
- https://github.com/csmith-project/creduce/archive/48e622ba74bc35c5a81299d3a34b9b14038d6a70.tar.gz⁴⁶

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/⁴⁶
Download(s):
- https://embed.cs.utah.edu/creduce/creduce-2.7.0.tar.gz⁴⁶

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⁴⁶
Download(s):
- http://embed.cs.utah.edu/creduce/creduce-2.10.0.tar.gz⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶
Download(s):
- https://github.com/csmith-project/creduce/archive/2a4480eb6cb72b3d2d131b536c883cc6d41bdcaa.tar.gz⁴⁶

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/⁴⁶
Download(s):
- https://github.com/csmith-project/creduce/archive/2a4480eb6cb72b3d2d131b536c883cc6d41bdcaa.tar.gz⁴⁶

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/⁴⁶

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⁴⁶

MSYS2 mingw
ⁱ⁶⁸⁶

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⁴⁶

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⁴⁶

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⁴⁶

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⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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:
Homepage:
- https://embed.cs.utah.edu/creduce/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

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:
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

Wikidata

creduce

2.10.0

Summary:
free software
Package-related links:
- Wikidata item
Homepage:
- http://embed.cs.utah.edu/creduce/⁴⁶

Packages for creduce

creduce

creduce

creduce-git

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

devel/creduce

devel/creduce

dev-util/creduce

dev-util/creduce

dev-util/creduce

dev-util/creduce

dev-util/creduce

dev-util/creduce

c-reduce

creduce

creduce

dev-util/creduce

dev-util/creduce

creduce

creduce

mingw-w64-i686-creduce

mingw-w64-x86_64-creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

devel/creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce

creduce