Show patches with: Submitter = Arnaud Charlet       |    Archived = No       |   2468 patches
« 1 2 ... 5 6 7 … 24 25 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Spurious runtime failure on Default_Initial_Condition - - - - --- 2015-03-04 Arnaud Charlet New
[Ada] Compiler hang with full inlining and use clause in parent private part - - - - --- 2015-03-02 Arnaud Charlet New
[Ada] Type_Invariant'Class on interface types - - - - --- 2015-03-02 Arnaud Charlet New
[Ada] Argument of pragma Depends has wrong source location - - - - --- 2015-03-02 Arnaud Charlet New
[Ada] Initial checkin for unnesting of subprograms - - - - --- 2015-03-02 Arnaud Charlet New
[Ada] Output of errors related to Pre'Class, Pre_Class, Post'Class, Post_Class - - - - --- 2015-03-02 Arnaud Charlet New
[Ada] Subprogram contracts on generics - - - - --- 2015-03-02 Arnaud Charlet New
[Ada] convert GNAT doc to sphinx - - - - --- 2015-02-25 Arnaud Charlet New
[Ada] Indirect calls are always external - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] use proper name for Type_Invariant'Class in messages - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] Wrong type conversion on access to limited-with interface - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] Non-preemptive dispatching - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] Better error recovery for statement used in place of declaration - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] Better error message for illegal Invariant'class aspect - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] Fix internal error on inlining of renamed subprogram instantiation - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] --RTS= specified several times for same runtime directory - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] Allow pragma Inline_Always to overrule -fno-inline - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] missing error on interface overriding - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Add optional argument for tool name to pragma Warnings - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Record fatal errors in tree even in -gnatq/Q mode - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Handle WHEN used in place of WITH nicely - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Fix missing index check with optimization on - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Poor error message on pragma SPARK_Mode - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Fix bootstrapping on darwin9/10 (PR64349) - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Obscure ambiguity involving user-defined operators returning Boolean - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Suppress Import-In-Pure-Unit warning if Pure_Function given - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Fix bootstrapping on darwin9/10 (PR ada/64349) - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Improve message for condition always False (simple variable case) - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Improve error message of interface primitive overriding - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Rejection of legal use of subp'Access within a generic body - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Wrong Finalize_Address leads to Segmentation_Fault - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Invariant checks on view conversion - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Warn on suspicious Subprogram'Access - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] disable some files for SPARK cross references - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Implement RT_Resolution properly - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Fix bootstrapping on darwin9/10 (PR ada/64349). - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Avoid incorrect warning on limited with that item is unreferenced - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] gnatmake and gnatclean with projects are obsolete - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Disable wrapper for SPARK in the case of External Axiomatization - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Repair No_Strict_Aliasing configuration pragma - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Implement new Restriction No_Use_Of_Entity - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Fix inconsistent diagnostics for support of Atomic aspect - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Removal of ignored Ghost code - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Remove unreachable code in Freeze_Array_Type - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Handle Str'Last = Positive'Last in Text_IO.Get routines - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Rework the initialization/finalization of the runtime. - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Preliminary work for new restriction No_Use_Of_Entity - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] SCOs: handle the Short_Circuit_And_Or pragma - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Function in RCI cannot have anonymous access result - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] improve front-end floating point attributes computation - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Document recognition of : in place of # - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Use of incomplete types in invariant and predicate expressions. - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Changes to SPARK RM 7.1.3(11) - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Add additional Boolean fields to Name Table info - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Fix bad error message for No_Elaboration_Code_All - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Make sure we check divide by zero for fixed-point divide case - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Add warning for Suppress (Elaboration_Check) in SPARK - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Missing error on access type conversion - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Bump copyright year - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] New directories in project path for gnatls --RTS= - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] PR ada/63931 - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Source in multi-unit source has unique object file name - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Improvements to handling of unchecked union discriminants - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Debugging information for inlined predefined units - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Type conversion to String causes Constraint_Error - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Inter-unit inlining of expression functions with -gnatn1 - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Spurious errors on extension aggregate for limited type - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] gnat1: back end switch -G nnn (PR ada/47500) - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Generate VC in GNATprove instead of error for empty range check - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Give error message if duplicate Linker_Section given - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Interaction between 'Loop_Entry, 'Old, 'Update and Extensions_Visible - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Add missing SPARK_Mode aspects/pragmas on formal containers - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Attributes 'Old and 'Update must preserve the tag of their prefix - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Rework win32_wait to behave more like the UNIX waitpid() - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Improper assignment on indexing operation with implicit dereference - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Handling of function calls to predefined operators in ASIS - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Fix costly call to Following_Address_Clause - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Lift limitation of inter-unit inlining with generic packages - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Missing interface conversion in access type - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Use of Ghost actuals in Ghost subprogram calls - - - - --- 2014-11-07 Arnaud Charlet New
[Ada] Lower severity of the program's return value in some common cases - - - - --- 2014-11-07 Arnaud Charlet New
[Ada] Reject illegal null procedure - - - - --- 2014-11-07 Arnaud Charlet New
[Ada] Rejecting properly illegal iterator - - - - --- 2014-11-07 Arnaud Charlet New
[Ada] Ghost legality rules and SPARK_Mode - - - - --- 2014-11-07 Arnaud Charlet New
[Ada] Fixed-point multiplication in with no floating point - - - - --- 2014-11-07 Arnaud Charlet New
[Ada] Implement Ghost entities - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Store the display name in the project node - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Switch -gnatp should have no effect in GNATprove mode - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Incorrect RM references on invalid uses of 'Access attribute. - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Handling of Default_Storage_Pool in generics and instantiations. - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] New and updated library units for efficient and formal vectors - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Missing check on interface primitives - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Derived type whose parent has a full view with access discriminants - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Implementation of Default_Pool pragma - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Remove unreachable inlining code - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Changes related to back-end inlining - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Inlining of calls to subprogram renamings - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Aspect Default_Storage_Pool - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Calls to protected operations in pre/postcondition - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Lift obsolete limitations for pragma Inline - - - - --- 2014-10-31 Arnaud Charlet New
« 1 2 ... 5 6 7 … 24 25 »