Pinned Repositories
deadstores
A Valgrind tool for finding redundant loads/stores
instless_comp
Instruction-less computation
kristerw.github.io
Build a Jekyll blog in minutes, without touching the command line.
pysmtgcc
Some experiments with SMT solvers and GIMPLE IR
smtgcc
Some experiments with SMT solvers and GIMPLE IR
spirv-tools
Python API and tools for manipulating and optimizing SPIR-V
kristerw's Repositories
kristerw/smtgcc
Some experiments with SMT solvers and GIMPLE IR
kristerw/pysmtgcc
Some experiments with SMT solvers and GIMPLE IR
kristerw/spirv-tools
Python API and tools for manipulating and optimizing SPIR-V
kristerw/deadstores
A Valgrind tool for finding redundant loads/stores
kristerw/instless_comp
Instruction-less computation
kristerw/kristerw.github.io
Build a Jekyll blog in minutes, without touching the command line.
kristerw/gcc-python-plugin
GCC plugin that embeds CPython inside the compiler
kristerw/netbsd_utils