Skip to content

Decapodes Refactor for Modal Double Diagrams#1283

Draft
quffaro wants to merge 1 commit into
mainfrom
cm/decapodes-using-modal-diagrams
Draft

Decapodes Refactor for Modal Double Diagrams#1283
quffaro wants to merge 1 commit into
mainfrom
cm/decapodes-using-modal-diagrams

Conversation

@quffaro

@quffaro quffaro commented May 17, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@quffaro quffaro added enhancement New feature or request external Work on interfacing with other tools tidying Refactoring or simplifying existing code labels May 17, 2026
@quffaro quffaro force-pushed the cm/decapodes-using-modal-diagrams branch from 8948c58 to cc2eb9e Compare May 18, 2026 21:02
@quffaro quffaro changed the base branch from main to cm/instances-modal-dbl-theories May 18, 2026 22:13
@quffaro quffaro changed the base branch from cm/instances-modal-dbl-theories to main May 19, 2026 01:09
@quffaro quffaro force-pushed the cm/decapodes-using-modal-diagrams branch 5 times, most recently from a031a3b to 298f678 Compare May 20, 2026 04:14
@quffaro quffaro force-pushed the cm/decapodes-using-modal-diagrams branch from 298f678 to 96730de Compare May 26, 2026 22:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request external Work on interfacing with other tools tidying Refactoring or simplifying existing code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant