| [Ada] Spurious errors on aggregates in instances |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Fix error in short circuit expansion with -gnatd.X |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] GNAT driver, ASIS tools and switch -files= |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Overriding inherited functions of null extensions |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Elaboration issues in record initialization |
2011-10-24 |
Arnaud Charlet |
|
New |
| [Ada] Type compatibility of anonymous access to extensions of constrained types |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Enable debug info generation for Postcondition procedures |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Add new flags and entities |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Remove GCC_ZCX_Support in system-*.ads |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Always freeze slice itype |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Checks on alignment with address clauses |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Fix PR ada/43993 |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Move Implementation_Defined pragma to inner package |
2011-10-16 |
Arnaud Charlet |
|
New |
| [Ada] gnatbind -R may list several times the same source |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Rederivation of interface primitives |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] New Ada 2012 language-defined System.Multiprocessors |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Anonymous access types in type declarations in child units |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Crash overriding the equality operator |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Expression functions and protected definitions |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Better warnings on Ada95/Ada05 incompatibility with limited types |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Stand-Alone Library with attribute Interfaces |
2012-01-30 |
Arnaud Charlet |
|
New |
| [Ada] Crash on folded operator with universal operands in functional form |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] New function Ada.Environment_Variables.Value with default |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Visibility of selected components in instantiations |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Test for common parent before testing for sibling |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Discriminant references in aggregates |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Obsolescence considerations for pragma Interface/Interface_Name |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Restrict simultaneous compilations to one per object dir |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 type invariants on type completions |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Crash on derivation of tagged private type with discriminants |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Attribute Loop_Entry and index check generation |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Aspect specifications initial preparation |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Remove overzealous warnings about Asm statements |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] GNAT.Sockets.Null_Selector |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Correct project search path when using switch -aP |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Add initial support for aspects |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Locate error message on the first line of a pre/post/invariant aspect |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Eliminated protected operations |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] gnat stub -P crashes when Ada is not a language of the project |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Use Ada_2012 instead of Ada_12 |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Generation of external and fully qualified names |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] behavior of invalid typed variable in project files |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Aspects on expression function without prior declaration |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Fix oversight in new handling of -Oxxx switches |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Minor adjustments to -gnatg warnings |
2011-10-24 |
Arnaud Charlet |
|
New |
| [Ada] gnatbind -R generates files |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Allow Ada 2012 aspects on renaming declarations |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0151: additional uses for incomplete types |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-213 : formal incomplete types |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] New gnatbind command switch -A |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Use of attribute 'Loop_Entry in various contexts |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Minor coce reorganization |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Consistent target names |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Implement pragma Ada_2012 and -gnat12 switch |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Better error message for aspect specification without Ada 2012 mode |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Conversion of arithmetic expression to wider type flagged as redundant |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Minor code reorganization |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] pragma Style_Checks (All_Checks) for -gnatg mode |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Entities for subprogram body should not have a contract node attached |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Change spelling parametrize(d) => parameterize(d) |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Change sense of predicate when dequeuing high priority element |
2011-10-24 |
Arnaud Charlet |
|
New |
| [Ada] Implement case expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Ghost entities |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Allow shared libraries to import any projects for some tools |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Illegal iterators over arrays |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Perfect_Hash_Generators cleanup |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Correct possible double qualification of names in formal mode |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Next stage in implementation of Ada 2012 aspects |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] New pragma/aspect Remote_Access_Type |
2012-01-30 |
Arnaud Charlet |
|
New |
| [Ada] Fixed I/O to a string |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Locally enabled invariants are ignored |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] New iterator form for GNAT.HTable.Simple_HTable |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] clean ups in Makefiles |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary (4) |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Insertion of generated constructs in N_Expression_With_Actions nodes |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Implement delay of aspects to freeze point |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] No crash if a variable Project_Path was defined in a project |
2011-10-24 |
Arnaud Charlet |
|
New |
| [Ada] Implement Ekind_In in compiler |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Placement and analysis of aspect Contract_Cases |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0073 |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Check that rtsfind entities are not overloaded |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Remove false positive for infinite loop warning |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Illegal calls in entry call alternatives |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 AI05-0163-1/01 Pragmas in place of null |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Add dominance information to SCOs |
2011-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Better expansion of short-circuit, conditional expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Legality rules for pragma Unchecked_Union |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Package extensions in project files |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Restrict SAL library names to Ada identifiers |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Record original expression associated with actual subtypes |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Convention for operations of generlc formals with unknown discriminants |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Parametrized expressions must be parenthesized |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Indexing aspects and indexable containers |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Remove remnants of GNAT support for OS/2 and MSDOS |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Preconditions and postconditions on subprogram bodies |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Actual for a formal derived non-limited type |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Improved warnings on useless formals in subprograms |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] default-initialize all components of type Cursor |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] gnatbind: improve messages in -v mode |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Prefix of 'Address attribute |
2010-10-05 |
Arnaud Charlet |
|
New |