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

Support for GNAT Community 2021 #494

Closed
treiher opened this issue Nov 13, 2020 · 1 comment · Fixed by #672
Closed

Support for GNAT Community 2021 #494

treiher opened this issue Nov 13, 2020 · 1 comment · Fixed by #672
Assignees
@treiher
Labels
generator Related to generator package (SPARK code generation)
Projects
RecordFlux 0.5

Comments

@treiher
Copy link
Collaborator

treiher commented Nov 13, 2020 •
edited
Loading

The generated code should be compatible with GNAT Community 2021.
@treiher treiher created this issue from a note in RecordFlux 0.5 (To do) Nov 13, 2020
@treiher treiher added the generator Related to generator package (SPARK code generation) label Nov 13, 2020
@treiher treiher removed this from To do in RecordFlux 0.5 Jan 21, 2021
@treiher treiher added this to To do in RecordFlux 0.7 via automation Jan 21, 2021
@treiher treiher removed this from To do in RecordFlux 0.7 Mar 3, 2021
@treiher treiher added this to To do in RecordFlux 0.5 via automation Mar 3, 2021
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Mar 3, 2021
@treiher treiher self-assigned this Mar 3, 2021
@treiher treiher changed the title Support for SPARK Pro 21.0 Support for GNAT Community 2021 Mar 3, 2021
@treiher treiher moved this from In progress to To do in RecordFlux 0.5 Mar 5, 2021
treiher added a commit that referenced this issue Mar 5, 2021
@treiher
Change code generation to support recent GNATprove versions
3e361d5 
Ref. #494
treiher added a commit that referenced this issue Mar 5, 2021
@treiher
Suppress warnings about set but not used arguments
866e239 
Ref. #494, Componolit/Workarounds#32
treiher added a commit that referenced this issue Mar 5, 2021
@treiher
Update proof session files
3eaa9cb 
Ref. #494
treiher added a commit that referenced this issue Mar 8, 2021
@treiher
Change code generation to support recent GNATprove versions
668da08 
Ref. #494
treiher added a commit that referenced this issue Mar 8, 2021
@treiher
Suppress warnings about set but not used arguments
d961666 
Ref. #494, Componolit/Workarounds#32
treiher added a commit that referenced this issue Mar 8, 2021
@treiher
Update proof session files
50c983a 
Ref. #494
@treiher treiher mentioned this issue Mar 8, 2021
Merged
treiher added a commit that referenced this issue Mar 9, 2021
@treiher
Change code generation to support recent GNATprove versions
7d15e9f 
Ref. #494
treiher added a commit that referenced this issue Mar 9, 2021
@treiher
Suppress warnings about set but not used arguments
5bc765a 
Ref. #494, Componolit/Workarounds#32
treiher added a commit that referenced this issue Mar 9, 2021
@treiher
Update proof session files
325d8f8 
Ref. #494
treiher added a commit that referenced this issue Mar 23, 2021
@treiher
Suppress warnings about set but not used arguments in example apps
ae38256 
Ref. #494, Componolit/Workarounds#32
@treiher treiher mentioned this issue Mar 23, 2021
Merged
treiher added a commit that referenced this issue Mar 24, 2021
@treiher
Suppress warnings about set but not used arguments in example apps
f63b13a 
Ref. #494, Componolit/Workarounds#32
@treiher treiher mentioned this issue Apr 27, 2021
Closed
@treiher treiher mentioned this issue May 21, 2021
Open
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 May 26, 2021
treiher added a commit that referenced this issue May 26, 2021
@treiher
Switch to GNAT Community 2021
3faa7f7 
Ref. #494
treiher added a commit that referenced this issue May 26, 2021
@treiher
Remove workarounds for earlier GNAT Community versions
7b34195 
Ref. #494
@treiher
Copy link
Collaborator Author

treiher commented May 27, 2021

The switch to GNAT Community 2021 is blocked by Componolit/ada-runtime#80.

treiher added a commit that referenced this issue May 27, 2021
@treiher
Change version of Ada runtime used for compatibility test
924ecb1 
Ref. #494
@treiher treiher moved this from In progress to Under review in RecordFlux 0.5 May 27, 2021
treiher added a commit that referenced this issue May 28, 2021
@treiher
Change version of Ada runtime used for compatibility test
fba6b97 
Ref. #494
@treiher treiher mentioned this issue May 28, 2021
Merged
42 tasks
RecordFlux 0.5 automation moved this from Under review to Merged Jun 8, 2021
treiher added a commit that referenced this issue Jun 8, 2021
@treiher
Switch to GNAT Community 2021
fdedff5 
Ref. #494
treiher added a commit that referenced this issue Jun 8, 2021
@treiher
Remove workarounds for earlier GNAT Community versions
15c5ab4 
Ref. #494
treiher added a commit that referenced this issue Jun 8, 2021
@treiher
Change version of Ada runtime used for compatibility test
beea8d0 
Ref. #494
isaahzorgh pushed a commit that referenced this issue Jun 29, 2021
@treiher
Switch to GNAT Community 2021
6e0fb7c 
Ref. #494
isaahzorgh pushed a commit that referenced this issue Jun 29, 2021
@treiher
Remove workarounds for earlier GNAT Community versions
a95b15b 
Ref. #494
isaahzorgh pushed a commit that referenced this issue Jun 29, 2021
@treiher
Change version of Ada runtime used for compatibility test
8134577 
Ref. #494
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
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)
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
1 participant
@treiher