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:Leap:15.2:FactoryCandidates/cvise && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
_constraints | 0000000183 183 Bytes | |
_service | 0000000505 505 Bytes | |
cvise-2.1.0+git.20210111.972f4ba.tar.xz | 0000183820 180 KB | |
cvise.changes | 0000019313 18.9 KB | |
cvise.spec | 0000002687 2.62 KB |
Revision 25 (latest revision is 78)
Dominique Leuenberger (dimstar_suse)
accepted
request 862257
from
Martin Liška (marxin)
(revision 25)
- Update to version 2.0.0+git.20210111.972f4ba: * Bump to v2.1.0. * Make LLVM 12 code conditional. * clang_delta: llvm-12: getContentCache() now returns a reference * clang_delta: llvm-12: prefer getBufferOrNone to getBuffer * Fix non-COVERAGE builds. * Add missing python3 package for sqlite3. * Add sqlite-devel for tumbleweed. * Install git. * Simplify Leap build. * Fix one missing package for Leap. * Do not depend on sqlite. * Fix Leap configuration. * Fix config. * Fix configuration. * Workflow: add Leap container. * Use codecov directly. * Install curl. * Fix workflow. * Update codecov yml config. * Use codecov workflow directly. * Fix workflow. * Fix COVERAGE condition in GitHub workflow. * Remove Travis leftovers. * Add nproc. * Rename a step. * Fix badge URL. * Stop using Travis CI. Bye. * Github actions: add coverage. * Add github workflow.
Comments 0