aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_prag.adb
AgeCommit message (Expand)AuthorFilesLines
8 daysada: First controlling parameter: report error without Extensions allowedJavier Miranda1-10/+43
2024-08-29ada: Use the same warning character in continuation messagesViljar Indus1-1/+1
2024-08-23ada: Fix style in lines starting with assignment operatorPiotr Trojanek1-10/+10
2024-08-23ada: First controlling parameter aspectJavier Miranda1-0/+86
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou1-0/+76
2024-08-01ada: Accept duplicate SPARK_Mode pragmas in configuration filesPiotr Trojanek1-8/+0
2024-08-01ada: Style fixes: remove blank lines following 'begin' keywordsGhjuvan Lacambre1-1/+0
2024-06-20ada: Replace "All" argument to Extensions_Allowed pragma with "All_Extensions"Steve Baird1-3/+3
2024-06-20ada: New pragma to default all interrupts to system.Doug Rupp1-0/+13
2024-06-20ada: Remove Max_Entry_Queue_Depth pragma/aspectEric Botcazou1-12/+1
2024-06-13ada: Check global mode restriction on encapsulating abstract statesPiotr Trojanek1-25/+56
2024-06-13ada: Missing dynamic predicate checksJavier Miranda1-2/+96
2024-06-10ada: Derived type with convention C must override convention C_Pass_By_CopyGary Dismukes1-0/+9
2024-06-10ada: Remove unnecessary guard against empty listPiotr Trojanek1-9/+6
2024-06-10ada: Refactor checks for Refined_Depends in generic instancesPiotr Trojanek1-21/+9
2024-06-10ada: Refactor checks for Refined_Global in generic instancesPiotr Trojanek1-63/+23
2024-05-20ada: Detect only conflict with synomyms of max queue lengthJose Ruiz1-5/+13
2024-05-20ada: Implement representation aspect Max_Entry_Queue_LengthJose Ruiz1-0/+11
2024-05-17ada: Expose utility routine for processing of Depends contracts in SPARKPiotr Trojanek1-29/+0
2024-05-17ada: Only record types with discriminants can be unconstrainedPiotr Trojanek1-7/+4
2024-05-17ada: Simplify code for private types with unknown discriminantsPiotr Trojanek1-2/+1
2024-05-17ada: Allow private items with unknown discriminants as Depends inputsPiotr Trojanek1-2/+4
2024-05-17ada: Tune detection of unconstrained and tagged items in Depends contractPiotr Trojanek1-4/+4
2024-05-16ada: Fix ordering of code for pragma Preelaborable_InitializationPiotr Trojanek1-80/+80
2024-05-16ada: Fix docs and comments about pragmas for Boolean-valued aspectsPiotr Trojanek1-23/+25
2024-05-14ada: Fix pragma Compile_Time_Error and -gnatdJ crashRonan Desplanques1-4/+4
2024-05-14ada: Fix crash with -gnatdJ and -gnatw.wRonan Desplanques1-1/+1
2024-05-14ada: Update of SPARK RM legality rules on ghost codeYannick Moy1-6/+6
2024-05-13ada: Deconstruct flag Split_PPC since splitting now is done in expansionPiotr Trojanek1-6/+2
2024-05-13ada: Move splitting of pre/post aspect expressions to expansionPiotr Trojanek1-18/+0
2024-05-13ada: Recognize pragma Lock_Free as specific to GNATPiotr Trojanek1-0/+1
2024-05-07ada: Improve pragma No_Return's pre-Ada2022 handling of functionsSteve Baird1-69/+97
2024-05-07ada: Bad internal naming when using pragma Compile_Time_ErrorJustin Squirek1-1/+17
2024-05-07ada: Accept constants of access types as globals of side-effect functionPiotr Trojanek1-1/+3
2024-05-07ada: Update comment about implicit inputs of Depends contractPiotr Trojanek1-2/+1
2024-05-06ada: Allow use of writable parameters inside function with side-effectsPiotr Trojanek1-2/+3
2024-05-06ada: Cleanup collecting of implicit outputsPiotr Trojanek1-11/+11
2024-05-06ada: Support writable parameters in Depends with side-effectsPiotr Trojanek1-8/+13
2024-05-06ada: Deconstruct support for abstract states with Relaxed_InitializationPiotr Trojanek1-16/+9
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-12-19ada: Ignore unconstrained components as inputs for DependsPiotr Trojanek1-36/+2
2023-12-19ada: Cleanup SPARK legality checkingYannick Moy1-7/+5
2023-11-30ada: Remove SPARK legality checksYannick Moy1-80/+0
2023-11-30ada: Ignore defered compile time errors without backendViljar Indus1-0/+10
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-6/+6
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-1/+1
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+182
2023-11-07ada: Simplify code for Ignore_Style_Checks_PragmasViljar Indus1-15/+11
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-39/+266
2023-07-06ada: Improve error message on violation of SPARK_Mode rulesYannick Moy1-1/+3
generated by cgit v1.1 at 2024-09-18 08:31:25 +0000