Hacker News
Linking pages
- Finding Bugs in C and C++ Compilers using YARPGen | SIGPLAN Blog https://blog.sigplan.org/2021/01/14/finding-bugs-in-c-and-c-compilers-using-yarpgen/ 50 comments
- Mining JIT traces for missing optimizations with Z3 | PyPy https://pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html 42 comments
- Adrian Sampson: Automated Test-Case Reduction https://www.cs.cornell.edu/~asampson/blog/autoreduction.html 29 comments
- GitHub - andrewchambers/cc: Cross platform C preprocessor and compiler. https://github.com/andrewchambers/cc 12 comments
- Everything You Ever Wanted To Know About Test-Case Reduction, But Didn’t Know to Ask | Trail of Bits Blog https://blog.trailofbits.com/2019/11/11/test-case-reduction/ 3 comments
- An Overview of Test Case Reduction | SIGPLAN Blog https://blog.sigplan.org/2021/03/30/an-overview-of-test-case-reduction/ 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - csmith-project/creduce: C-Reduce, a C program reducer
See how to search.