| [Ada] New restrictions for the lock-free implementation of protected objects |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Conditional expression is static if all expression are static |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Anonymous access components that denote tasks |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] HP-UX build failure - PR ada/51307 |
2011-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Illegal component clause for inherited component in extension |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Validity checks in generated equality function |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Correct project search path when using switch -aP |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Warning on premature task activation |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] User-defined indexing operations |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Fix missing style checks on entity name casing |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Fix another error in multi-precision division used in ELIMINATED mode |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Improvement to errors and warning messages for expanded names |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Analysis of delayed aspects for components in record types |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Adjust slots assignment of tagged type primitives |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] clean ups in Makefiles |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Tag-indeterminate calls |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Crash on private enumeration type when compiling with -gnatVa |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Bad initialization of dynamic tables in gnatname ... --and ... |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Legality of self-referential outputs in aspect/pragma Depends |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Add support for fully standalone libraries |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Introduce the notion of machine occurrence |
2012-07-16 |
Arnaud Charlet |
|
New |
| [Ada] More work on short circuit forms |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] New function Ada.Environment_Variables.Value with default |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Premature finalization when iterating over containers |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Clean up of heap objects in the context of accessibility failures |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Discriminant references in aggregates |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Properly initialize value of global variable Unit_Casing before use |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Allow generic iteration on formal lists |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Protected objects with interrupt handlers are legal in nested scopes |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Fix implementation of the vectored sockets on Windows |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Implement Predicate_Check |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Make GNAT.AWK API compatible with Ada 2005. |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Guard against cascaded error when processing deferred config pragmas |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] New gnatbind command switch -A |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] gnatbind: improve messages in -v mode |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Default to -gnatw.L |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect parameter mechanism due to convention C_Pass_By_Copy |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Crash overriding the equality operator |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Placement and analysis of aspect Contract_Cases |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Improper optimization of range checks |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Warn for failure to parenthesize unary minus |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] All assignments to abstract target objects must be disallowed |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Disabled invariants and preconditions and _Postconditions |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Add new Assign and Copy operations to unbounded containers |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Internal increase in size of entities |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake -f -u <main> always invokes the compiler |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Better error message for aspect specification without Ada 2012 mode |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Attributes on predicated subtypes |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Wrong visibility for root library unit |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Inherited interface operations hidden by local declaration |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Use of attribute 'Loop_Entry in various contexts |
2013-04-24 |
Arnaud Charlet |
|
New |
| PATCH: fix -fdump-ada-spec after PR debug/51410 |
2012-01-06 |
Arnaud Charlet |
|
New |
| [Ada] 2012 rule on aliasing |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Fix bad warning message for Unreferenced |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Preconditions and postconditions on subprogram bodies |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Finalization actions during abort |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Lock-free implementation of protected objects (PR ada/54125) |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Concatenation and initialize_scalars |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Inheritance of representation aspects at freezing point |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Verification of Ada 2012 subpool implementation |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Change approach for control of intermediate overflow checking |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Check missing function returns in generic template |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Static entry [family] names for VMS Debug |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Extend ALFA marks to more types of nodes |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Visibility error in the presence of private limited with clauses |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Doc clean ups |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Remaining fixes for -gnato3 (eliminated mode overflow checks) |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Add case-insensitive string operations |
2011-11-04 |
Arnaud Charlet |
|
New |
| Fix -fdump-ada-spec |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Class-wide types of private extensions of constrained types |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] New addition to the GNAT dimensionality checking system |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Only allow boolean conditional expression in ALFA |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Ada/C++ missing call to constructor with defaults |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Check component overlap when non-standard bit-order |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Further work on new overflow checking scheme |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Proper handling of Has_Element in user-defined iterators |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Further fixes to MINIMIZED overflow checking mode |
2012-10-03 |
Arnaud Charlet |
|
New |
| [Ada] Minor improvements to regexps |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Additional information on subtype conformance error |
2012-10-03 |
Arnaud Charlet |
|
New |
| [Ada] Compiler crash when an aggregate's range choice does not match index type |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Ada/C++ missing call to constructor with defaults |
2012-10-03 |
Arnaud Charlet |
|
New |
| [Ada] minor improvement to handling of assertion/check messages |
2010-06-14 |
Arnaud Charlet |
|
New |
| Add extra location information - PR43486 |
2012-09-18 |
Arnaud Charlet |
|
New |
| [Ada] Create the Find_Name_In_Path helper |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Clean up of gnatbind output (for non-standard run times) |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Inline_Always applied to a subprogram body without previous spec |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Preelaboration dependences for Remote_Types and RCI units |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Ada2012 : incomplete types can be used in more contexts |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Fix potential access violation in Adjust routine |
2012-07-17 |
Arnaud Charlet |
|
New |
| [Ada] Allow pragma Import and pragma Interface |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Connect_Socket with timeout does not report failure correctly |
2012-10-03 |
Arnaud Charlet |
|
New |
| [Ada] Clean up in dimentionality checking code |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Add VMS qualifiers for -gnatn1/2 switches. |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] More accurate sloc information for pragma Check |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Action callback gets the project with sources |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Set_Command_Line: improve handling of grouped switches with parameters |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] New implementation-defined pragma: Attribute_Definition |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake performance enhancement |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Portability improvement for constants related to serial ports |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Fixed incorrect comment about conditional insertion |
2011-12-21 |
Arnaud Charlet |
|
New |