Super-parallel Python port of the C-Reduce
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.
- Developed at devel:tools
- Sources inherited from project openSUSE:Factory
-
1
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Leap:15.1:Staging:FactoryCandidates/cvise && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
_constraints | 0000000183 183 Bytes | |
_service | 0000000507 507 Bytes | |
_servicedata | 0000000229 229 Bytes | |
cvise-2.7.0+git.20230417.6b558fe.tar.xz | 0000199624 195 KB | |
cvise.changes | 0000037497 36.6 KB | |
cvise.spec | 0000002707 2.64 KB |
Revision 72 (latest revision is 78)
Dominique Leuenberger (dimstar_suse)
accepted
request 1079869
from
Martin Liška (marxin)
(revision 72)
- Update to version 2.7.0+git.20230417.6b558fe: * Handle cyclic namespace include that leads to inf. recursion. * Shorten pass names that use max_transforms property. * Fix clang warning: * build: factory out common flags and use -pedantic * Simplify dump output for BinaryState. * Revert "drop unneeded -Wno-error=mismatched-new-delete" * drop unneeded -Wno-error=mismatched-new-delete
Comments 0