decy-analyzer 1.0.0

Static analysis and type inference for C code
Documentation