Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   13 patches
Patch Series rb/tb S/W/F Date Submitter Delegate State
[Ada] Reduce scope of declare block in analysis of allocators [Ada] Reduce scope of declare block in analysis of allocators - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove unnecessary block in code for expansion of allocators [Ada] Remove unnecessary block in code for expansion of allocators - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Proof of System.Vectors.Boolean_Operations [Ada] Proof of System.Vectors.Boolean_Operations - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Fix a couple of issues with pragma Inspection_Point [Ada] Fix a couple of issues with pragma Inspection_Point - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove unnecessary declare block [Ada] Remove unnecessary declare block - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove unnecessary guards for non-empty lists [Ada] Remove unnecessary guards for non-empty lists - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Simplify GNAT AST printing with simple GNAT hash table [Ada] Simplify GNAT AST printing with simple GNAT hash table - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Proof of runtime unit for non-binary modular exponentiation [Ada] Proof of runtime unit for non-binary modular exponentiation - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Expand controlling function wrapper into expression function [Ada] Expand controlling function wrapper into expression function - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Proof of runtime units for integer exponentiation (checks on) [Ada] Proof of runtime units for integer exponentiation (checks on) - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Simplify making of null procedure wrappers [Ada] Simplify making of null procedure wrappers - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Proof of runtime units for integer exponentiation (checks off) [Ada] Proof of runtime units for integer exponentiation (checks off) - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Fix sharing of formal parameters between wrapper spec and body [Ada] Fix sharing of formal parameters between wrapper spec and body - - --- 2022-01-05 Pierre-Marie de Rodat New