Hacker GitHub

← All repos

marxin/cvise

View on GitHub ↗ ★ 354 Rust

Super-parallel Python port of the C-Reduce

7 mentions on Hacker News by 5 people: 1 story, 6 comments · first 2021-03-29 · latest 2026-11-02

Mentions per year 7 mentions · busiest year 2024 (4)
20082026
AllStoriesComments NewestTopOldest
  1. A "super-parallel Python port" of C-Reduce, cvise ( https://github.com/marxin/cvise ), is actually written in Python.
    comment by edwcross · 2024-11-28 · in You can use C-Reduce for any language
  2. …the minimal set that evokes an assembler defect quite a few times. It's a real handy program. [1] https://github.com/marxin/cvise
    comment by wyldfire · 2024-11-28 · in You can use C-Reduce for any language
  3. Looking forward to try it! A shout out to cvise ( https://github.com/marxin/cvise ) as a python alternative that works well too for non c languages.
    comment by canu7 · 2024-11-27 · in You can use C-Reduce for any language
  4. …tests. It's great. Also, if you happen to be reducing an LLVM case you can use llvm-reduce [2]. [1] https://github.com/marxin/cvise [2] https://llvm.org/docs/CommandGuide/llvm-reduce.html
    comment by wyldfire · 2024-07-16 · in Automated Test-Case Reduction
  5. cvise is another tool for test case reduction, similar to creduce mentioned in the article: https://github.com/marxin/cvise
    comment by pabs3 · 2022-10-20 · in How we use binary search to find compiler bugs
  6. C-Vise and C-Reduce are common ones for C/C++: https://github.com/marxin/cvise http://embed.cs.utah.edu/creduce/
    comment by pabs3 · 2021-03-29 · in A simple program reducer for any language