Show patches with: Series = [COMMITTED,01/30] ada: Missing dynamic predicate checks       |    State = Action Required       |    Archived = No       |   30 patches
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED,30/30] ada: Compiler goes into loop [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,29/30] ada: Remove -gnatdJ switch [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,28/30] ada: Fix segmentation fault on slice of array with Unbounded_String component [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,27/30] ada: Remove Iterable from list of GNAT-specific attributes [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,26/30] ada: Fix test for giving hint on ambiguous aggregate [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,25/30] ada: Missing postcondition runtime check in inherited primitive [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,24/30] ada: Revert changing a GNATProve mode message to a non-warning [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,23/30] ada: Deep copy of an expression sometimes fails to copy entities [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,22/30] ada: Minor cleanups in generic formal matching [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,21/30] ada: Remove message about goto rewritten as a loop [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,20/30] ada: Remove warning insertion characters from info messages [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,19/30] ada: Convert an info message to a continuation [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,18/30] ada: Simplify code in Cannot_Inline [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,17/30] ada: List subprogram body entities in scopes [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,16/30] ada: Interfaces order disables class-wide prefix notation calls [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,15/30] ada: Fix Super attribute documentation [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,14/30] ada: Fix expansion of protected subprogram bodies [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,13/30] ada: Fix oversight in latest finalization fix [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,12/30] ada: Check global mode restriction on encapsulating abstract states [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,11/30] ada: Streamline elaboration of local tagged types [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,10/30] ada: Do not inline subprogram which could cause SPARK violation [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,09/30] ada: Fix incorrect String lower bound in gnatlink [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,08/30] ada: Reject too-strict alignment specifications. [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,07/30] ada: Inline if -gnatn in CCG mode even if -O0 [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,06/30] ada: Fix fallout of previous finalization change [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,05/30] ada: Missing support for 'Old with overloaded function [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,04/30] ada: Simplify checks for Address and Object_Size clauses [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,03/30] ada: Add support for symbolic backtraces with DLLs on Windows [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,02/30] ada: Fix too late finalization of temporary object [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New
[COMMITTED,01/30] ada: Missing dynamic predicate checks [COMMITTED,01/30] ada: Missing dynamic predicate checks - - - - --- 2024-06-13 Marc Poulhiès New