runmat-static-analysis 0.4.0

Domain-specific static analysis passes for RunMat
Documentation