| [Ada] Allow generic iteration on formal lists |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Check matching Float_Representation on OpenVMS |
2011-12-23 |
Arnaud Charlet |
|
New |
| [Ada] Internal clean up for N_Pragma nodes |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Clear confusion about -fno-inline in the GNAT UG |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Detect more cases of Long_Float inconsistencies at compile time |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 accessibility of anonymous access stand-alone objects |
2011-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Preliminary work to support SEH on Windows 64 |
2012-06-12 |
Arnaud Charlet |
|
New |
| [Ada] Project in limited withed chain reported as duplicate |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Visibility in expression functions |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Do not defer aborts while raising exceptions (ZCX) |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Fix common misuses of the word "then" where "than" should be used in English. |
2012-04-26 |
Arnaud Charlet |
|
New |
| [Ada] Invariant aspect now called Type_Invariant |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Clean up in dimentionality checking code |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Crash on quantified expressions containing 'Old in postconditions |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Fix crash in gnatname due to uninitialized variable |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Check preconditions for child iterator of multiway tree container |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] Further refinement to Atomic_Synchronization handling |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] New compiler attributes Dependency_Kind and Language_Kind |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Clean up of index usage in string literal subtypes |
2012-04-26 |
Arnaud Charlet |
|
New |
| [Ada] Default 'Input for array of limited object |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Handle compilation unit specific restrictions for subunits |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Speed up 'Count attribute on Windows |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] SCOs for SELECT statements |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] process the External attribute in aggregate projects |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] HP-UX build failure - PR ada/51307 |
2011-12-05 |
Arnaud Charlet |
|
New |
| [Ada] As we use the default behavior, no need to allocate a cond attribute |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Mode conformance for Ada 2012 aliased formal parameters |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of Ada2012 rules on preconditions for null procedures |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Replacement of warnings by errors for dimensionality checking system |
2011-12-22 |
Arnaud Charlet |
|
New |
| [Ada] Prefixed calls as generic actuals |
2011-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Attribute and pragma for lock-free implementation |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Itype references and generics |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Extend atomic synchronization handling to selections |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Instantiations and subprogram declarations do not break statement SCO seq |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Implement tagging of warning messages |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Disable aggregate expansion in assignments in VM targets |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Check for correct Size for shift and rotate intrinsics |
2012-01-10 |
Arnaud Charlet |
|
New |
| [Ada] Move remaining sjlj bits from a-except-2005.ads to a-exexpr.adb |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Continued work on adding tags for warning messages |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Reduce compilation time at -O0 (5/n) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Atomic_Synchronization applies to types as well as variables |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Insert subtypes for array index/component in formal verification mode |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Further work on tags for warning messages |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Addition of new attribute Original_Access_Type |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Ada.[Wide_]Wide_Characters.Handling should be Pure |
2012-01-06 |
Arnaud Charlet |
|
New |
| [Ada] Improve the function that computes a unique name for Entities |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Preliminary work to implement pragma Loop_Optimize |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] New syntax for aspects in packages, add library unit aspects |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Improve error msg for passing volatile to non-volatile |
2011-11-07 |
Arnaud Charlet |
|
New |
| [Ada] Add queue containers to standard library |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Implement pragma Check_Float_Overflow |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Missing expansion of equality operators in pre/post conditions |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Create the Find_Name_In_Path helper |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Do not mention objects of task or protected type in Alfa section |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Implement extended overflow checks, step 1 |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Detect array types which belong to ALFA subset |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Add Generic_Sort operation to standard library |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Check ambiguity with prefixed views of tagged primitives |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Lock-free implementation of protected objects |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Switch to ZCX on AIX |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Add missing VMS run-time files |
2011-12-15 |
Arnaud Charlet |
|
New |
| [Ada] Cover all cases of constant objects for ALFA section in ALI files |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Aspect specifications in subprogram bodies |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] New type Prj.Ext.External_References |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Store the value of 'alignment of tagged types in the TSD |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Filter out read reference to operator in Alfa xrefs |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Avoid incorrect detection of duplicate sources that are excluded |
2012-05-15 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message for extra "," in choice list |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Send gnatls/gnatcmd verbose diagnostics to stderr |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Synchronization issues in Set_Finalize_Address |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Better control of help message in GNAT.Command_Line |
2012-05-15 |
Arnaud Charlet |
|
New |
| [Ada] Fix handling of "*" in the presence of empty switch sections |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Change semantics of Merge |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Better error recovery for unparenthesized expression functions |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Membership tests work with extended overflow checks |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Implement iterator for multiset containers |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] Semantically analyze source aspect in ASIS mode |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 anonymous access conversions and membership tests |
2011-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Exponentiation works with extended overflow checks |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Add procedure to print out the predefined floating point types |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Error on use of 'Class applied to limited view of tagged type |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] As we use the default behavior, no need to allocate a mutex attribute |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Division/Rem/Mod work with extended overflow checks |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Minor improvement to traces, to support indented output |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Illegal call on abstract operator |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Implement attribute Descriptor_Size |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Dependency between System.Finalization_Root and Ada.Streams |
2012-04-26 |
Arnaud Charlet |
|
New |
| [Ada] Locate_Exec_On_Path should only return executable files |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Illegal selected components of types derived from private types |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] in GNAT.Command_Line, allow user to replace the standard help message |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Checking for eliminated subprograms |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Better reference information for in out params |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Redefine FD_SETSIZE before including system headers |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Visibility of selected components that are prefixed calls in instances |
2012-01-06 |
Arnaud Charlet |
|
New |
| [Ada] Object declarations and finalization of transient variables |
2012-06-12 |
Arnaud Charlet |
|
New |
| [Ada] Improved error message on invisible operator |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Fixed bugs in iterators for vector containers |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Default-initialize Nodes component |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup front end code (introduce N_Subprogram_Call) |
2012-06-12 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake with --subdirs= but no -P |
2011-08-03 |
Arnaud Charlet |
|
New |