Show patches with: Submitter = Arnaud Charlet       |    State = Action Required       |    Archived = No       |   2468 patches
« 1 2 ... 4 5 6 … 24 25 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Protected and task units in SPARK - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Restriction No_Dynamic_Sized_Objects - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] In an element iterator, the element is constant if the container is. - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Extraction of components/discriminants of concurrent types - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Overloaded indexing operations of a derived type - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Clean up in s-osinte - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Spurious errors with -gnatE and -gnatwl - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Spawning processes with no PATH - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Front-end inlining and predicates - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Contracts on protected entries and task units - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Pragma Volatile_Function has no effect on subprogram body - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Local name hides global item - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] SPARK_Mode on synchronized units and entry declarations - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Missing error on conflicting declarations - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Expression functions, internal bodies and freezing of contracts - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Spurious duplicate Default_Iterator error - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Implement stack-checking on arm64-darwin. - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Iterator subtypes - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Instances of Ada.Unchecked_Conversion as volatile functions - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Consistent setting of Pure flag on function with address parameters. - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Unconstrained build-in-place return in block statement - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Detection of lingering ignored Ghost code - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Crash on address clause involving controlled objects. - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Debug information for limited class-wide objects - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Friendlier behavior for "=" and ":=" - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Remove UET_Address attribute - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Discriminants and protected units - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Abort while processing "of" container loop - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Better recovery for misplaced keyword in discriminant specification - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Abort in front end client due to locked scope table - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Uninitialized variable on illegal placement of aspect specification - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Volatile functions - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Crash in compile-only mode with dynamic predicates. - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Spurious error in instantiation of formal package with attribute - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Improve error message for missing dependency item - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Support for recording bind time environment info - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Do not inline No_Return procedures in GNATprove mode - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Avoid overflow in Write_Int - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Pragma Constant_After_Elaboration - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Pragma Constant_After_Elaboration - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Spurious error on SPARK_Mode in generic package instantiation - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Check suppression in Ada.Containers - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Minor cleanup in finalization support of the runtime - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Cleanups in inter-unit inlining engine - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Optization of predicate checks - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Premature finalization leads to wrong short circuit result - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Crash on illegal program with -gnatf. - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Improper initialization of elementary parameters in entry calls - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Minimize the save/restore of Ghost_Mode - - - - --- 2015-10-16 Arnaud Charlet New
update in Ada maintainers - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Missing inlining of init_proc - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Remove propagation of atomicity from object to type - - - - --- 2015-05-27 Arnaud Charlet New
[Ada] Lift restriction on renaming with Volatile_Full_Access - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Implement Ghost entities - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Ensure consistency of fpt exponentiation results - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Preparatory work for solving exponentiation problem - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Implement -gnatd.k to suppress internal line numbers - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Allow new restriction pragmas in package System - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Move generally useful utility subprograms to GNAT frontend - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Check violation of 6.20/3 in aggregates - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Spurious visiblity error on private subtype and inlined constructs - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Assertion expressions and policy Ignore - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Cleanup work in internal support for renaming (2) - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Improved performance of writable actuals aliasing detection - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Cleanup work in internal support for renaming (1) - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] New aspect Disable_Controlled - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Improve performance of writable actuals aliasing detection - - - - --- 2015-05-25 Arnaud Charlet New
[Ada] Rename Has_Volatile_Full_Access into Is_Volatile_Full_Access - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Make sure Volatile_Full_Access is treated like Atomic - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Internal crash on package instantation compilation unit - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Size should be zero for null range discrete subtype - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Small enhancement to unchecked conversion warning in -gnatf mode - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Default_Initial_Condition attributes apply to the base type - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Duplicate symbol xxxAM due to anonymous access allocation - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Raise Program_Error on default initialization of references - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Cannot rename component of Volatile_Full_Access object - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Constants and hidden state - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Removal of SPARK RM 6.9 (11) - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Constants without variable input are not hidden state - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Correct some anmolies in the handling of Atomic - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Allow constants in SPARK contracts - - - - --- 2015-05-21 Arnaud Charlet New
[Ada] Implement new pragma/aspect Volatile_Full_Access - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Legality checks on a formal derived type derived from previous formal. - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Incomplete types and null procedures. - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Add constants to g-sercom for slow bit rates - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Generic_Dispatching_Constructor and multiple interfaces. - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Handling of object declarations with aggregates and specified alignment. - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Shadow entity of class-wide types - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Implement new pragma Ignore_Pragma - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Fix undetected overflow case in Ada.Real_Time."/" - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Visibility of a generic grand-child unit instantiated in its parent. - - - - --- 2015-05-12 Arnaud Charlet New
[ada,PR65490] Fix bzero warning in child_setup_tty - - - - --- 2015-03-31 Arnaud Charlet New
[Ada] New attribute typ'Deref (address-expr) - - - - --- 2015-03-24 Arnaud Charlet New
[Ada] Add extra entity fields - - - - --- 2015-03-13 Arnaud Charlet New
[Ada] Preliminary work for aspect Unimplemented - - - - --- 2015-03-13 Arnaud Charlet New
[Ada] Clean up generation of FIRST/LAST temps for bounds - - - - --- 2015-03-13 Arnaud Charlet New
[Ada] Fix problem with unnesting of subprograms - - - - --- 2015-03-04 Arnaud Charlet New
[Ada] Wrong runtime check on function returning interface type - - - - --- 2015-03-04 Arnaud Charlet New
[Ada] Bounded string slice fails when passed superflat bounds - - - - --- 2015-03-04 Arnaud Charlet New
[Ada] Syntax error detection on Ghost abstract states - - - - --- 2015-03-04 Arnaud Charlet New
« 1 2 ... 4 5 6 … 24 25 »