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

Allow 'Opaque on Sequences #1021

Closed
jklmnn opened this issue May 10, 2022 · 0 comments · Fixed by #1037
Closed

Allow 'Opaque on Sequences #1021

jklmnn opened this issue May 10, 2022 · 0 comments · Fixed by #1037
Assignees
@treiher
Labels
generator Related to generator package (SPARK code generation) model Related to model package (e.g., model verification)
Projects
RecordFlux 0.6

Comments

@jklmnn
Copy link
Member

jklmnn commented May 10, 2022

No description provided.

@jklmnn jklmnn created this issue from a note in RecordFlux 0.6 (To do) May 10, 2022
@jklmnn jklmnn added generator Related to generator package (SPARK code generation) model Related to model package (e.g., model verification) labels May 10, 2022
@treiher treiher self-assigned this May 10, 2022
@treiher treiher moved this from To do to Implementation in RecordFlux 0.6 May 10, 2022
treiher added a commit that referenced this issue May 13, 2022
@treiher
Add support for Opaque attribute on sequences
cf44752 
Ref. #1021
treiher added a commit that referenced this issue May 13, 2022
@treiher
Add support for Opaque attribute on sequences
3423682 
Ref. #1021
treiher added a commit that referenced this issue May 13, 2022
@treiher
Add support for Opaque attribute on sequences
ead8087 
Ref. #1021
treiher added a commit that referenced this issue May 13, 2022
@treiher
Add support for Opaque attribute on sequences
448d3f6 
Ref. #1021
treiher added a commit that referenced this issue May 13, 2022
@treiher
Add support for Opaque attribute on sequences
7688d9e 
Ref. #1021
treiher added a commit that referenced this issue May 17, 2022
@treiher
Add support for Opaque attribute on sequences
95ce60a 
Ref. #1021
treiher added a commit that referenced this issue May 17, 2022
@treiher
Add support for Opaque attribute on sequences
791462a 
Ref. #1021
@treiher treiher mentioned this issue May 17, 2022
Merged
treiher added a commit that referenced this issue May 18, 2022
@treiher
Add support for Opaque attribute on sequences
f9ee0b5 
Ref. #1021
treiher added a commit that referenced this issue May 18, 2022
@treiher
Add support for Opaque attribute on sequences
aeaaf56 
Ref. #1021
RecordFlux 0.6 automation moved this from Implementation to Done May 19, 2022
treiher added a commit that referenced this issue May 19, 2022
@treiher
Add support for Opaque attribute on sequences
7ec4406 
Ref. #1021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
generator Related to generator package (SPARK code generation) model Related to model package (e.g., model verification)
Projects
No open projects
RecordFlux 0.6
  
Done
Milestone
No milestone
2 participants
@jklmnn @treiher