Krister Walfridsson

smtgcc. Some experiments with SMT solvers and GIMPLE IR

pysmtgcc. Some experiments with SMT solvers and GIMPLE IR

spirv-tools. Python API and tools for manipulating and optimizing SPIR-V

deadstores. A Valgrind tool for finding redundant loads/stores

instless_comp. Instruction-less computation