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:Factory:RISCV/cvise && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
_constraints | 0000000183 183 Bytes | |
_service | 0000000508 508 Bytes | |
_servicedata | 0000000229 229 Bytes | |
cvise-2.10.0+git.20240415.00bdd8c.tar.xz | 0000200912 196 KB | |
cvise.changes | 0000040965 40 KB | |
cvise.spec | 0000002739 2.67 KB |
Latest Revision
Ana Guerrero (anag+factory)
accepted
request 1169838
from
Martin Liška (martinliska)
(revision 78)
- Update to version 2.10.0+git.20240415.00bdd8c: * format: run ruff * Implement a stopping threshold * Revert removal of restore_mode * format: use Ruff * Make CVise understand files in a filesystem tree * Refactor testing.py to pathlib module * Write pass statistics and test-case to --log-file as well * Show logs on stdout only when log-file arg is not provided * Fixed ruff's warning about too many blank lines * Removed basicConfig & fixed working of --log-file arg * Drop -Wno-error=deprecated-declarations option * fix deprecation warnings * CI: Set default to LLVM 18
Comments 0