git/metabuilder
1
0
Fork 0
mirror of https://github.com/johndoe6345789/metabuilder.git synced 2026-04-25 14:25:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
c31bc5da7ff4c4ef7600a668c56391b374d95127
metabuilder/packages
History
johndoe6345789 3ec49cfe8c feat: Introduce schema-driven package system specification 
- Added `package_system.tla` to model the schema-driven package system, including multi-source loading, validation, dependency resolution, and permission filtering.
- Created `package_system.cfg` for TLC model checker configuration, defining constants and invariants for bounded model checking.
- Updated `metabuilder.tla` to reflect the core specification of MetaBuilder, emphasizing the package lifecycle and related specifications.
2026-01-02 21:59:59 +00:00
..
admin_dialog
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
arcade_lobby
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
audit_log
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
code_editor
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
codegen_studio
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
component_editor
feat: Introduce schema-driven package system specification
2026-01-02 21:59:59 +00:00
config_summary
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
css_designer
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
dashboard
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
data_table
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
database_manager
feat: Introduce schema-driven package system specification
2026-01-02 21:59:59 +00:00
dbal_demo
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
dropdown_manager
feat: Introduce schema-driven package system specification
2026-01-02 21:59:59 +00:00
form_builder
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
forum_forge
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
github_tools
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
irc_webchat
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
json_script_example
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
media_center
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
nav_menu
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
notification_center
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
package_manager
feat: Introduce schema-driven package system specification
2026-01-02 21:59:59 +00:00
package_validator
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
quick_guide
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
role_editor
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
route_manager
feat: Introduce schema-driven package system specification
2026-01-02 21:59:59 +00:00
schema_editor
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
screenshot_analyzer
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
smtp_config
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
social_hub
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
stats_grid
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
stream_cast
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
testing
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
theme_editor
feat: Introduce schema-driven package system specification
2026-01-02 21:59:59 +00:00
ui_auth
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_dialogs
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_footer
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_header
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_home
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_intro
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_level2
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_level3
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_level4
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_level5
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_level6
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_login
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_pages
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
ui_permissions
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
user_manager
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00
workflow_editor
refactor: update testing framework and restructure test configurations
2026-01-02 21:25:45 +00:00