2019-09-10 |
Arnaud Charlet | * doc/install.texi: Fix syntax for html generation.
|
commit | commitdiff | tree |
2019-09-05 |
Arnaud Charlet | install.texi: Update and clarify requirements to build...
|
commit | commitdiff | tree |
2019-08-20 |
Arnaud Charlet | [Ada] Unnesting: take inlining (-gnatn) into account 2019-08-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-08-20 |
Arnaud Charlet | [Ada] Document requirements for Pragma Lock_Free 2019-08-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-08-14 |
Arnaud Charlet | [Ada] Remove documentation of gnatelim 2019-08-14 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-08-13 |
Arnaud Charlet | [Ada] Protect analysis of Indexing aspect against cascaded... 2019-08-13 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-08-13 |
Arnaud Charlet | [Ada] Systematically pass LN_S to relevant gnatlib... 2019-08-13 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-18 |
Arnaud Charlet | Makefile.rtl, [...]: Introduce a "STANDALONE" mode...
|
commit | commitdiff | tree |
2019-07-11 |
Arnaud Charlet | [Ada] errno.c: remove obsolete support for MaRTE OS 2019-07-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-11 |
Arnaud Charlet | [Ada] GNAT.Threads: Add a Get_Thread overload taking... 2019-07-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-10 |
Arnaud Charlet | [Ada] Improve gnatmem's doc for the depth switch 2019-07-10 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-10 |
Arnaud Charlet | [Ada] Add an annotation for static analysis 2019-07-10 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-09 |
Arnaud Charlet | [Ada] Disable calls to Abort defer/undefer when ZCX_By_Default 2019-07-09 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-09 |
Arnaud Charlet | [Ada] Set Dynamic_Elaboration_Checks to True in CodePeer... 2019-07-09 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-09 |
Arnaud Charlet | [Ada] Update -fdump-ada-spec documentation 2019-07-09 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-08 |
Arnaud Charlet | [Ada] GNAT RM: Update documentation on No_Exceptions... 2019-07-08 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-05 |
Arnaud Charlet | [Ada] GNAT UGN: refresh doc on installing from the... 2019-07-05 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-05 |
Arnaud Charlet | [Ada] System.OS_Interface: fix link order on Linux 2019-07-05 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-05 |
Arnaud Charlet | [Ada] System.Linux: fix typos in comments 2019-07-05 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-04 |
Arnaud Charlet | [Ada] CCG: reduce generated temporaries 2019-07-04 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-04 |
Arnaud Charlet | [Ada] CCG: restrict folding for boolean tests 2019-07-04 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-04 |
Arnaud Charlet | [Ada] Reduce emitted code size in CCG for aggregate... 2019-07-04 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-03 |
Arnaud Charlet | [Ada] Add a gnatbind option to generate C code 2019-07-03 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-03 |
Arnaud Charlet | [Ada] Do not consider inlined subprograms when generating... 2019-07-03 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-07-03 |
Arnaud Charlet | [Ada] Clarify wording on documentation for No_Multiple_Elabo... 2019-07-03 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2019-06-18 |
Arnaud Charlet | re PR ada/80590 (non-bootstrap build failure of Ada...
|
commit | commitdiff | tree |
2019-06-17 |
Arnaud Charlet | re PR ada/80590 (non-bootstrap build failure of Ada...
|
commit | commitdiff | tree |
2019-05-08 |
Arnaud Charlet | * standard.ads.h: New file.
|
commit | commitdiff | tree |
2019-02-06 |
Arnaud Charlet | s-linux__x32.ads: Resync list of signals with s-linux.ads
|
commit | commitdiff | tree |
2018-12-13 |
Arnaud Charlet | Add note about abort and ZCX runtime.
|
commit | commitdiff | tree |
2018-12-11 |
Arnaud Charlet | [Ada] Unnesting: ensure Current_Subprogram is always... 2018-12-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-11-14 |
Arnaud Charlet | [Ada] Handle -gx switches explicitly 2018-11-14 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-10-09 |
Arnaud Charlet | [Ada] Bounded_Holders: fix a typo 2018-10-09 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-10-09 |
Arnaud Charlet | [Ada] Remove CodePeer annotation 2018-10-09 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-09-26 |
Arnaud Charlet | [Ada] Store -G xxx switches 2018-09-26 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-09-26 |
Arnaud Charlet | [Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File 2018-09-26 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-09-26 |
Arnaud Charlet | [Ada] Vxlink: minor reformatting 2018-09-26 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-08-21 |
Arnaud Charlet | [Ada] Set_Targ: add a CodePeer annotation 2018-08-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-31 |
Arnaud Charlet | [Ada] Various code clean-ups from CodePeer messages 2018-07-31 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-31 |
Arnaud Charlet | [Ada] Fix potential Constraint_Error if Library_Version... 2018-07-31 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-31 |
Arnaud Charlet | [Ada] Sem_Elab: remove duplicate condition 2018-07-31 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-31 |
Arnaud Charlet | [Ada] Print the Is_Activation_Record flag 2018-07-31 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-17 |
Arnaud Charlet | [Ada] Preserve original CE reason in more cases 2018-07-17 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-17 |
Arnaud Charlet | [Ada] Add provision for floating-point in Apply_Division_Check 2018-07-17 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-17 |
Arnaud Charlet | [Ada] Remove references to gcov from the User Manual 2018-07-17 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-16 |
Arnaud Charlet | [Ada] Only unnest subprograms if no previous errors... 2018-07-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-16 |
Arnaud Charlet | [Ada] System.Object_Reader: minor code clean-up 2018-07-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-07-16 |
Arnaud Charlet | [Ada] adaint.c: minor code cleanup 2018-07-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-06-11 |
Arnaud Charlet | [Ada] Simplify expansion of "and then" in CodePeer... 2018-06-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-06-11 |
Arnaud Charlet | [Ada] Minor reformatting 2018-06-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-06-11 |
Arnaud Charlet | [Ada] Memtrack: have only one definition of fwrite 2018-06-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-06-11 |
Arnaud Charlet | [Ada] Refactor compilation of Ada units in Makefile.rtl 2018-06-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-06-11 |
Arnaud Charlet | [Ada] Bindgen: protect reference to System.Parameters... 2018-06-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-30 |
Arnaud Charlet | [Ada] Ignore out of range values for System.Priority... 2018-05-30 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-30 |
Arnaud Charlet | [Ada] Move special flags for Ada runtime files from... 2018-05-30 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-30 |
Arnaud Charlet | [Ada] Move target pair settings in Makefiles 2018-05-30 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-29 |
Arnaud Charlet | [Ada] Fix typos in Makefile.in 2018-05-29 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-29 |
Arnaud Charlet | [Ada] Turn Ada.Calendar.Epoch_Offset into a function 2018-05-29 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-29 |
Arnaud Charlet | [Ada] Lib.Write: avoid use of System.Case_Util 2018-05-29 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-28 |
Arnaud Charlet | [Ada] Disregard alignment issues in CodePeer mode 2018-05-28 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-28 |
Arnaud Charlet | [Ada] Minor typo fix in exp_unst.adb 2018-05-28 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-25 |
Arnaud Charlet | [Ada] Remove "constant" attribute on Osint.Unknown_Attributes 2018-05-25 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-25 |
Arnaud Charlet | [Ada] Strip too long expressions in debug routines 2018-05-25 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-25 |
Arnaud Charlet | [Ada] Do not print non ASCII characters in debug routines 2018-05-25 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-23 |
Arnaud Charlet | [Ada] Fix various defects found by static analysis 2018-05-23 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-22 |
Arnaud Charlet | [Ada] Do not emit error in Relaxed_RM_Semantics mode 2018-05-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-22 |
Arnaud Charlet | [Ada] Take into account N_Generic_Package_Renaming_Declaration 2018-05-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-05-21 |
Arnaud Charlet | [Ada] Unnest all subprograms relevant for code generation 2018-05-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-01-11 |
Arnaud Charlet | [Ada] Bump copyright notices to 2018 2018-01-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2018-01-11 |
Arnaud Charlet | einfo.ads, einfo.adb (Activation_Record_Component,... 2018-01-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2017-12-19 |
Arnaud Charlet | re PR ada/66205 (gnatbind generates invalid code when...
|
commit | commitdiff | tree |
2017-11-08 |
Arnaud Charlet | sem_util.adb (Subprogram_Name): Append suffix for overloaded... 2017-11-08 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2017-09-13 |
Arnaud Charlet | s-vxwext__kernel-smp.adb, [...]: New file.
|
commit | commitdiff | tree |
2017-09-13 |
Arnaud Charlet | Minor edits.
|
commit | commitdiff | tree |
2017-09-13 |
Arnaud Charlet | Regenerate.
|
commit | commitdiff | tree |
2017-09-13 |
Arnaud Charlet | Minor edits.
|
commit | commitdiff | tree |
2017-09-13 |
Arnaud Charlet | Regenerate.
|
commit | commitdiff | tree |
2017-09-13 |
Arnaud Charlet | Minor edits.
|
commit | commitdiff | tree |
2017-09-13 |
Arnaud Charlet | New file.
|
commit | commitdiff | tree |
2017-09-12 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2017-09-12 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | [multiple changes] 2017-09-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | Removed, no longer used.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | Removed, no longer used.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | Restored, removed by mistake.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | Renamed s-thread__ae653.adb
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | Removed, no longer used.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | New file.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | Removed, no longer used.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | libgnat: Rename ?-[a-z]*-* into ?-[a-z]*__*
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | libgnarl: Rename ?-[a-z]*-* into ?-[a-z]*__*
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | Removed.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | * s-auxdec-empty.ads, s-auxdec-empty.adb: Removed,...
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | Update header.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | New files, to ease sync between AdaCore and FSF.
|
commit | commitdiff | tree |
2017-09-11 |
Arnaud Charlet | New files, to ease sync between AdaCore and FSF.
|
commit | commitdiff | tree |
2017-09-08 |
Arnaud Charlet | Minor doc edit.
|
commit | commitdiff | tree |
2017-09-08 |
Arnaud Charlet | [multiple changes] 2017-09-08 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2017-09-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
2017-09-08 |
Arnaud Charlet | [multiple changes]
|
commit | commitdiff | tree |
next |