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.

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

Add new k3fsm modeling samples #257

Merged
merged 7 commits into from
Feb 7, 2022
Merged

Add new k3fsm modeling samples #257

merged 7 commits into from
Feb 7, 2022

Conversation

ebousse
Copy link
Contributor

@ebousse ebousse commented Feb 2, 2022

Description

A set of new samples for K3FSM, and a new folder structure for samples
Does X

Changes

  • Rename older example "TwoStates"
  • Add several examples
  • For example example, put the model in either xtext or xmi folder (to clarify how it is serialized), and have a root file representations.aird

Notes

Incomplete PR: we would need to change the sample deployer, but not sure how to do that well

@dvojtise
Copy link
Contributor

dvojtise commented Feb 4, 2022

I'm looking to the required changes to the sample deployer (and possibly the integration tests too)...

contributes to #252

Signed-off-by: Didier Vojtisek <didier.vojtisek@inria.fr>
Signed-off-by: Didier Vojtisek <didier.vojtisek@inria.fr>
Signed-off-by: Didier Vojtisek <didier.vojtisek@inria.fr>
Signed-off-by: Didier Vojtisek <didier.vojtisek@inria.fr>
@dvojtise dvojtise merged commit bcc4faf into master Feb 7, 2022
@dvojtise dvojtise deleted the k3fsm-newmodels branch February 7, 2022 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants