Linking pages
- Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing | PyPy https://www.pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.html 11 comments
- Part 2: Verifying GCC optimizations using an SMT solver – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2022/11/01/verifying-optimizations/ 8 comments
- GitHub - kristerw/pysmtgcc: Some experiments with SMT solvers and GIMPLE IR https://github.com/kristerw/pysmtgcc 4 comments
- Part 1: Writing a GCC plugin in Python – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2022/10/20/gcc-python-plugin/ 2 comments
- Part 4: Address calculations – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2023/07/18/address-calculations/ 2 comments
- Part 3: Memory representation – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2023/07/17/memory-representation/ 0 comments
Linked pages
- GitHub - kristerw/pysmtgcc: Some experiments with SMT solvers and GIMPLE IR https://github.com/kristerw/pysmtgcc 4 comments
- Part 1: Writing a GCC plugin in Python – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2022/10/20/gcc-python-plugin/ 2 comments
- GitHub - AliveToolkit/alive2: Automatic verification of LLVM optimizations https://github.com/AliveToolkit/alive2 1 comment
Related searches:
Search whole site: site:kristerw.github.io
Search title: GCC Translation Validation – Krister Walfridsson's blog – Compilers, programming languages, etc.
See how to search.