Show patches with: Submitter = Arnaud Charlet       |    State = Action Required       |    Archived = No       |   2468 patches
« 1 2 ... 3 4 5 … 24 25 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Spurious error on container "of" loop - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Fix bug on Get_Line when incomplete last line in file - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Legality check of classwide Pre/Postcondition aspect - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Informational messages that are not warnings - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Detect singular matrices in Solve primitives for vectors and matrices. - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Spurious error on variable in private child package body - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] General handling of potential renamings in SPARK - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] wrong interface type conversion of in-out parameter - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Incomplete xref information in ALI file - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Crash on illegal use of limited view of type - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Fix runtime build failure on vxworks 653 2.5 - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Missing error on classwide precondition on a generic subprogram - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Spurious dimensionality errors on multitidimensional aggregates. - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Missing error on illegal use of volatile object - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Spurious End_Error with Get_Line on strings without line terminators - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Remove superfluous use of secondary stack on object initialization - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Expression functions need not trigger loading of package body - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Reimplementation of interfacing aspects - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Detection of missing abstract state refinement - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Incorrect result of equality on multidimensional packed arrays - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Minimizing recompilation with multiple limited_with clauses - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Improved exception message for Host_Error - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Minor changes to warning message for exe filenames on Windows - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Freezing a subprogram does not always freeze its profile - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Improved handling of rep item chains - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Spurious errors with generalized iterators - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Spurious discriminant check on type with unknown discriminants - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Illegal use of current instance in attribute reference - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Leak with function returning String in exception handler - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Spurious error on binary operator in instance - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Missing style warning on overlong line is task subunit - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Constraint_Error on spurious ambiguity in instance - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Spurious discriminant error on aggregate for derived type - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Constraint_Error on spurious ambiguity in instance - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Crash on configuration pragma Check_Policy. - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Better error message for illegal aspect - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Wrong resolution of intrinsic in postcondition - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Do not use secondary stack in some cases - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Spurious error in if_expression with universal then_expression - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Legality of aspect Default_Storage_Pool - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Undefined symbol with invariant and private type extension - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Use thread_id as lwp id on Darwin - - - - --- 2016-04-19 Arnaud Charlet New
[Ada] Always require an elaboration counter when preserving control flow - - - - --- 2016-04-19 Arnaud Charlet New
[Ada] Withing Ghost units - - - - --- 2016-04-19 Arnaud Charlet New
[Ada] Illegal use of type name in a context where it is not a current instance. - - - - --- 2016-04-19 Arnaud Charlet New
[Ada] File descriptors leaking - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Compiler error and crash over iterators over qualified expressions. - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Issue check instead of error in static division by zero - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Stream output to fifos - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Improved error message for illegal procedure function definition. - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Clean up global variables - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Remove SPARK legality checks performed in GNATprove - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Optimization of Unbounded_Priority_Queues - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] New function GNAT.Source_Info.Compilation_ISO_Date - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Overflow in internal compiler tables - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Warning on (others => <>) that does not cover any components. - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Derivation of Ghost types - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Implicit self dependence of task on itself - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Spurious errors on tag indeterminate calls. - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Spurious inlining error with function completed by an expression function - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Add statistics dumping function to Atree package - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Fix small inefficiency in Disambiguate - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Fix inefficiency in Operator_Matches_Spec - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Crahs on indexing operation with named associations - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Make System.String_Hash available through GNAT.String_Hash - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Freezing of contracts, Part_Of and current instance of a concurrent type - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Concurrent constituents of a single protected/task type - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Better handling of invalid switches in GNAT.Command_Line - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] PR ada/66242 Finalization with restriction No_Exception_Propagation - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Crash on illegal use of limited view of classwide type - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Spurious visibility error with private subtye, inlining and instance - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Crash on function returning limited view of class-wide type - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Normalize_Pathname with unresolved reference directory - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] State refinement predicates for GNATprove - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Malformed argument with pragma Refined_State - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Undefined symbols with pragma Initialize_Scalars - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] Missing error on volatile return type of non-volatile function - - - - --- 2015-11-18 Arnaud Charlet New
[Ada] PR ada/68345 - - - - --- 2015-11-14 Arnaud Charlet New
[Ada] Internal crash on illegal aspect Part_Of - - - - --- 2015-11-13 Arnaud Charlet New
[Ada] Handling of overloaded indexing functions - - - - --- 2015-11-13 Arnaud Charlet New
[Ada] Iterable aspect for an integer type - - - - --- 2015-11-13 Arnaud Charlet New
[Ada] housekeeping work in sigtramp.h - - - - --- 2015-11-13 Arnaud Charlet New
[Ada] Library-level error on aspects - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Spurious visibility error with derivation and incomplete declaration - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Crash on illegal selected component in synchronized body. - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Crash on inconsistent IF-expression - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Obscure messages due to freezing of contracts - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Legality checks on calls to a Generic_Dispatching_Constructor. - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Missing detection of elaboration dependency - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Contract_Cases on entries - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] More efficient code generated for object overlays - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Warn when a non-imported constant overlays a constant - - - - --- 2015-11-12 Arnaud Charlet New
[Ada] Spurious error on legal use of abstract state constituent - - - - --- 2015-10-27 Arnaud Charlet New
[Ada] Legality checks on initialization of limited objects - - - - --- 2015-10-27 Arnaud Charlet New
[Ada] Delete response file even when link failed - - - - --- 2015-10-27 Arnaud Charlet New
[Ada] Pragma SPARK_Mode and expression functions - - - - --- 2015-10-27 Arnaud Charlet New
[Ada] Renamings of volatile objects - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Single protected declaration transformation guarantee - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Ghost types, objects and synchronization - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] References to task and protected types in aspects/pragmas - - - - --- 2015-10-26 Arnaud Charlet New
« 1 2 ... 3 4 5 … 24 25 »