Lund, Sweden

Krister Walfridsson

Advanced
@kristerw
kristerw.github.io/

smtgcc. Some experiments with SMT solvers and GIMPLE IR

81

pysmtgcc. Some experiments with SMT solvers and GIMPLE IR

43

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

23

deadstores. A Valgrind tool for finding redundant loads/stores

21

instless_comp. Instruction-less computation

19
5
Apply