Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 290 291 292573 574 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Heap objects constrained by their initial value - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Help the backend to identify safe-to-reevaluate variables - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Hidden state detection - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Housekeeping work in gigi - - - 0 0 0 2016-01-18 Eric Botcazou New
[Ada] Housekeeping work in gigi - - - 0 0 0 2015-09-14 Eric Botcazou New
[Ada] Housekeeping work in gigi - - - 0 0 0 2015-06-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (29/n) - - - 0 0 0 2010-09-19 Eric Botcazou New
[Ada] Housekeeping work in gigi (30/n) - - - 0 0 0 2010-10-09 Eric Botcazou New
[Ada] Housekeeping work in gigi (31/n) - - - 0 0 0 2011-07-24 Eric Botcazou New
[Ada] Housekeeping work in gigi (32/n) - - - 0 0 0 2011-08-30 Eric Botcazou New
[Ada] Housekeeping work in gigi (33/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (34/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (35/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (36/n) - - - 0 0 0 2011-09-25 Eric Botcazou New
[Ada] Housekeeping work in gigi (37/n) - - - 0 0 0 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (38/n) - - - 0 0 0 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (39/n) - - - 0 0 0 2011-10-12 Eric Botcazou New
[Ada] Housekeeping work in gigi (40/n) - - - 0 0 0 2011-10-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (41/n) - - - 0 0 0 2011-11-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (bis) - - - 0 0 0 2016-01-18 Eric Botcazou New
[Ada] If-expressions and the capture of local values - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Ignore pragmas Inline/Inline_Always in GNATprove mode - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Ignore pragmas when looking for unreachable code - - - 0 0 0 2012-04-26 Arnaud Charlet New
[Ada] Ignore references to renamed Standard constants in Alfa mode - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Illegal call on abstract operator - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Illegal calls in entry call alternatives - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Illegal component clause for inherited component in extension - - - 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Illegal constituent in state refinement - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Illegal declarations of deferred constants - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Illegal external aspects not detected - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Illegal forward reference in pragma Postcondition - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Illegal iterators over arrays - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Illegal prefix in array attributes - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 - - - 0 0 0 2012-01-24 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 - - - 0 0 0 2012-01-11 coopht@gmail.com New
[Ada] Illegal program not detected, self renames, PR15846 - - - 0 0 0 2012-01-11 coopht@gmail.com New
[Ada] Illegal selected components of types derived from private types - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Illegal tagged completion of private type with discriminant and default - - - 0 0 0 2010-10-21 Arnaud Charlet New
[Ada] Illegal use of SPARK volatile object not detected - - - 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Illegal use of current instance in attribute reference - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Illegal use of type name in a context where it is not a current instance. - - - 0 0 0 2016-04-19 Arnaud Charlet New
[Ada] Imaging of arbitrary precision integers - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Immutably limited types - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Implement -gnat-p switch (cancel previous -gnatp) - - - 0 0 0 2010-06-16 Arnaud Charlet New
[Ada] Implement -gnatd.k to suppress internal line numbers - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Implement -gnatyC for one space after -- in comments - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Implement AI05-0086-1 (consider null exclusion for static matching) - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implement AI05-0151 (incomplete types in profiles) in gigi - - - 0 0 0 2016-04-27 Eric Botcazou New
[Ada] Implement AI05-117 (memory barriers and volatile objects) - - - 0 0 0 2011-11-10 Eric Botcazou New
[Ada] Implement AI12-0022 (raise expression) - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Implement Ada 2012 AI-0177 Parametrized Expressions - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Implement Ada 2012 Assertion_Policy pragma - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Implement Ada 2012 attributes First_Valid and Last_Valid - - - 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Implement Ada.Strings.UTF_Encoding - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Implement Atomic_Synchronization pragmas - - - 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Implement Disable policy for Check/Debug_Policy - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Implement Ekind_In in compiler - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Implement Ghost entities - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Implement Ghost entities - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Implement In Out and Out parameters for functions - - - 0 0 0 2010-10-25 Eric Botcazou New
[Ada] Implement Input/Output/Read/Write aspects - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement Invariant aspect and pragma - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implement NRV optimization in gigi - - - 0 0 0 2011-10-07 Eric Botcazou New
[Ada] Implement No_Default_Stream_Attributes restriction (AI05-0161-1/02) - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement No_Implementation_Identifiers/Extensions - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Implement No_Implicit_Aliasing restriction - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Implement No_Standard_Allocators_After_Elaboration - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Implement Pragma Partition_Elaboration_Policy - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Implement Predicate_Check - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Implement RT_Resolution properly - - - 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Implement Rational profile to support non-standard renaming declarations - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Implement SPARK RM C.6 rules - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Implement SPARK_05 rule about calls before bodies - - - 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Implement Short_Descriptors pragma - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Implement Valid_Scalars attribute (except for variant records) - - - 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Implement aliased parameters for Ada 2012 (AI 142) - - - 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Implement attribute Descriptor_Size - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Implement case expressions - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Implement compilation date and time output and functions - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Implement concrete iterators as a type hierarchy for multiway trees - - - 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Implement conventions Ada_Pass_By_Copy and Ada_Pass_By_Reference - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Implement custom version of -Waggressive-loop-optimizations - - - 0 0 0 2015-06-26 Eric Botcazou New
[Ada] Implement delay of aspects to freeze point - - - 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Implement extended overflow checks, step 1 - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Implement extended overflow handling for comparison ops - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Implement inheritance for predicates - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Implement iterator for multiset containers - - - 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Implement legality rules for shared volatile variables - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Implement more general predicates - - - 0 0 0 2010-10-25 Arnaud Charlet New
[Ada] Implement new Ada 2012 restriction No_Implementation_Units - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Implement new Aspect control restrictions - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Implement new Expression_With_Actions node - - - 0 0 0 2010-06-17 Eric Botcazou New
[Ada] Implement new Expression_With_Actions node - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Implement new Restriction No_Use_Of_Entity - - - 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Implement new aspects Dynamic_Predicate and Static_Predicate - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Implement new assertion kind Statement_Assertions - - - 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Implement new attribute Library_Level - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Implement new attribute Restriction_Set - - - 0 0 0 2013-07-08 Arnaud Charlet New
« 1 2 ... 290 291 292573 574 »