runmat-static-analysis 0.5.0

Domain-specific static analysis passes for RunMat
Documentation