| [Ada] Handling of predicate type errors in generics |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Avoid storage leak in gnatchop |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Fix bad -gnatdt output for incomplete type |
2010-08-10 |
Arnaud Charlet |
|
New |
| [Ada] Virtually extending library project inherits library kind |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] New unit Ada.Containers.Bounded_Vectors |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Visibility of equality operator when left operand is null. |
2012-12-05 |
Arnaud Charlet |
|
New |
| [C++] use better sloc for enum literals |
2010-09-07 |
Arnaud Charlet |
|
New |
| [Ada] Avoid FE crash processing wrong sources |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Warnings on operator renamings |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Correct multi-precision division algorithm used for universal integers |
2012-12-05 |
Arnaud Charlet |
|
New |
| [C++] use better sloc for enum literals |
2010-09-07 |
Arnaud Charlet |
|
New |
| [Ada] Further preliminary work for [Component_]Default_Value |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Ada2012: detecting dangerous order dependences |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Locally enabled invariants are ignored |
2013-04-25 |
Arnaud Charlet |
|
New |
| [C] use better sloc for enum literals |
2010-09-07 |
Arnaud Charlet |
|
New |
| [Ada] Compiler fails renaming attribute with restricted run time |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Nested packages and instantiations in RCIs |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Improvements to sprint for conditional expressions |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Fix missing cases for restriction No_Obsolescent_Features |
2010-08-10 |
Arnaud Charlet |
|
New |
| [Ada] Support for controlled objects allocated on the heap for .NET/JVM |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Fixes to predicate handling |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Do not apply float conversion checks if expansion not enabled |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Fixed I/O to a string |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Fixes to -gnatyn mode (casing of standard identifiers) |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] AI05-0197: Dispatching with multiple inherited operations |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Make {Short,Long,Long_Long}_Complex_Elementary_Functions pure |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] New verbose message for gnatmake -m -v |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Warning on premature task activation |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Preelaborable initialization for derived types |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Ghost entities |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] PR 22220 |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Use full path of archives in link command |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Attribute Update |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Remove junk overflow check on MOD/REM/unary "+" |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Always prefer Pure/Preelab units in binder elab order |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Tag-indeterminate calls |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] New units for bounded hashed set and map containers |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Illegal prefix in array attributes |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Crash on derivation of tagged private type with discriminants |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Adjust on limited controlled types |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Implement more general predicates |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Attribute Loop_Entry and index check generation |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Remove Dint (code cleanup) |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Move stream attributes to private part of spec |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Aspect / pragma Contract_Cases |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Special case for case expression alternative moved in caller |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Fix implementation of the vectored sockets on Windows |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Improved message for the restriction use of unconstrained type in SPARK |
2011-09-02 |
Arnaud Charlet |
|
New |
| [C] fix reference to classes with -fdump-ada-spec |
2010-10-28 |
Arnaud Charlet |
|
New |
| [Ada] Avoid overflow in Table reallocation |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] New gnatbind command switch -A |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Make GNAT.AWK API compatible with Ada 2005. |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Fully implement general form static predicates |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Generation of routine _Postconditions |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] pragma Warnings Off (str) should delete continuations |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Detect generics as violation of the SPARK restriction |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Improve __gnat_stat() on windows |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Class-wide objects and debugging information |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect bounds retrieval in range checks |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Improved runtime exception message for duplicated external tag |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Visibility problem in private derivation with interfaces |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Warn for suspicious same range nested loops |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Doc clean ups |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Aliased view of a type in various Ada dialects |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Clean up in Pop_Scope |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] GNAT driver with a project file and a single main - switches |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Adjust slots assignment of tagged type primitives |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Improper optimization of range checks |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Further work on predicates |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect attachment point for address clause alignment check |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Bad bounds checks on slice of explicit dereference |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Remove unnecessary node component from hashed map iterator |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Fix bad semicolon msg in Ada 2012 mode |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Follow on work for tagging of warning switches |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Fix copy of object directory for extending projects |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Attributes on predicated subtypes |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Set overflow check mode to STRICT in Alfa mode, unless set already |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] gnatfind missing references to array types |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Fix interface to a couple of POSIX functions |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] No crash if a variable Project_Path was defined in a project |
2011-10-24 |
Arnaud Charlet |
|
New |
| [Ada] Implement pragma Default_Storage_Pool |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Anonymous access components that denote tasks |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Crash overriding the equality operator |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Finalization actions during abort |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Improve Namet hash function |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Legality of aliased keyword in extended return statement |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Remove remnants of GNAT support for OS/2 and MSDOS |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Deallocation of a class-wide object with unknown discriminants |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of quantified expressions |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Keep checks in Alfa mode for formal verification |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup analysis of concurrent types that implement interfaces |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Extend ALFA marks to more types of nodes |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Functions with access result are primitives |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] 2012 rule on aliasing |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Inherited interface operations hidden by local declaration |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Fix bad warning for divide by zero |
2011-10-06 |
Arnaud Charlet |
|
New |
| [Ada] Instantiation of a renaming of an implicit child unit |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Fix another error in multi-precision division used in ELIMINATED mode |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Class-wide types of private extensions of constrained types |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Only allow boolean conditional expression in ALFA |
2011-08-03 |
Arnaud Charlet |
|
New |