Skip to content
This repository has been archived by the owner on Nov 14, 2023. It is now read-only.

Rename then to goto in session states #39

Closed
treiher opened this issue Sep 22, 2021 · 0 comments · Fixed by #40
Closed

Rename then to goto in session states #39

treiher opened this issue Sep 22, 2021 · 0 comments · Fixed by #40
Assignees
@treiher

Comments

@treiher
Copy link
Contributor

treiher commented Sep 22, 2021

Part of AdaCore/RecordFlux#738
treiher added a commit that referenced this issue Sep 22, 2021
@treiher
Add goto keyword as alternative to then in transitions
f702705 
Ref. #39
treiher added a commit that referenced this issue Sep 22, 2021
@treiher
Prohibit use of then keyword in transitions
0531440 
Ref. #39
@treiher treiher self-assigned this Sep 22, 2021
treiher added a commit that referenced this issue Sep 22, 2021
@treiher
Rename then keyword to goto in state transitions
921da31 
Ref. #39
@treiher treiher mentioned this issue Sep 22, 2021
Merged
treiher added a commit that referenced this issue Sep 22, 2021
@treiher
Rename then keyword to goto in state transitions
593ea29 
Ref. #39
adacore-bot pushed a commit to AdaCore/RecordFlux that referenced this issue May 15, 2023
@treiher
Rename then keyword to goto in state transitions
7c563c5 
Ref. AdaCore/RecordFlux-parser#39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@treiher treiher

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 39: Rename then to goto in session states AdaCore/RecordFlux-parser
1 participant
@treiher