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

More concise templates (forall, foreach, local clocks...) #164

Open
tomaz1502 opened this issue Mar 1, 2024 · 0 comments
Open

More concise templates (forall, foreach, local clocks...) #164

tomaz1502 opened this issue Mar 1, 2024 · 0 comments
Assignees
@tomaz1502
Labels
input model
Milestone
feature: Templates

Comments

@tomaz1502
Copy link
Collaborator

Ideally one should be able to, in most cases, only set a global variable (i.e. const N := 2, const N := 10) to define the number of automata and get everything working automatically.
@tomaz1502 tomaz1502 added this to the feature: Templates milestone Mar 1, 2024
@tomaz1502 tomaz1502 self-assigned this Mar 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tomaz1502 tomaz1502

Labels
input model
Projects
None yet
Milestone
feature: Templates
Development

No branches or pull requests
2 participants
@etienneandre @tomaz1502