Skip to content

Actions: chantakan/verified-mbse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Refactor SubSystemVVBundle and VariadicCompose for improved clari… Build docs #11: Commit 4503bbd pushed by chantakan
11m 9s main
main
11m 9s
Refactor Interpretation Pattern documentation and enhance Variadic Co… Build docs #10: Commit ba32c0e pushed by chantakan
12m 29s main
main
12m 29s
feat: Introduce Variadic Composition API for N-machine SubSystemSpec … Build docs #9: Commit c3c9b9e pushed by chantakan
2m 46s main
main
2m 46s
feat: Extend Layer structure and support for ECSS-E-ST-10C compliance Build docs #8: Commit ce14624 pushed by chantakan
2m 41s main
main
2m 41s
feat: Generalize SubSystemSpec and related structures to support Krip… Build docs #7: Commit 22baad2 pushed by chantakan
3m 1s main
main
3m 1s
feat: Generalize FDIRBundle to unify with ToKripke and remove Product… Build docs #6: Commit bdc4a3c pushed by chantakan
2m 40s main
main
2m 40s
feat: Implement ToKripke instance for ProductStateMachine and unify L… Build docs #5: Commit 890285f pushed by chantakan
2m 46s main
main
2m 46s
Add contract-based design and model boundary modules; update README a… Build docs #4: Commit d2f8051 pushed by chantakan
11m 56s main
main
11m 56s
Refactor documentation and comments across multiple modules for clari… Build docs #3: Commit 27bae1c pushed by chantakan
11m 50s main
main
11m 50s
Translation: Updated translation of comments from Japanese to English Build docs #2: Commit 39e3572 pushed by chantakan
11m 49s main
main
11m 49s
initial commit Build docs #1: Commit e548e84 pushed by chantakan
12m 37s main
main
12m 37s