Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cvise
55
package(s) known
Alpine Linux Edge
testing
cvise
2.8.0
(2.8.0-r2)
Summary:
Python port of C-Reduce, for program testcase minimisation
Maintainer:
fallback-mnt-alpine@repology
License:
NCSA
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Alpine Linux Edge
testing
cvise-pyc
2.8.0
(2.8.0-r2)
Summary:
Precompiled Python bytecode for cvise
Maintainer:
fallback-mnt-alpine@repology
License:
NCSA
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
ALT Linux p10
cvise
2.3.0
(2.3.0-alt1)
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
lav@altlinux.ru
Category:
Development/C++
License:
BSD-3-Clause
Link(s):
Upstream homepage
ok
,
no IPv6
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Package issue tracker
ok
,
no IPv6
ALT Sisyphus
cvise
2.9.0
(2.9.0-alt1)
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
lav@altlinux.ru
Category:
Development/C++
License:
BSD-3-Clause
Link(s):
Upstream homepage
ok
,
no IPv6
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Package issue tracker
ok
,
no IPv6
AUR
cvise
2.8.0
(2.8.0-1)
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
danielotero@aur
License:
custom:University of Illinois
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Debian 11
bullseye/main
cvise
2.1.0
(2.1.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 build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 12
bookworm/main
cvise
2.7.0
(2.7.0-2)
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 13
trixie/main
cvise
2.8.0
(2.8.0-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian Unstable
sid/main
cvise
2.9.0
(2.9.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
dead
(see archive.org)
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian Unstable
sid/main
cvise
2.8.0
(2.8.0-2)
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
Devuan 4.0
chimaera/main
cvise
2.1.0
(2.1.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan Unstable
unstable/main
cvise
2.9.0
(2.9.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Fedora 32
updates
cvise
1.4.0
(1.4.0-1.fc32)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 33
updates
cvise
2.0.0
(2.0.0-1.fc33)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 33
release
cvise
1.4.0
(1.4.0-4.fc33)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 34
release
cvise
2.1.0
(2.1.0-3.fc34)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 35
release
cvise
2.3.0
(2.3.0-2.fc35)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 36
release
cvise
2.4.0
(2.4.0-3.fc36)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 37
release
cvise
2.4.0
(2.4.0-3.fc36)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 38
release
cvise
2.4.0
(2.4.0-3.fc36)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora 39
development
cvise
2.8.0
(2.8.0-1.fc39)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora Rawhide
development
cvise
2.8.0
(2.8.0-1.fc39)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
FreeBSD Ports
devel/cvise
2.9.0
Summary:
C-Vise is a super-parallel Python port of the C-Reduce
Maintainer:
bofh@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
Gentoo
dev-util/cvise
2.9.0
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
toolchain@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Gentoo
dev-util/cvise
2.8.0
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
toolchain@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Kali Linux Rolling
main
cvise
2.8.0
(2.8.0-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
LiGurOS stable
dev-util/cvise
2.8.0
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
mgorny@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
LiGurOS develop
dev-util/cvise
2.9.0
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
toolchain@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
LiGurOS develop
dev-util/cvise
2.8.0
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
toolchain@gentoo.org
Category:
dev-util
License:
UoI-NCSA
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
cvise
2.3.0
Summary:
Super-parallel Python port of C-Reduce
Maintainer:
orivej@gmx.fr
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.05
cvise
2.4.0
Summary:
Super-parallel Python port of C-Reduce
Maintainer:
orivej@gmx.fr
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.11
cvise
2.6.0
Summary:
Super-parallel Python port of C-Reduce
Maintainer:
orivej@gmx.fr
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 23.05
cvise
2.8.0
Summary:
Super-parallel Python port of C-Reduce
Maintainer:
orivej@gmx.fr
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs unstable
cvise
2.9.0
Summary:
Super-parallel Python port of C-Reduce
Maintainer:
orivej@gmx.fr
License:
NCSA
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
OpenMandriva Rolling
main/release
cvise
2.8.0
(2.8.0-1)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
bero@lindev.ch
Category:
Development/Tools
License:
MIT
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
cvise
2.8.0
(2.8.0-1)
Summary:
Tool for creating reduced test cases for compiler bugs
Maintainer:
bero@lindev.ch
Category:
Development/Tools
License:
MIT
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
openSUSE Leap 15.5
main/oss
cvise
2.7.0
(2.7.0+git.20221223.d9e4a50-bp155.1.5)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD-3-Clause
Link(s):
Package page
ok
Package page
dead
(see archive.org)
Package recipe
ok
Upstream homepage
ok
,
no IPv6
openSUSE Tumbleweed
src-oss
cvise
2.9.0
(2.9.0+git.20231106.cc76e98-1.1)
Summary:
Super-parallel Python port of the C-Reduce
Category:
Unspecified
License:
BSD-3-Clause
Link(s):
Package page
ok
Package recipe
ok
Package page
dead
(see archive.org)
Upstream homepage
ok
,
no IPv6
Pardus 21
main
cvise
2.1.0
(2.1.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot-updates/main
cvise
2.1.0
(2.1.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot/main
cvise
2.1.0
(2.1.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
pkgsrc current
devel/cvise
2.9.0
(2.9.0nb1)
Summary:
Super-parallel Python port of the C-Reduce
Maintainer:
pkgsrc-users@netbsd.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
PureOS landing
cvise
2.7.0
(2.7.0-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Oldstable
main
cvise
2.1.0
(2.1.0-1)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Stable
main
cvise
2.7.0
(2.7.0-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Testing
main
cvise
2.8.0
(2.8.0-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Spack
cvise
master
Maintainer:
fallback-mnt-spack@repology
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
cvise
2.7.0
Maintainer:
fallback-mnt-spack@repology
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 10.0
nabia-updates/main
cvise
2.3.0
(2.3.0-0ubuntu1~20.04)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/misc
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Trisquel 11.0
aramo/main
cvise
2.4.0
(2.4.0-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/misc
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 18.04
bionic-updates/universe
cvise
2.3.0
(2.3.0-0ubuntu1~18.04)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/misc
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 20.04
focal-updates/universe
cvise
2.3.0
(2.3.0-0ubuntu1~20.04)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/misc
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
cvise
2.4.0
(2.4.0-3)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/misc
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
cvise
2.7.0
(2.7.0-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/misc
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.10
mantic/universe
cvise
2.8.0
(2.8.0-2)
Maintainers:
debian-gcc@lists.debian.org
doko@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6