Skip to content

Releases: marxin/cvise

v1.1.0

30 Apr 12:52
Compare
Choose a tag to compare

Changes done in the release:

  • CMake files were updates in order to support standard GNUInstallDirs locations
  • remove-try-catch - new pass
  • include topformflat and do not depend on delta project
  • do not bail out when a pass misses a prerequisite
  • --version option is added
  • pass statistics are rapidly improved
  • various issues are fixed

v1.0.0

23 Apr 14:05
Compare
Choose a tag to compare

This is an initial project release as announced here:
http://www.flux.utah.edu/listarchives/creduce-dev/msg00475.html

Features and limitations:

  1. C-Vise is a super-parallel implementation where all passes run their transform and test script
    phase in parallel; that resolves csmith-project/creduce#160; I've seen significant speed up on a 16-core Zen CPU
  2. the project contains native BinaryState object which can help with fast traversal of a state space
  3. Python is hopefully more popular language than Perl

Minor improvements:

Known limitations:

  • configure & make build support is dropped
  • FreeBSD and Windows port is not tested
  • dependency on python-Pebble package
  • a small issue observed in Pebble (noxdafox/pebble#58)