ahelwer
commented
1 year ago - All specs, modules, and models are now recorded in a top-level manifest.json file along with metadata
- All fields of the manifest.json that can be validated are validated, including:
- Whether the spec includes pluscal or proofs
- Whether the spec imports any community modules
- All specs are now checked for parse errors with SANY
- All models marked as size small are run with TLC
- All non-small models are smoke-tested