Show patches with: Submitter = Arnaud Charlet       |    State = Action Required       |    Archived = No       |   2468 patches
« 1 2 3 4 … 24 25 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Spurious error on convention of anonymous access-to-subprogram type - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Allocating large modular arrays - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Warn on non-standard check pragmas - - - - --- 2017-01-20 Arnaud Charlet New
[Ada] Crash on overloaded function call with limited view - - - - --- 2017-01-20 Arnaud Charlet New
[Ada] Legality and removal of ignored Ghost context clauses - - - - --- 2017-01-20 Arnaud Charlet New
[Ada] Update Ada.Locales for RM 2012 COR:1:2016 - - - - --- 2017-01-20 Arnaud Charlet New
[Ada] Fix typing in special frontend inlining for GNATprove - - - - --- 2017-01-20 Arnaud Charlet New
[Ada] Spurious error on Default_Initial_Condition - - - - --- 2017-01-20 Arnaud Charlet New
[Ada] Missing invariant procedure body in SPARK mode - - - - --- 2017-01-19 Arnaud Charlet New
[Ada] Better error message on illegal selected component with overloaded prefix. - - - - --- 2017-01-19 Arnaud Charlet New
[Ada] Memory leak on function returning a limited view result - - - - --- 2017-01-19 Arnaud Charlet New
[Ada] Spurious dimensionality errors in inlined bodies. - - - - --- 2017-01-19 Arnaud Charlet New
[Ada] Inlining of expression function returning controlled object - - - - --- 2017-01-13 Arnaud Charlet New
[Ada] Spurious dimensional error in SPARK mode - - - - --- 2017-01-13 Arnaud Charlet New
[Ada] Expression functions as completions and private types - - - - --- 2017-01-13 Arnaud Charlet New
[Ada] Static predicates on strings - - - - --- 2017-01-13 Arnaud Charlet New
[Ada] Support for Ghost type extensions, major Ghost entity clean up - - - - --- 2017-01-13 Arnaud Charlet New
[Ada] Conformance of quantified expressions - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Inheritance of predicates in derived scalar types. - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Adapt detection of errors to gnat2why changes of Warning_Mode - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Crash on missing full view of controlled private type - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Allow user-specified elaboration order constraints - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Missing type invariant check on view conversion - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Pragma Default_Initial_Condition and tagged types - - - - --- 2017-01-09 Arnaud Charlet New
[Ada] Allow task-type specific secondary-stack size definition - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Add Flush to Sequential_IO and Direct_IO. - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] pragma Rename_Pragma - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Spurious error on case statement with conversion and static predicate - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Create new attribute Finalization_Size for header of control objects - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Missing finalization on function result - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Max_Queue_Length aspect for protected entries - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Implicit Elaborate_All(P) in P - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Support for new socket options - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Missing range check on 'Read result - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Pragmas Compile_Time_Error and Compile_Time_Warning and 'Size - - - - --- 2016-10-13 Arnaud Charlet New
[Ada] Missing predicate check with explicit policy pragma - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Spurious error on renaming of type conversion with invariant. - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Allow Refined_Global/Depends contracts with partial refinement - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Premature finalization of controlled array component - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Spurious use visibility with limited with and child packages - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Crash on overloaded function call with limited view - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Illegal overriding indicators not flagged for procedure named Initialize - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Renaming of functions to check file's readability/writability - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Preliminary work to support relative delays on extended ravenscar - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Create a new internal profile - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Call memmove instead of memcpy in more cases - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Spurious errors on instances of formal packages with defaults. - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Clarify the semantics of -gnatn switch - - - - --- 2016-07-07 Arnaud Charlet New
[Ada] Spurious errors on inherited class-wide preconditions - - - - --- 2016-07-07 Arnaud Charlet New
[Ada] Extra precision in the evaluation of non-static expressions - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Spurious error on withed Ghost unit - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Missing abort deferral on controlled aggregate component assignment - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Spurious error on container instantiation with predicated array type - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Missing finalization of defaulted aggregate in extended return - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Warning on fixed-point actual types with user-defined operators - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Spurious type errors because of views confusion in predicate functions - - - - --- 2016-07-04 Arnaud Charlet New
[Ada] Use chained locations in GNATprove for inherited pre and post - - - - --- 2016-07-04 Arnaud Charlet New
[Ada] Gnatfind crash on references to unknown files - - - - --- 2016-07-04 Arnaud Charlet New
[Ada] Confusing pragma unreferenced - - - - --- 2016-07-04 Arnaud Charlet New
[Ada] Early finalization of ctrl func result clobbers array element - - - - --- 2016-07-04 Arnaud Charlet New
[Ada] Crash on config pragma Component_Alignment - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Analysis of pragmas containing integer expressions not verified properly - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Spurious error on derived type with unknown discriminants and predicate - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Independent tasks and the Fall_Back_Handler - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Improve and unify warning machinery for address clauses - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] New implementation of Ada.Containers.Unbounded_Priority_Queues - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] New debug switch -gnatd.o - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Crash on illegal expression in context with predicate - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Spurious error with predicate on type derived from unconstrained array - - - - --- 2016-06-22 Arnaud Charlet New
[Ada] Reimplementation of type invariants - - - - --- 2016-06-20 Arnaud Charlet New
[Ada] Adapt treatment of inherited classwide pre/post to GNATprove - - - - --- 2016-06-20 Arnaud Charlet New
[Ada] Handling of all-digits host names - - - - --- 2016-06-20 Arnaud Charlet New
[Ada] Always consider Linker_Options from package System - - - - --- 2016-06-20 Arnaud Charlet New
[Ada] Reimplementation of type invariants - - - - --- 2016-06-20 Arnaud Charlet New
[Ada] Missing finalization of controlled build-in-place function result - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Fix minor memory leak in GNAT.Command_Line - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Missing errors on illegal expressions for entry pre/postconditions - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Use System.Priority to validate pragma Priority value for subprogram. - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Avoid anonymous array object for aggregates with qualified expressions - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Warn on buffer overrun with complex overlay - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Exclude private protected type defined in the runtime for restrictions - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Improve the support of No_Use_Entity - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Remove useless calls to invariant procedures - - - - --- 2016-06-14 Arnaud Charlet New
[Ada] Improve error message on Extensions_Visible - - - - --- 2016-06-14 Arnaud Charlet New
[Ada] Missing error on formal package - - - - --- 2016-06-14 Arnaud Charlet New
[Ada] Fix handling of separate units in GNATprove cross references - - - - --- 2016-06-14 Arnaud Charlet New
[Ada] Crash on illegal allocator for limited type. - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Remove spurious accessibility check for aggregate component - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Speed up memory management - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Crash on inlined call to subprogram declared in package instance - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Minimize internally built wrappers of protected types - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Handling of attribute definition clauses for ASIS with GNSA - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Optimization of anonymous access-to-controlled types - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Predicate checks when Assertion policy is Ignore - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Undefined symbol with interface types - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Correctly set Last when calling Text_IO.Get_Line on empty string - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Fix Ada.Directories.Delete_Tree not to change current directory - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Representation information for nested subprograms - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Race condition in allocator with finalization - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Error in handling of convention of formal parameter - - - - --- 2016-05-02 Arnaud Charlet New
« 1 2 3 4 … 24 25 »