Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add diagram of Seal5 metamodel #41

Open
PhilippvK opened this issue Feb 8, 2024 · 2 comments
Open

Add diagram of Seal5 metamodel #41

PhilippvK opened this issue Feb 8, 2024 · 2 comments
Assignees
@PhilippvK
Labels
infra:docs Improvements or additions to documentation priority:low type:help wanted Extra attention is needed
Milestone
User/Developer Do...

Comments

@PhilippvK
Copy link
Member

No description provided.

@PhilippvK
Copy link
Member Author

First quick draft:

Seal5MetaModel drawio

@PhilippvK
Copy link
Member Author

PhilippvK commented Feb 8, 2024 •
edited
Loading

An UML diagram would probably be better :D

@PhilippvK PhilippvK self-assigned this Feb 10, 2024
@PhilippvK PhilippvK added infra:docs Improvements or additions to documentation type:help wanted Extra attention is needed priority:low labels Feb 10, 2024
@PhilippvK PhilippvK modified the milestones: v0.1.0, v0.2.0 Feb 10, 2024
@PhilippvK PhilippvK mentioned this issue Jun 5, 2024
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@PhilippvK PhilippvK

Labels
infra:docs Improvements or additions to documentation priority:low type:help wanted Extra attention is needed
Projects
None yet
Milestone
User/Developer Documentation
Development

No branches or pull requests
1 participant
@PhilippvK