# MoonSmith

> MoonBit 编译器语义测试与失败用例归约

MoonSmith 保存 MoonBit 编译器差分测试的可重放异常证据，并归约失败程序。

## 说明

- [首页](<https://docs.moonsmith.zrr.dev/index.md>)
- [项目申报书](<https://docs.moonsmith.zrr.dev/project-proposal/index.md>)
- [术语](<https://docs.moonsmith.zrr.dev/glossary/index.md>)
- [文档站](<https://docs.moonsmith.zrr.dev/documentation/index.md>)

## 验收

- [规模验收](<https://docs.moonsmith.zrr.dev/acceptance-validation/index.md>)
- [五配置矩阵](<https://docs.moonsmith.zrr.dev/five-configuration-pilot/index.md>)
- [归约演示](<https://docs.moonsmith.zrr.dev/reduction-demonstration/index.md>)
- [CLI 安装验收](<https://docs.moonsmith.zrr.dev/cli-installation-validation/index.md>)
- [历史回归](<https://docs.moonsmith.zrr.dev/historical-regressions/index.md>)
- [构建异常分析](<https://docs.moonsmith.zrr.dev/native-release-analysis/index.md>)

## 发行

- [发行与验收](<https://docs.moonsmith.zrr.dev/releasing/index.md>)
- [0.0.1](<https://docs.moonsmith.zrr.dev/releases/0.0.1/index.md>)