Skip to content
This repository has been archived by the owner on Oct 10, 2022. It is now read-only.

Rename arrays to sequences #65

Closed
treiher opened this issue May 10, 2021 · 0 comments · Fixed by #66
Closed

Rename arrays to sequences #65

treiher opened this issue May 10, 2021 · 0 comments · Fixed by #66
Assignees
@treiher
Projects
RecordFlux Specifications

Comments

@treiher
Copy link
Member

treiher commented May 10, 2021

Cf. AdaCore/RecordFlux#528
@treiher treiher added this to To do in RecordFlux Specifications via automation May 10, 2021
@treiher treiher self-assigned this May 10, 2021
@treiher treiher moved this from To do to Under review in RecordFlux Specifications May 10, 2021
treiher added a commit that referenced this issue May 11, 2021
@treiher
Rename arrays to sequences
2555e19 
Ref. #65
@treiher treiher mentioned this issue May 11, 2021
Merged
RecordFlux Specifications automation moved this from Under review to Merged May 11, 2021
treiher added a commit that referenced this issue May 11, 2021
@treiher
Rename arrays to sequences
cda3a5c 
Ref. #65
rssen pushed a commit that referenced this issue Jun 10, 2021
@treiher @rssen
Rename arrays to sequences
6178373 
Ref. #65
treiher added a commit to AdaCore/RecordFlux that referenced this issue Oct 7, 2022
@treiher
Rename arrays to sequences
2a1fb8b 
Ref. Componolit/RecordFlux-specifications#65
treiher added a commit to AdaCore/RecordFlux that referenced this issue Oct 10, 2022
@treiher
Rename arrays to sequences
25ad3ee 
Ref. Componolit/RecordFlux-specifications#65
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@treiher treiher

Labels
None yet
Projects
No open projects
RecordFlux Specifications
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 65: Rename arrays to sequences Componolit/RecordFlux-specifications
1 participant
@treiher