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

Backward compatibility to GNAT Community 2019 / Pro 20.2 #896

Closed
4 tasks done
treiher opened this issue Jan 10, 2022 · 0 comments · Fixed by #904
Closed
4 tasks done

Backward compatibility to GNAT Community 2019 / Pro 20.2 #896

treiher opened this issue Jan 10, 2022 · 0 comments · Fixed by #904
Assignees
@treiher
Labels
generator Related to generator package (SPARK code generation)

Comments

@treiher
Copy link
Collaborator

treiher commented Jan 10, 2022 •
edited
Loading

  • Add workarounds
  • Add CI tests
  • Update documentation
  • Enable compiler switches dependent on version
@treiher treiher added the generator Related to generator package (SPARK code generation) label Jan 10, 2022
@treiher treiher self-assigned this Jan 10, 2022
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Fix visibility issue
71edde4 
Ref. #896, Componolit/Workarounds#24
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Disable validity checks for operands in Ada
5fe4df9 
Ref. #896, Componolit/Workarounds#23
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Disable validity checking for Ada
d3fb490 
Ref. #896, Componolit/Workarounds#22
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Disable validity checks for in mode parameters in Ada
6e767a4 
Ref. #896, Componolit/Workarounds#43
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Disable assertions in Ada
6bc07f0 
Ref. #896, #Componolit/Workarounds#44
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Remove relaxed initialization
a85a7ed 
Ref. #896
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Remove unnecessary use type clause
a644547 
Ref. #896
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Add testing of compilation with GNAT Community 2019 and 2020
82e2c3c 
Ref. #896
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Add testing of compilation with GNAT Community 2019 and 2020
35d2aa2 
Ref. #896
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Add testing of compilation with GNAT Community 2019 and 2020
0fb8851 
Ref. #896
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Fix visibility issue
7e608b7 
Ref. #896, Componolit/Workarounds#24
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Disable validity checks for operands in Ada
bf1ca2b 
Ref. #896, Componolit/Workarounds#23
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Disable validity checking for Ada
5033da4 
Ref. #896, Componolit/Workarounds#22
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Disable validity checks for in mode parameters in Ada
c0425b9 
Ref. #896, Componolit/Workarounds#43
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Disable assertions in Ada
8c55122 
Ref. #896, #Componolit/Workarounds#44
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Remove relaxed initialization
986cd33 
Ref. #896
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Suppress warning for compatibility to GNAT Community 2019
c9dfb38 
Ref. #896
treiher added a commit that referenced this issue Jan 10, 2022
@treiher
Add testing of compilation with GNAT Community 2019 and 2020
c163155 
Ref. #896
treiher added a commit that referenced this issue Jan 11, 2022
@treiher
Remove relaxed initialization
2f85ae1 
Ref. #896
treiher added a commit that referenced this issue Jan 11, 2022
@treiher
Suppress warning for compatibility to GNAT Community 2019
a645665 
Ref. #896
treiher added a commit that referenced this issue Jan 11, 2022
@treiher
Add testing of compilation with GNAT Community 2019 and 2020
d1d67e9 
Ref. #896
treiher added a commit that referenced this issue Jan 11, 2022
@treiher
Add testing of compilation with GNAT Community 2019 and 2020
f725072 
Ref. #896
@treiher treiher changed the title Backward compatibility to GNAT Community 2019 / Pro 20.2 Backward compatibility to GNAT Community 2020 / Pro 20.2 Jan 13, 2022
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Remove relaxed initialization
311e41e 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Suppress warning for compatibility to GNAT Community 2019
c141681 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Add testing of compilation with various compilers
fd8cd00 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable assertions in Ada
93b7bac 
Ref. #896, #Componolit/Workarounds#44
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Remove relaxed initialization
c6ae623 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Suppress warning for compatibility to GNAT Community 2019
652bd3c 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Add testing of compilation with various compilers
46869c3 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Enable compiler-dependent switches
624956a 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Update requirements in README
be00ce5 
Ref. #896
@treiher treiher mentioned this issue Jan 13, 2022
Merged
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Fix visibility issue
58730b8 
Ref. #896, Componolit/Workarounds#24
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable validity checks for operands in Ada
a950cc7 
Ref. #896, Componolit/Workarounds#23
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable validity checking for Ada
dc338ee 
Ref. #896, Componolit/Workarounds#22
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable validity checks for in mode parameters in Ada
e825906 
Ref. #896, Componolit/Workarounds#43
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable assertions in Ada
e2ea05b 
Ref. #896, #Componolit/Workarounds#44
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Remove relaxed initialization
64c52cc 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Suppress warning for compatibility to GNAT Community 2019
76e6670 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Add testing of compilation with various compilers
58f0f0f 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Enable compiler-dependent switches
13fb543 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Update requirements in README
ac3cbe8 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Fix visibility issue
999cf6d 
Ref. #896, Componolit/Workarounds#24
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable validity checks for operands in Ada
9a7090a 
Ref. #896, Componolit/Workarounds#23
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable validity checking for Ada
3eaaebf 
Ref. #896, Componolit/Workarounds#22
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable validity checks for in mode parameters in Ada
3d1098a 
Ref. #896, Componolit/Workarounds#43
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Disable assertions in Ada
b3f26b6 
Ref. #896, #Componolit/Workarounds#44
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Remove relaxed initialization
01fd3b2 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Suppress warning for compatibility to GNAT Community 2019
e53bc56 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Add testing of compilation with various compilers
06eeef5 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Enable compiler-dependent switches
b8181a7 
Ref. #896
treiher added a commit that referenced this issue Jan 13, 2022
@treiher
Update requirements in README
eaac897 
Ref. #896
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
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 896: Backward compatibility to GNAT Community 2019 / Pro 20.2 AdaCore/RecordFlux
1 participant
@treiher