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

Parameterized messages #35

Closed
treiher opened this issue Aug 4, 2021 · 0 comments · Fixed by #38
Closed

Parameterized messages #35

treiher opened this issue Aug 4, 2021 · 0 comments · Fixed by #38

Comments

@treiher
Copy link
Contributor

treiher commented Aug 4, 2021

Cf. AdaCore/RecordFlux#609.
treiher added a commit that referenced this issue Aug 5, 2021
@treiher
Enable declaration of parameterized message types
45f4fb8 
Ref. #35
treiher added a commit that referenced this issue Aug 17, 2021
@treiher
Enable declaration of parameterized message types
538c4eb 
Ref. #35
treiher added a commit that referenced this issue Aug 17, 2021
@treiher
Add optional association list to Reset statement
cda8c59 
Ref. #35
treiher added a commit that referenced this issue Aug 30, 2021
@treiher
Enable setting of message parameters in Reset statement
d5f72a5 
Ref. #35
treiher added a commit that referenced this issue Aug 30, 2021
@treiher
Enable use of parameterized messages as field types
dd755c3 
Ref. #35
treiher added a commit that referenced this issue Sep 1, 2021
@treiher
Enable use of parameterized messages as field types
6aa129a 
Ref. #35
treiher added a commit that referenced this issue Sep 1, 2021
@treiher
Enable use of parameterized messages as field types
ce36cd2 
Ref. #35
@treiher treiher mentioned this issue Sep 6, 2021
Merged
treiher added a commit that referenced this issue Sep 7, 2021
@treiher
Enable declaration of parameterized message types
7bf3222 
Ref. #35
treiher added a commit that referenced this issue Sep 7, 2021
@treiher
Enable setting of message parameters in Reset statement
ba09d13 
Ref. #35
treiher added a commit that referenced this issue Sep 7, 2021
@treiher
Enable use of parameterized messages as field types
6d37e81 
Ref. #35
adacore-bot pushed a commit to AdaCore/RecordFlux that referenced this issue May 15, 2023
@treiher
Enable declaration of parameterized message types
8953e3a 
Ref. AdaCore/RecordFlux-parser#35
adacore-bot pushed a commit to AdaCore/RecordFlux that referenced this issue May 15, 2023
@treiher
Enable setting of message parameters in Reset statement
3368999 
Ref. AdaCore/RecordFlux-parser#35
adacore-bot pushed a commit to AdaCore/RecordFlux that referenced this issue May 15, 2023
@treiher
Enable use of parameterized messages as field types
9c61e94 
Ref. AdaCore/RecordFlux-parser#35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 35: Parameterized messages AdaCore/RecordFlux-parser
1 participant
@treiher