decy-analyzer 2.0.0

Static analysis and type inference for C code
Documentation