| [Ada] Attribute and pragma for lock-free implementation |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Set overflow check mode to STRICT in Alfa mode, unless set already |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] New Z lines in ALI files for implicit withs from instantiation |
2012-04-02 |
Arnaud Charlet |
|
New |
| [Ada] Improve recovery for misordered PRIVATE/ABSTRACT/TAGGED keywords |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Delay of aspect specification evaluation |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Implement Invariant aspect and pragma |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] File descriptor leak in GNAT.Expect |
2012-04-02 |
Arnaud Charlet |
|
New |
| [Ada] Move Create_Binder_Mapping_File to Makeutl |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Checking for eliminated subprograms |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Handle First/Last/Range for predicated types |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] New preprocessor switch -a |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Do not require null after label in Ada 2012 mode |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Named association and new component Dim_Symbol implemented for GNAT dimensionality checking system. |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Check bad use of predicates |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Legality of aspects specified on a full view |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Do style checks for main subunits |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Add support for --program-prefix |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Ada2012: detecting dangerous order dependences |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Missing debug info for loop entity of an Ada 2012 array iterator loop |
2012-03-30 |
Arnaud Charlet |
|
New |
| [Ada] Fixes/improvements to size check for enum rep clause |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012: AI05-0296, formal incomplete types. |
2012-06-12 |
Arnaud Charlet |
|
New |
| [Ada] More detailed exception messages |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Fix internal error on constant with nested variant part |
2012-02-08 |
Arnaud Charlet |
|
New |
| [Ada] Wrong management of null interface primitives in private type |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Connect_Socket with timeout does not report failure correctly |
2012-10-03 |
Arnaud Charlet |
|
New |
| [Ada] Add extra exception info for validity checks |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Remove code duplication in Scn and Sinput.P |
2012-02-08 |
Arnaud Charlet |
|
New |
| [Ada] Adjust PC only for SS$_HPARITH on Alpha/VMS |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Adding information of exported entities to ALI files |
2012-06-12 |
Arnaud Charlet |
|
New |
| [Ada] Remove ttypf.ads and compute floating point attributes instead |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Preliminary work for enlarging nodes |
2012-03-19 |
Arnaud Charlet |
|
New |
| [Ada] Deriving from formal limited types |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Make sure the Clock is thread safe |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Error message for illegal pragma where first subtype required |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Update GNAT RM with a separate chapter on restrictions |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] Clean up handling of msgs for biasing |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup of aspects |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Implement more general predicates |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Initial framework for Valid_Scalars attribute |
2012-03-19 |
Arnaud Charlet |
|
New |
| [Ada] Add some defenses against junk code |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Mode conformance for Ada 2012 aliased formal parameters |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] New unit Ada.Containers.Bounded_Vectors |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect finalization of build-in-place function result |
2012-03-30 |
Arnaud Charlet |
|
New |
| [Ada] Aggregate for records with components of an anonymous access type |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Couple of small adjustments to cross-unit inlining |
2012-05-15 |
Arnaud Charlet |
|
New |
| [Ada] Next step in implementation of predicates |
2010-10-21 |
Arnaud Charlet |
|
New |
| [Ada] Internal cleanup of overflow defaults |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Optimization of array aggregates |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Implement tagging of warning messages |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Properly check violations of machine scalar rules |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Bogus elaboration warnings on internally-generated finalizers |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Instruct gnatmake to pass -Oxxx switches to the linker |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Checks on aliasing and initialization of scalars for parameters |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Ada2012 iterator forms |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Missing finalization of class-wide object |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] exception messages now correctly identify kind of tampering |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Freezing of non null subtypes of formal parameters |
2012-04-26 |
Arnaud Charlet |
|
New |
| [Ada] Next stage in implementing predicate aspect |
2010-10-21 |
Arnaud Charlet |
|
New |
| [Ada] Handling of Invariant aspect on type completions |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Constant-folding and discriminants |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Fix cross-unit inlining on internal inline subprograms |
2012-05-15 |
Arnaud Charlet |
|
New |
| [Ada] Fully implement general form static predicates |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Increase maximum number of instantiations |
2012-03-07 |
Arnaud Charlet |
|
New |
| [Ada] Wrong warning when instantiating Container in generic unit |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Next step in implementing extended overflow checking |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Improve __gnat_stat() on windows |
2010-10-25 |
Arnaud Charlet |
|
New |
| [Ada] Package instantiation as remote call interface |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] New Ada 2012 language-defined System.Multiprocessors |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Freezing nodes placement fixed with quantified expression inside an expression function. |
2012-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Parent_Unit_Names and unit renaming declarations |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Protect generation of Alfa sections in ALI files against empty node |
2012-03-30 |
Arnaud Charlet |
|
New |
| [Ada] Recompile if ALI file newer than object file |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Implement pragma Check_Float_Overflow |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of quantified expressions |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Check that an aggregate is not Externally_Built |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] Avoid making library-level subprograms public unnecessarily |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Treat -fdump-scos as synonym of -gnateS |
2012-06-12 |
Arnaud Charlet |
|
New |
| [Ada] Add Float_Rep attribute for floating point entities |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Allocation of controlled private type with unknown discriminants |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] Visibility of selected components in instantiations |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Ignore pragmas when looking for unreachable code |
2012-04-26 |
Arnaud Charlet |
|
New |
| [Ada] Further work on predicates |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Don't flag No_Obsolescent_Features violations in instances |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] Aspect specifications initial preparation |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Dependency between System.Finalization_Root and Ada.Streams |
2012-04-26 |
Arnaud Charlet |
|
New |
| [Ada] Allow defaulted discriminants on tagged types for Ada 2012 |
2010-10-22 |
Arnaud Charlet |
|
New |
| [Ada] Internal error on multiple layers of nested generics |
2012-03-07 |
Arnaud Charlet |
|
New |
| [Ada] Add initial support for aspects |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Missing finalization of temporary function results in case and if |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Handle delay of Pre/Post and inherited Pre'Class |
2010-10-18 |
Arnaud Charlet |
|
New |
| [Ada] Handling of library unit renamings in with_clauses |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Use Ada_2012 instead of Ada_12 |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Add support for project file Install package. |
2012-06-12 |
Arnaud Charlet |
|
New |
| [Ada] New switch -gnateP to warn on Pure/Preelaborate errors |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Swapped inputs and outputs in UG Inline Assembler section |
2012-03-07 |
Arnaud Charlet |
|
New |
| [Ada] Fix oversight in new handling of -Oxxx switches |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Lock-free implementation of protected objects |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Compiler crash with Initialize_Scalars |
2010-10-26 |
Arnaud Charlet |
|
New |
| [Ada] Interaction between packed arrays and post conditions |
2012-04-02 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0151: additional uses for incomplete types |
2010-10-11 |
Arnaud Charlet |
|
New |