Super-parallel Python port of the C-Reduce

Edit Package cvise

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.

Refresh
Refresh
Source Files
Filename Size Changed
_constraints 0000000183 183 Bytes
_service 0000000505 505 Bytes
cvise-1.2.0+git.20200507.7cf63b5.tar.xz 0000172012 168 KB
cvise.changes 0000005534 5.4 KB
cvise.spec 0000002466 2.41 KB
Revision 5 (latest revision is 81)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 801271 from Martin Liška's avatar Martin Liška (marxin) (revision 5)
- Update to version 1.2.0+git.20200507.7cf63b5:
  * Fix cvise --version - unknown git version.

- Update to version 1.2.0+git.20200507.9fa4330:
  * Fix argument parsing of cvise-delta.
  * Remove unused files in .gitattributes.

- Update to version 1.1.0+git.20200507.c12db9c:
  * Bump to 1.2.0.

- Update to version 1.1.0+git.20200507.b467807:
  * Update cvise-delta documentation entry.
  * Add cvise-delta.
  * Add delta.json group file.
  * Fix different argument name error.
  * Fix crash when we reach enf of reduction.
  * Add clang_delta piggybacking test.
  * Skip git hash for cvise --version of a release build.
  * Do not re-count instances  for clangbinarysearch passes.
  * Start using psutil and improve CPU count detection.
  * Remove 2 lit leftovers.
  * Change timing-related options.
  * Update CREDUCE_MERGE.
  * Port to python tests.
  * correctly remove unused deleted/defaulted functions
  * Update copyright years.
  * Port to Python tests.
  * handle namespace declared by macros
  * Port to Python tests.
  * added several tests for remove-namespace pass
Comments 0
openSUSE Build Service is sponsored by