ALT repositories
Last updated at Fri, 24 Jul 2020 14:09:54 +0000 | SRPMs: 24074
en ru
SRPMs in branches
hide window
Group :: Development/C++
Source RPM: cvise
Current version: 2.0.0-alt2
Built: about 2 months ago
Size: 183 KB
Repocop status: skip
Gear:   http://git.altlinux.org/gears/c/cvise.git
Archive:   http://ftp.altlinux.org/pub/distributions/archive/sisyphus/index/src/c/cvise
Home page:   https://github.com/marxin/cvise

License: BSD-3-Clause
Summary: Super-parallel Python port of the C-Reduce
Description:

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.

Current maintainer: Vitaly Lipatov

List of contributors: ACL: List of rpms provided by this srpm:
  • cvise
  • cvise-debuginfo
Recent changes (last three changelog entries):

2021-02-26 Vitaly Lipatov 2.0.0-alt2

    - add temp. BR to build with clang 11
        

2020-11-16 Vitaly Lipatov 2.0.0-alt1

    - new version 2.0.0 (with rpmrb script)
    - temp. disable tests (need rewrite run)
        

2020-11-10 Vitaly Lipatov 1.9.0-alt1

    - new version 1.9.0 (with rpmrb script)
        
 
The Geyser project is based on code from Prometheus2.0, which had been made available under the MIT License.