- Experimental implementation of translation validation for GCC. (The links to the corresponding blogpost series are in the README) https://github.com/kristerw/pysmtgcc 4 comments cpp
Linking pages
- 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
- GCC Translation Validation – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2022/09/13/translation-validation/ 2 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
- GitHub - kristerw/smtgcc: Some experiments with SMT solvers and GIMPLE IR https://github.com/kristerw/smtgcc 0 comments
Linked pages
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 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
- GCC Translation Validation – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2022/09/13/translation-validation/ 2 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
- GitHub - AliveToolkit/alive2: Automatic verification of LLVM optimizations https://github.com/AliveToolkit/alive2 1 comment
- GitHub - davidmalcolm/gcc-python-plugin: GCC plugin that embeds CPython inside the compiler https://github.com/davidmalcolm/gcc-python-plugin 0 comments
- Part 3: Memory representation – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2023/07/17/memory-representation/ 0 comments
Would you like to stay up to date with C & C++? Checkout C & C++
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - kristerw/pysmtgcc: Some experiments with SMT solvers and GIMPLE IR
See how to search.