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
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory/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.20230322.994dbe2.tar.xz | 0000199476 195 KB | |
| cvise.changes | 0000036525 35.7 KB | |
| cvise.spec | 0000002707 2.64 KB |
Revision 69 (latest revision is 81)
Dominique Leuenberger (dimstar_suse)
accepted
request 1073778
from
Martin Liška (marxin)
(revision 69)
- Update to version 2.7.0+git.20230322.994dbe2: * add timeout of 10s when we query for instances in clangbinarysearch pass * Fix build error with the current LLVM tip. * fix clang Werror * CI: add LLVM builder * CI: fix * CI: move cocurrency to top-level scope * CI: add concurrency also for llvm-nightly * CI: fix concurrency * CI: cancel previous builds * Use latest LLVM release. * Fix clang error: error: variable 'which' set but not used. * Use -Wno-error=maybe-uninitialized conditionally.
Comments 0