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
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:adrianSuSE:PL/cvise && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
_constraints | 0000000183 183 Bytes | |
_service | 0000000507 507 Bytes | |
cvise-1.6.0+git.20200726.1b1be7c.tar.zst | 0000247644 242 KB | |
cvise.changes | 0000012248 12 KB | |
cvise.spec | 0000002487 2.43 KB |
Revision 14 (latest revision is 80)
Dominique Leuenberger (dimstar_suse)
accepted
request 822878
from
Martin Liška (marxin)
(revision 14)
- Update to version 1.5.0+git.20200726.1b1be7c: * Bump to v1.6.0. - Update to version 1.5.0+git.20200724.686d1e9: * clex: correctly exit when file does not exist. * Clean up ignores a bit. * Add ignores. * One more fix to ignores. * Add more ignores. * Fix mapping and add ignores. * Replace coverage badge. * Rename codecov.yml file. * Add .codecov.yml file with prefix fix. * Switch to codecov. * LGMT: exclude cpp/fixme-comment type. * Fix 2 LGTM CPP warnings. * LGTM: Do not build with debug info enabled. * Remove object files for LGTM. * Add coverage badge. * Update build script. * Add missing python3 package. * Add exclude pattern. * cvise/utils/testing.py: print full backtrace for test failure * cvise/passes/clangbinarysearch.py: add missing imports * Fix usage of BUILD_TYPE. * Pass BUILD_TYPE to build_and_test.sh. * Add missing sqlite3. * Add special coverage build. * Add argument to build_and_test.sh. * Install python3-pip package.
Comments 0