README
riantr/moonbit_static_analysis/src/cli does not have a README file
Source Files
Install
Download zipThree-inspection (structural / type / behavior) static analysis for MoonBit programs, every toolchain file kind (.mbt / .mbtx / .mbti / .mbt.md / .mbtp) and state-machine tables
static-analysislinterstate-machineabstract-interpretationfile-kindsmbtiliterate-markdownformal-verification
MIT
Updated 2 days ago
1K downloads