./devel/cvise, Super-parallel Python port of the C-Reduce

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 2.10.0nb4, Package name: cvise-2.10.0nb4, Maintainer: pkgsrc-users

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.


Master sites:

Filesize: 264.491 KB

Version history: (Expand)


CVS history: (Expand)


   2024-04-19 06:48:55 by Adam Ciarcinski | Files touched by this commit (3) | Package updated
Log message:
cvise: updated to 2.10.0

v2.10.0

Changes done in the release:

LLVM 18 is properly supported
code has been reformatted with ruff
   2023-11-08 14:21:43 by Thomas Klausner | Files touched by this commit (2377)
Log message:
*: recursive bump for icu 74.1
   2023-11-07 21:01:47 by Adam Ciarcinski | Files touched by this commit (1)
Log message:
cvise: do not mention wip
   2023-11-07 21:01:20 by Adam Ciarcinski | Files touched by this commit (3) | Package updated
Log message:
cvise: updated to 2.9.0

v2.9.0

LLVM 17 is properly supported
code has been modernized to Python 3.8+
a new argument --shell has been added
   2023-08-14 07:25:36 by Thomas Klausner | Files touched by this commit (1247)
Log message:
*: recursive bump for Python 3.11 as new default
   2023-07-18 16:11:18 by Nia Alarie | Files touched by this commit (35)
Log message:
devel: Adapt packages to use USE_(CC|CXX)_FEATURES
   2023-07-09 15:59:49 by Nia Alarie | Files touched by this commit (1)
Log message:
cvise: Require a C++17 compiler.
   2023-05-07 12:01:26 by Thomas Klausner | Files touched by this commit (3) | Package updated
Log message:
cvise: update to 2.8.0.

Changes done in the release:

LLVM 16 is properly supported with bumped minimal CMake version (2f4e175)
the most beneficial passes (replace-function-def-with-decl and
replace-function-def-with-decl) take turn (after 30 transformations)
in early phases of reduction; that improves the speed of a reduction