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 | 0000000505 505 Bytes | |
cvise-1.2.0+git.20200507.7cf63b5.tar.xz | 0000172012 168 KB | |
cvise.changes | 0000005534 5.4 KB | |
cvise.spec | 0000002466 2.41 KB |
Revision 5 (latest revision is 81)
Dominique Leuenberger (dimstar_suse)
accepted
request 801271
from
Martin Liška (marxin)
(revision 5)
- Update to version 1.2.0+git.20200507.7cf63b5: * Fix cvise --version - unknown git version. - Update to version 1.2.0+git.20200507.9fa4330: * Fix argument parsing of cvise-delta. * Remove unused files in .gitattributes. - Update to version 1.1.0+git.20200507.c12db9c: * Bump to 1.2.0. - Update to version 1.1.0+git.20200507.b467807: * Update cvise-delta documentation entry. * Add cvise-delta. * Add delta.json group file. * Fix different argument name error. * Fix crash when we reach enf of reduction. * Add clang_delta piggybacking test. * Skip git hash for cvise --version of a release build. * Do not re-count instances for clangbinarysearch passes. * Start using psutil and improve CPU count detection. * Remove 2 lit leftovers. * Change timing-related options. * Update CREDUCE_MERGE. * Port to python tests. * correctly remove unused deleted/defaulted functions * Update copyright years. * Port to Python tests. * handle namespace declared by macros * Port to Python tests. * added several tests for remove-namespace pass
Comments 0