| [Ada] Implement iterator for multiset containers |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] Dereference correct hash table for a given node array index |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Lift inlining limitation with -gnatn (2) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Freezing rules and expression functions |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message for extra "," in choice list |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Check ambiguity with prefixed views of tagged primitives |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Fixes to preelaborable initialization handling |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Remove overzealous warnings about Asm statements |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] splice items from first to last |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Fix spurious "prefix of dereference must be an access type" |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] New syntax for aspects in packages, add library unit aspects |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Suppress false alarm "postcondition refers only to pre-state" |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Add procedure to print out the predefined floating point types |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Satisfy representation invariants in operation Move |
2011-11-20 |
Arnaud Charlet |
|
New |
| [Ada] Lift inlining limitation with -gnatn |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Class-wide operations in instantations |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] PR ada/49819 |
2011-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Fixes to No_Implementation_Units restriction |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Use a proper assertion in Vet instead of a comment |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Invariants must only apply to public subprograms |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Reduce compilation time at -O0 (4/n) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Spurious errors on aggregates in instances |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Detect array types which belong to ALFA subset |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Visibility of selected components that are prefixed calls in instances |
2012-01-06 |
Arnaud Charlet |
|
New |
| [Ada] Minor improvement to traces, to support indented output |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Speed up 'Count attribute on Windows |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Improved error message on invisible operator |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Implement attribute Descriptor_Size |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Final implementation of Default[_Component]_Value aspects |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Naming exceptions inherited in extending projects |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Addition of new attribute Original_Access_Type |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake ignores "-largs" in package Linker |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Fix handling of boolean aspects |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Do not defer aborts while raising exceptions (ZCX) |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] process the External attribute in aggregate projects |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Add the default search dirs after the Builder switches |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] References to the formals of child subprograms without specs |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Crash processing nested aggregate in constant declaration |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Switch to ZCX on AIX |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] ignore exceptions in termination handlers |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Iterators over containers of indefinite types |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Some is reserved in Ada 2012 |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Preliminary work for Default_[Component_]Value (AI 228) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] clean ups in Makefiles |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Put imported spec in ALI file when body is not found |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Filter out read reference to operator in Alfa xrefs |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Take into account unresolved calls in Alfa mode |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Do not mention objects of task or protected type in Alfa section |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] New type Prj.Ext.External_References |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Move remaining sjlj bits from a-except-2005.ads to a-exexpr.adb |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] ALI format and internal tables for ALFA information |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Check that rtsfind entities are not overloaded |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Premature finalization when iterating over containers |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Add queue containers to standard library |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Conformance for quantified expressions |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Allow foreign exceptions |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Initialize hidden discriminants in extension aggregates |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Illegal iterators over arrays |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Remove duplicated units |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup in sysdep.c: remove unused declaration |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Initial steps for convention Ada_Pass_By_Copy/Reference |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 accessibility checking |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Spurious warnings on iterators over subcomponents |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Synchronization issues in Set_Finalize_Address |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Use assertion to verify representation invariant for lock status |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Detect illegal use of unconstrained string type in SPARK mode |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Wrong dispatching on private type that covers interface |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Cover all cases of constant objects for ALFA section in ALI files |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Add style check for NOT IN |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Better error recovery for unparenthesized expression functions |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Disable aggregate expansion in assignments in VM targets |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Special case dup2() on Windows |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Further preliminary work for [Component_]Default_Value |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Implement pragma Pure_12 and use it in Ada.Finalization |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Compiler crash processing postcondition |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Implement task barriers in Ada |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Add extended overflow -gnato switch to usage |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Support for Priority aspect |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Reduce compilation time at -O0 (1/n) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Adjustments to setting alignment when size is set |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Various fpt related clean ups |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup in exception_occurrence |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Speed up parser for handling of aspect specifications |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Restrict SAL library names to Ada identifiers |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Add a link between body and spec scopes in ALFA section of ALI file |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] --version and --help in usage of GNAT tools |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Flatten aggregates with no static bounds and no others choice |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Speed up build of gnatools |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Wrong subunit source used in extending project |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] References to the formals of a subprogram stub |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Constraint_Error raised for slice indexed by logical negation with -gnato |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Define a light expansion mode for formal verification |
2011-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Types derived from types with foreign conventions |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Generation of external and fully qualified names |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] Performance of UTC_Time_Offset on Windows |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] A dispatching call cannot have a stdcall calling convention |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] C++ types are limited |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Erroneous memory access when destroying a task's own ATCB |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 aspect Synchronization |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Automatic deallocation of task upon termination |
2011-09-06 |
Arnaud Charlet |
|
New |