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
- GitHub - kristerw/pysmtgcc: Some experiments with SMT solvers and GIMPLE IR https://github.com/kristerw/pysmtgcc 4 comments
- GCC Translation Validation – Krister Walfridsson's blog – Compilers, programming languages, etc. https://kristerw.github.io/2022/09/13/translation-validation/ 2 comments
- Correctness of a compiler for arithmetic expressions in Lean | kqueue.org https://kqueue.org/blog/2020/10/15/arithcc/ 0 comments
- GitHub - fitzgen/peepmatic: A DSL and compiler for generating peephole optimizers for Cranelift https://github.com/fitzgen/peepmatic 0 comments
- GitHub - intel/yarpgen: Yet Another Random Program Generator https://github.com/01org/yarpgen 0 comments
- GitHub - kristerw/smtgcc: Some experiments with SMT solvers and GIMPLE IR https://github.com/kristerw/smtgcc 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - AliveToolkit/alive2: Automatic verification of LLVM optimizations
See how to search.