| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
refactor: update window module handling in moon workspace - Adjusted documentation to clarify that local ./window/modules/window* members should not be included in moon.work. - Modified scripts and validation checks to ensure both window and windowing modules are treated as local workspace members. - Updated window-dev-mode.sh to toggle both nested window modules together, enhancing local development workflow. - Ensured consistency in validation scripts to reject local window workspace members and enforce published dependency usage. - Updated references to the new version of wzzc-dev/window@0.5.4-0.1.0 across documentation and scripts. | 1 个月前 | |
feat(macOS): Add GPU promotion scaffold and performance metrics tests - Introduced test-gpu-performance-metrics.mjs to validate GPU performance metrics parsing and overlay building. - Added test-gpu-promotion-manifest-lib.mjs for testing GPU promotion manifest validation and interpretation of macOS GPU smoke logs. - Created gpu_promotion_scaffold_wbtest.mbt to test platform mappings and GPU smoke log interpretation. - Implemented main.mbt for the GPU promotion scaffold, ensuring it generates valid pending manifests and gap reports without promoting the GPU. - Added moon.pkg for package configuration of the GPU promotion scaffold tools. | 1 个月前 | |
Add validation and verification tools for harness invariants and feature proof coverage - Introduced validate_harness_invariants with tests to check product logic patterns and entrypoints. - Added line_budget_catalog and moonbit_tool_wrapper_budget updates to accommodate new scripts. - Created verify_feature_proof_coverage to validate feature proof reports, including tests for coverage gaps. - Implemented window_dependency_info to extract and manage window versions from project dependencies. - Updated sitemap to include new documentation sections for architecture mapping. | 1 个月前 | |
Normalize MoUI check runners and workflow names | 1 个月前 | |
feat: Refactor MoonBit toolchain handling and improve error messages | 16 天前 | |
Normalize MoUI check runners and workflow names | 1 个月前 | |
Normalize MoUI check runners and workflow names | 1 个月前 | |
Normalize MoUI check runners and workflow names | 1 个月前 | |
Refactor popover and sheet handling to use unified presentation model - Renamed to in multiple files to standardize naming. - Removed implementation and replaced it with for managing sheets. - Introduced , , and related enums to encapsulate presentation logic. - Updated tests and layout contexts to accommodate new presentation structure. - Adjusted API surface classifications and budgets to reflect changes in presentation handling. | 12 天前 | |
Add validation and verification tools for harness invariants and feature proof coverage - Introduced validate_harness_invariants with tests to check product logic patterns and entrypoints. - Added line_budget_catalog and moonbit_tool_wrapper_budget updates to accommodate new scripts. - Created verify_feature_proof_coverage to validate feature proof reports, including tests for coverage gaps. - Implemented window_dependency_info to extract and manage window versions from project dependencies. - Updated sitemap to include new documentation sections for architecture mapping. | 1 个月前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 1 个月前 | ||
| 1 个月前 | ||
| 1 个月前 | ||
| 1 个月前 | ||
| 16 天前 | ||
| 1 个月前 | ||
| 1 个月前 | ||
| 1 个月前 | ||
| 12 天前 | ||
| 1 个月前 |