aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/rtsfind.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-13ada: Streamline elaboration of local tagged typesEric Botcazou1-1/+1
2024-05-14ada: Rtsfind should not trash state used in analyzing instantiations.Steve Baird1-1/+8
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-05-25ada: Fix SPARK context not restored when Load_Unit is failingMarc Poulhiès1-11/+30
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-2/+2
2022-05-09[Ada] Allow Big_Integer in loop and subprogram variantsPiotr Trojanek1-2/+10
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-12-02[Ada] Don't allow entry in implicit with chain to be ghostRichard Kenner1-3/+11
2021-07-08[Ada] Unsynchronized concurrent access to a Boolean variableSteve Baird1-0/+8
2021-06-21[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_OutputSteve Baird1-5/+6
2021-05-07[Ada] Minor reformattingsBob Duff1-31/+31
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-03[Ada] Simplify implicit loading for GNATprove with Discard_NodePiotr Trojanek1-3/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-11-24[Ada] Use high-level Present instead of low-level equality testPiotr Trojanek1-1/+1
2020-10-19[Ada] Implement initialization of CUDA runtimeGhjuvan Lacambre1-1/+8
2020-10-16[Ada] Implement expansion of CUDA_Execute pragmaGhjuvan Lacambre1-1/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-3/+3
2020-07-23[Ada] Stub CUDA_Execute and CUDA_Global pragmasArnaud Charlet1-0/+6
2020-06-15[Ada] T'Image calls T'Put_ImageBob Duff1-2/+2
2020-06-05[Ada] Put_Image attribute: Rtsfind cleanupsBob Duff1-26/+105
2020-06-05[Ada] Move routine for detecting special Text_IO packages from GNATprovePiotr Trojanek1-0/+31
2020-06-04[Ada] Put_Image attributeBob Duff1-0/+4
2020-06-03[Ada] Improve handling of SPARK_Mode in generic instancesYannick Moy1-0/+4
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-10-10[Ada] Flag Sec_Stack_Used incorrectly set by ghost codePatrick Bernardi1-29/+33
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-7/+8
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2018-01-11[Ada] Encoding of with clauses in ALI filesHristian Kirtchev1-7/+7
2017-09-25[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-4/+2
2017-04-25[multiple changes]Arnaud Charlet1-1/+2
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-3/+12
2017-04-25Minor reformatting.Arnaud Charlet1-0/+1
2017-04-25[multiple changes]Arnaud Charlet1-0/+14
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-2/+3
2017-01-06sem_prag.adb, [...]: Minor typo fixes.Gary Dismukes1-1/+1
2017-01-06[multiple changes]Arnaud Charlet1-1/+1
2016-10-12exp_ch5.adb, [...]: Minor reformatting.Hristian Kirtchev1-3/+7
2016-10-12[multiple changes]Arnaud Charlet1-3/+13
2016-04-18[multiple changes]Arnaud Charlet1-1/+1
2015-10-20sem_aggr.adb, [...]: Fix typos.Arnaud Charlet1-1/+1
2015-10-16exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...Hristian Kirtchev1-6/+2
2015-02-05015-02-05 Robert Dewar <dewar@adacore.com>Arnaud Charlet1-3/+3
2015-01-072015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-0/+14
2015-01-06ali-util.adb, [...]: Minor change of name Name_Table_Info => Name_Table_Int.Robert Dewar1-1/+1
2014-10-17[multiple changes]Arnaud Charlet1-3/+105
2014-08-01[multiple changes]Arnaud Charlet1-4/+4
generated by cgit v1.1 at 2024-07-19 08:18:12 +0000