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

Implement operators for base types #1070

Closed
jklmnn opened this issue Jun 10, 2022 · 0 comments · Fixed by #1072
Closed

Implement operators for base types #1070

jklmnn opened this issue Jun 10, 2022 · 0 comments · Fixed by #1072
Assignees
@jklmnn
Labels
generator Related to generator package (SPARK code generation) small Effort of one person-day or less

Comments

@jklmnn
Copy link
Member

jklmnn commented Jun 10, 2022

Some base types in the generated lack the proper operators (e.g. Index and Length). Without these they have to converted often. Adding the proper operators simplifies the code here.
@jklmnn jklmnn added generator Related to generator package (SPARK code generation) small Effort of one person-day or less labels Jun 10, 2022
@jklmnn jklmnn self-assigned this Jun 10, 2022
jklmnn added a commit that referenced this issue Jun 10, 2022
@jklmnn
Add proper operators for generic Index and Length types
a49831e 
ref #1070
jklmnn added a commit that referenced this issue Jun 10, 2022
@jklmnn
Fix contracts for type operators
01ad970 
ref #1070
jklmnn added a commit that referenced this issue Jun 13, 2022
@jklmnn
Fix proofs for custom_types test
5803118 
ref #1070
jklmnn added a commit that referenced this issue Jun 13, 2022
@jklmnn
Fix proofs for custom_types test
8c7754f 
ref #1070
@jklmnn jklmnn mentioned this issue Jun 13, 2022
Merged
jklmnn added a commit that referenced this issue Jun 15, 2022
@jklmnn
Add proper operators for generic Index and Length types
835e924 
ref #1070
jklmnn added a commit that referenced this issue Jun 15, 2022
@jklmnn
Fix contracts for type operators
d032d9b 
ref #1070
jklmnn added a commit that referenced this issue Jun 15, 2022
@jklmnn
Fix proofs for custom_types test
55c85b8 
ref #1070
jklmnn added a commit that referenced this issue Jun 17, 2022
@jklmnn
Add proper operators for generic Index and Length types
4a2ee46 
ref #1070
jklmnn added a commit that referenced this issue Jun 17, 2022
@jklmnn
Fix contracts for type operators
9fe25ad 
ref #1070
jklmnn added a commit that referenced this issue Jun 17, 2022
@jklmnn
Fix proofs for custom_types test
2f32d61 
ref #1070
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jklmnn jklmnn

Labels
generator Related to generator package (SPARK code generation) small Effort of one person-day or less
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add proper operators for generic Index and Length types AdaCore/RecordFlux
1 participant
@jklmnn