Show patches with: Archived = No       |   126776 patches
« 1 2 ... 571 572 573 … 1267 1268 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Freezing in expression function that is a completion. - - - - --- 2017-04-28 Arnaud Charlet New
[Ada] Freezing issues with expression functions - - - - --- 2014-10-23 Arnaud Charlet New
[Ada] Freezing nodes placement fixed with quantified expression inside an expression function. - - - - --- 2012-06-14 Arnaud Charlet New
[Ada] Freezing of contracts, Part_Of and current instance of a concurrent type - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Freezing of nested generic instantiations - - - - --- 2012-01-30 Arnaud Charlet New
[Ada] Freezing of non null subtypes of formal parameters - - - - --- 2012-04-26 Arnaud Charlet New
[Ada] Freezing rules and expression functions - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Freezing subprogram that returns a limited view - - - - --- 2014-08-04 Arnaud Charlet New
[Ada] Freezing the designated type of an access_to_subprogram_type - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Freezing too strict in instances [Ada] Freezing too strict in instances - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Friendlier behavior for "=" and ":=" - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Front-end inlining and instantiations of UC [Ada] Front-end inlining and instantiations of UC - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Front-end inlining and predicates - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Front-end inlining in GNATprove mode - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Front-end layout in a generic unit - - - - --- 2012-02-22 Arnaud Charlet New
[Ada] Front-end support for attribute Scalar_Storage_Order - - - - --- 2012-03-09 Arnaud Charlet New
[Ada] Front-end support for per-instance coverage analysis - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Frontend cleanup - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Frontend cleanup: removal of attribute Is_Overriding_Operation - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] Full views of private subtypes with unknown discriminants. - - - - --- 2013-10-14 Arnaud Charlet New
[Ada] Fully implement general form static predicates - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Fully initialized types - - - - --- 2014-01-20 Arnaud Charlet New
[Ada] Fully propagate representation aspects through renaming [Ada] Fully propagate representation aspects through renaming - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Fully qualify name in JSON representation info [Ada] Fully qualify name in JSON representation info - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Funalization of controlled function results in conditional expression - - - - --- 2012-06-14 Arnaud Charlet New
[Ada] Function calls in prefixed form in preconditions in generics - - - - --- 2013-07-05 Arnaud Charlet New
[Ada] Function in RCI cannot have anonymous access result - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Functions returning dispatching results - - - - --- 2010-10-04 Arnaud Charlet New
[Ada] Functions with access result are primitives - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Further adapt proof of double arithmetic runtime unit [Ada] Further adapt proof of double arithmetic runtime unit - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Further adjustment and optimization of System.Value_N [Ada] Further adjustment and optimization of System.Value_N - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Further cleanup in constraint checking code for allocators [Ada] Further cleanup in constraint checking code for allocators - - - - --- 2020-06-19 Pierre-Marie de Rodat New
[Ada] Further cleanup in inlining machinery [Ada] Further cleanup in inlining machinery - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Further evaluation of type bounds in GNATprove mode [Ada] Further evaluation of type bounds in GNATprove mode - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Further fix non-stored discriminant in aggregate for GNATprove [Ada] Further fix non-stored discriminant in aggregate for GNATprove - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Further fixes to MINIMIZED overflow checking mode - - - - --- 2012-10-03 Arnaud Charlet New
[Ada] Further illegalities with operator call in functional notation - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Further improve the expansion of array aggregates [Ada] Further improve the expansion of array aggregates - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Further optimization with uninitialized aggregates [Ada] Further optimization with uninitialized aggregates - - - - --- 2020-11-25 Pierre-Marie de Rodat New
[Ada] Further preliminary work for [Component_]Default_Value - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Further refinement to Atomic_Synchronization handling - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Further tweak for PR ada/52123 - - - - --- 2013-03-08 Eric Botcazou New
[Ada] Further work on atomic synchronization - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Further work on new overflow checking scheme - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Further work on pre/post aspects - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Further work on predicates - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Further work on tags for warning messages - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Further work on tags for warning messages - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] GNAT driver and externally built library project files - - - - --- 2014-02-19 Arnaud Charlet New
[Ada] GNAT driver command line - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] GNAT driver with a project file and a single main - switches - - - - --- 2013-01-03 Arnaud Charlet New
[Ada] GNAT driver, ASIS tools and switch -files= - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] GNAT option to treat run-time exception warnings as errors - - - - --- 2017-05-02 Arnaud Charlet New
[Ada] GNAT-LLVM unnesting issues in elaboration code [Ada] GNAT-LLVM unnesting issues in elaboration code - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] GNAT.Binary_Search is not internal [Ada] GNAT.Binary_Search is not internal - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] GNAT.Command_Line.Get_Argument does't expand correctly with custom parser - - - - --- 2014-06-13 Arnaud Charlet New
[Ada] GNAT.Compiler_Version and LTO [Ada] GNAT.Compiler_Version and LTO - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameter [Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameter - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] GNAT.Expect (Expect_Internal): Try to call 'poll' few times [Ada] GNAT.Expect (Expect_Internal): Try to call 'poll' few times - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] GNAT.Sockets.Null_Selector - - - - --- 2010-06-18 Arnaud Charlet New
[Ada] GNAT.Sockets: fix recent regressions [Ada] GNAT.Sockets: fix recent regressions - - - - --- 2019-03-22 Pierre-Marie de Rodat New
[Ada] GNATmake fails to detect missing body [Ada] GNATmake fails to detect missing body - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] GNATprove: avoid crash on illegal borrow during package elaboration [Ada] GNATprove: avoid crash on illegal borrow during package elaboration - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] General handling of potential renamings in SPARK - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] General purpose doubly linked list for compiler and tool use [Ada] General purpose doubly linked list for compiler and tool use - - - - --- 2018-08-21 Pierre-Marie de Rodat New
[Ada] Generalized indexing in Ada2012 - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Generate Alfa cross-references for instantiations of generics - - - - --- 2012-03-30 Arnaud Charlet New
[Ada] Generate Machine, Model and Rounding FP attributes in line - - - - --- 2014-08-01 Arnaud Charlet New
[Ada] Generate VC in GNATprove instead of error for empty range check - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Generate ada_target_properties [Ada] Generate ada_target_properties - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Generate debug info entry for user-defined access subtype [Ada] Generate debug info entry for user-defined access subtype - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Generate minimally correct C/C++ binding for stddef.h [Ada] Generate minimally correct C/C++ binding for stddef.h - - - - --- 2018-02-28 Eric Botcazou New
[Ada] Generate optimized code for protected subprograms if no exceptions. - - - - --- 2014-01-29 Arnaud Charlet New
[Ada] Generate predicate checks for on assignments in records [Ada] Generate predicate checks for on assignments in records - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Generate style warnings for spec - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Generate temporary for if-expression with -fpreserve-control-flow [Ada] Generate temporary for if-expression with -fpreserve-control-flow - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Generate warning for negative literal of a modular type [Ada] Generate warning for negative literal of a modular type - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Generated name of task that is a record component - - - - --- 2014-01-29 Arnaud Charlet New
[Ada] Generated tag assignment after object declaration - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Generation of SCOs for aspects - - - - --- 2012-12-05 Arnaud Charlet New
[Ada] Generation of external and fully qualified names - - - - --- 2011-12-02 Arnaud Charlet New
[Ada] Generation of procedures for blocks occurring in elaboration code for LLVM [Ada] Generation of procedures for blocks occurring in elaboration code for LLVM - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Generation of routine _Postconditions - - - - --- 2013-04-24 Arnaud Charlet New
[Ada] Generic dispatching constructors of limited interface types [Ada] Generic dispatching constructors of limited interface types - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Generic_Dispatching_Constructor and multiple interfaces. - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Get finalization right when a function returns a function call [Ada] Get finalization right when a function returns a function call - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Get gnatls project path from Prj.Env - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Get rid of Frontend_Exceptions refs [Ada] Get rid of Frontend_Exceptions refs - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Get rid of break_start - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Get rid of call to int->fp conversion routine [Ada] Get rid of call to int->fp conversion routine - - - - --- 2017-09-05 Eric Botcazou New
[Ada] Get rid of compilation warnings in raise-gcc.c - - - - --- 2012-05-15 Arnaud Charlet New
[Ada] Get rid of internal use of N_Return_Statement - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Get rid of linear searches in Lib [Ada] Get rid of linear searches in Lib - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Get rid of more references to Universal_Integer in expanded code [Ada] Get rid of more references to Universal_Integer in expanded code - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Get rid of secondary stack for controlled components of limited types [Ada] Get rid of secondary stack for controlled components of limited types - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Get rid of spurious error for _Tag on extension with reverse bit order [Ada] Get rid of spurious error for _Tag on extension with reverse bit order - - - - --- 2019-10-10 Pierre-Marie de Rodat New
« 1 2 ... 571 572 573 … 1267 1268 »