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:Backports:SLE-15-SP4:SLECandidates/cvise && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _constraints | 0000000183 183 Bytes | |
| _service | 0000000505 505 Bytes | |
| cvise-1.0.0+git.20200426.be575d6.tar.xz | 0000167268 163 KB | |
| cvise.changes | 0000002585 2.52 KB | |
| cvise.spec | 0000002301 2.25 KB |
Revision 2 (latest revision is 78)
Dominique Leuenberger (dimstar_suse)
accepted
request 798063
from
Martin Liška (marxin)
(revision 2)
- Update to version 1.0.0+git.20200426.be575d6: * Update build matrix. * Test both LLVM 9 and LLVM 10. * Enable non-type-temp-arg.cpp test (csmith-project/creduce#212). * handle DREs coming from template instantiations * don't call EvaluateAsInt on dependent expressions * Update documentation for latest FreeBSD. * Change logic deciding which clang libs to link with clang_delta * Switch to lib names exported from ClangConfig.cmake * Support multiple passes for --remove-pass option. * Add 2 tests for clang_delta's try-catch pass.
Comments 0