aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/rtsfind.adb
AgeCommit message (Expand)Author
2022-05-09[Ada] Allow Big_Integer in loop and subprogram variantsPiotr Trojanek
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet
2021-12-02[Ada] Don't allow entry in implicit with chain to be ghostRichard Kenner
2021-07-08[Ada] Unsynchronized concurrent access to a Boolean variableSteve Baird
2021-06-21[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_OutputSteve Baird
2021-05-07[Ada] Minor reformattingsBob Duff
2021-05-07[Ada] Variable-sized node typesBob Duff
2021-05-03[Ada] Simplify implicit loading for GNATprove with Discard_NodePiotr Trojanek
2021-05-03[Ada] Update copyright noticeArnaud Charlet
2020-11-24[Ada] Use high-level Present instead of low-level equality testPiotr Trojanek
2020-10-19[Ada] Implement initialization of CUDA runtimeGhjuvan Lacambre
2020-10-16[Ada] Implement expansion of CUDA_Execute pragmaGhjuvan Lacambre
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet
2020-07-23[Ada] Stub CUDA_Execute and CUDA_Global pragmasArnaud Charlet
2020-06-15[Ada] T'Image calls T'Put_ImageBob Duff
2020-06-05[Ada] Put_Image attribute: Rtsfind cleanupsBob Duff
2020-06-05[Ada] Move routine for detecting special Text_IO packages from GNATprovePiotr Trojanek
2020-06-04[Ada] Put_Image attributeBob Duff
2020-06-03[Ada] Improve handling of SPARK_Mode in generic instancesYannick Moy
2020-06-02[Ada] Bump copyright yearArnaud Charlet
2019-10-10[Ada] Flag Sec_Stack_Used incorrectly set by ghost codePatrick Bernardi
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet
2018-01-11[Ada] Encoding of with clauses in ALI filesHristian Kirtchev
2017-09-25[multiple changes]Pierre-Marie de Rodat
2017-04-27[multiple changes]Arnaud Charlet
2017-04-25[multiple changes]Arnaud Charlet
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev
2017-04-25Minor reformatting.Arnaud Charlet
2017-04-25[multiple changes]Arnaud Charlet
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev
2017-01-06sem_prag.adb, [...]: Minor typo fixes.Gary Dismukes
2017-01-06[multiple changes]Arnaud Charlet
2016-10-12exp_ch5.adb, [...]: Minor reformatting.Hristian Kirtchev
2016-10-12[multiple changes]Arnaud Charlet
2016-04-18[multiple changes]Arnaud Charlet
2015-10-20sem_aggr.adb, [...]: Fix typos.Arnaud Charlet
2015-10-16exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...Hristian Kirtchev
2015-02-05015-02-05 Robert Dewar <dewar@adacore.com>Arnaud Charlet
2015-01-072015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev
2015-01-06ali-util.adb, [...]: Minor change of name Name_Table_Info => Name_Table_Int.Robert Dewar
2014-10-17[multiple changes]Arnaud Charlet
2014-08-01[multiple changes]Arnaud Charlet
2014-07-17debug.adb: Remove -gnatdQ.Robert Dewar
2014-02-25rtsfind.adb (Is_RTE): Protect against entity with no scope field (previously ...Robert Dewar
2014-02-20einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type.Robert Dewar
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar
2014-01-22[multiple changes]Arnaud Charlet
2014-01-22[multiple changes]Arnaud Charlet