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:42:Factory-Candidates-Check/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.8.0+git.20230914.9f237d6.tar.xz | 0000199728 195 KB | |
| cvise.changes | 0000038654 37.7 KB | |
| cvise.spec | 0000002738 2.67 KB |
Revision 74 (latest revision is 78)
Ana Guerrero (anag+factory)
accepted
request 1111380
from
Martin Liška (martinliska)
(revision 74)
- Update to version 2.8.0+git.20230914.9f237d6: * CMake: port to find_package(Python3) * CMake: add minimal version 3.14 * Moderninze to Python 3.8 and remove Leap CI. * Test LLVM 18 again. * LLVM nightly: move back to version 17 * fix pip installation * Revert previous change and use Ubuntu 23.04. * CI: remove 2 missing LLVM deps for version 18 * Fix CI. * Bump LLVM nightly build to LLVM 18. * LLVM 16: add missing header file for toString * Remove LLVM 12 from testing matrix as it is removed in TW. * Add build to ignored list of folders. * LLVM 17: add workaround for a Werror * Stop building against LLVM 11 due to a known LLVM issue: * Fix build with LLVM 17. * LLVM 17: port enum value to c++23. * Fix typo in the previous revision for LLVM 17. * Fix current LLVM tip branch. * Revert a leftover hunk.
Comments 0