Cvise Versions Save

Super-parallel Python port of the C-Reduce

v2.10.0

2 months ago

Changes done in the release:

  • LLVM 18 is properly supported
  • code has been reformatted with ruff

v2.9.0

6 months ago

Changes done in the release:

  • LLVM 17 is properly supported
  • code has been modernized to Python 3.8+
  • a new argument --shell has been added

v2.8.0

1 year ago

Changes done in the release:

  • LLVM 16 is properly supported with bumped minimal CMake version (2f4e1755aa32b131b49606cd55b5bfcc7714a8a8)
  • 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

v2.7.0

1 year ago

Changes done in the release:

  • quite a few Clang passes were reworked by @strimo378
  • daily GitHub Action has been added for LLVM daily snapshot
  • --start-with provides a better error message if the pass is not found
  • pyupgrade was used to modernize the codebase to Python 3.6

v2.6.0

1 year ago

Changes done in the release:

  • new Clang passes rename-operator and member-to-global were added (thanks to @strimo378)
  • many Windows warnings are disabled for MSVC (thanks to @strimo378)
  • c++2b is a supported C++ standard

v2.5.0

1 year ago

Changes done in the release:

  • support LLVM 14 and LLVM 15
  • new option --skip-after-n-transforms was introduced
  • max pass increase limit was introduced (3) that helps passes that run many times (e.g. constant propagation)

v2.4.0

2 years ago

Changes done in the release:

  • support LLVM 13
  • support KeyboardInterrupt properly

v2.3.0

3 years ago

Changes done in the release:

  • support LLVM 12 (tested with rc3 tag)
  • remove temporary files in the working directory

v2.2.0

3 years ago

Changes done in the release:

  • add --clang-delta-preserve-routine cvise option (thanks to @andrewvaughanj)
  • recover ignored --clang-delta-std option
  • provide a better warning when test script contains a folder in path

v2.1.0

3 years ago

Changes done in the release:

  • new argument --start-with-pass is instroduced
  • clang_delta --query-instances properly reports when there's an error
  • file mode (chmod) is preserved for a reduced test-case