aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.adb
AgeCommit message (Expand)Author
2019-10-12 PR ada/91995Eric Botcazou
2019-10-10[Ada] Various minor typo fixesGary Dismukes
2019-10-10[Ada] Unnesting issues with entry families and accept statementsGary Dismukes
2019-09-19[Ada] Fix bogus visibility error with nested generics and inliningEric Botcazou
2019-09-19[Ada] Remove duplicated routines for getting homonym numberPiotr Trojanek
2019-09-18[Ada] Spurious run time error on anonymous access formalsJustin Squirek
2019-09-18[Ada] Implement AI12-0086's rules for discriminants in aggregatesSteve Baird
2019-09-18[Ada] Refine type of Get_Homonym_Number resultPiotr Trojanek
2019-09-18[Ada] Skip entity name qualification in GNATprove modeYannick Moy
2019-09-17[Ada] Don't accept illegal (e.g., Integer'(null)) generic actualsSteve Baird
2019-09-17[Ada] A new utility routine for detecting attribute 'OldPiotr Trojanek
2019-08-21[Ada] Do not rewrite argument of pragma Entry_Queue_Length in analysisPiotr Trojanek
2019-08-21[Ada] Missing attribute update in new_copy_treeJavier Miranda
2019-08-21[Ada] Max_Entry_Queue_Length aspect for protected entriesJustin Squirek
2019-08-20[Ada] Pragma Warning_As_Error works for style warningsBob Duff
2019-08-19[Ada] Improve warnings about "too few elements" and "too many elements"Gary Dismukes
2019-08-14[Ada] Sem_Util: fix a bug in New_Copy_TreeJavier Miranda
2019-08-14[Ada] Crash on precondition involving quantified expressionEd Schonberg
2019-08-13[Ada] Complete the more extended AST traversal used in GNATproveYannick Moy
2019-08-12[Ada] Crash on illegal left-hand side in assignment of renamed variableEd Schonberg
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy
2019-08-12[Ada] Adapt new extended traversal of AST to have optional partYannick Moy
2019-08-12[Ada] Extended traversal subprograms for GNATproveYannick Moy
2019-07-11[Ada] Minor refactoringPiotr Trojanek
2019-07-11[Ada] Infinite loop on illegal declarationHristian Kirtchev
2019-07-11[Ada] Missing finalization of private protected typeHristian Kirtchev
2019-07-10[Ada] Documentation of Img attribute out of dateJustin Squirek
2019-07-10[Ada] Entity names are not uniqueSimon Buist
2019-07-10[Ada] Minor reformattingHristian Kirtchev
2019-07-10[Ada] Fix crashes on ownership checking in SPARKYannick Moy
2019-07-09[Ada] Minor reformattingHristian Kirtchev
2019-07-09[Ada] Fix scopes for local variables in task/protected bodiesEd Schonberg
2019-07-08[Ada] Remove dead code from Enclosing_Package_Or_Subprogram routinePiotr Trojanek
2019-07-05[Ada] Minor reformattingHristian Kirtchev
2019-07-05[Ada] Wrong accessibility level under -gnat12Javier Miranda
2019-07-05[Ada] Spurious error on aggregate with choice that is predicted subtypeEd Schonberg
2019-07-05[Ada] Fix inlining in GNATprove inside quantified expressionsYannick Moy
2019-07-04[Ada] Assertion failure on Default_Initial_ConditionHristian Kirtchev
2019-07-04[Ada] Minor typo fixesPiotr Trojanek
2019-07-04[Ada] Synchronized object definition in SPARK updatedYannick Moy
2019-07-03[Ada] ABE checks v3.0, foundations of Elaboration order v4.0Hristian Kirtchev
2019-07-01[Ada] Remove a SPARK rule about implicit GlobalPiotr Trojanek
2019-07-01[Ada] Minor reformattingHristian Kirtchev
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat
2018-12-11[Ada] Crash on misplaced First operation for GNAT iterable typeEd Schonberg
2018-12-11[Ada] Minor reformattingHristian Kirtchev
2018-12-11[Ada] Stubs that complete generic subprogram do have a "prior declaration"Piotr Trojanek
2018-12-11[Ada] Support access types in GNATproveYannick Moy
2018-12-03[Ada] Fixes for various wrong and missing error messages on ACATS B85100[567]Gary Dismukes
2018-12-03[Ada] Minor reformattingsHristian Kirtchev
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-10 04:39:21 +0000