BSD Portsdevel/cvise 2.12.0nb1 NetBSD
Super-parallel Python port of the C-Reduce
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- Last update
- Commit
a4856445ee- License
- modified-bsd
- Categories
- devel
- Package size
- 3623.9 KiB, 32502.3 KiB installed
Description
C-Vise is a super-parallel Python port of the C-Reduce. The port is fully compatible to the C-Reduce and uses the same efficient LLVM-based C/C++ reduction tool named clang_delta.
C-Vise is a tool that takes a large C, C++ or OpenCL program that has a property of interest (such as triggering a compiler bug) and automatically produces a much smaller C/C++ or OpenCL program that has the same property. It is intended for use by people who discover and report bugs in compilers and other tools that process C/C++ or OpenCL code.
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | devel/cvise | 2.12.0nb1 |
| FreeBSD | devel/cvise | 2.12.0_1 |
| DragonFly | devel/cvise | 2.11.0 |
| HardenedBSD | devel/cvise | 2.12.0_1 |
| GhostBSD | devel/cvise | 2.12.0_1 |
Install
Binary package:
pkgin install cviseFrom pkgsrc:
cd /usr/pkgsrc/devel/cvise && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 2.12.0nb1 |
| NetBSD 10.1 aarch64 | 2.12.0nb1 |
| SmartOS / illumos x86_64 | - |
| macOS 15 arm64 | 2.12.0nb2 |