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-08 |
Arnaud Charlet | conf.py, [...]: Improve support for Ada highlighting.
|
commit | commitdiff | tree |
2017-09-08 |
Arnaud Charlet | gnat_rm.texi, [...]: Update documentation.
|
commit | commitdiff | tree |
2017-09-08 |
Arnaud Charlet | sem_ch3.adb, [...]: Remove references to Frontend_Layout_On_... 2017-09-08 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2017-09-07 |
Arnaud Charlet | s-parame-ae653.ads: Removed.
|
commit | commitdiff | tree |
2017-04-25 |
Arnaud Charlet | gnat_rm.texi, [...]: Update documentation.
|
commit | commitdiff | tree |
2017-04-25 |
Arnaud Charlet | exp_ch4.adb (Expand_N_Case_Expression): Take Minimize_Expres... 2017-04-25 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2017-04-25 |
Arnaud Charlet | gnatvsn.ads (Library_Version): Bump to 8.
|
commit | commitdiff | tree |
2017-04-25 |
Arnaud Charlet | re PR ada/78845 (Inverse (Real_Matrix) result has wrong...
|
commit | commitdiff | tree |
2017-04-25 |
Arnaud Charlet | * gcc-interface/Makefile.in: Cleanup VxWorks targets.
|
commit | commitdiff | tree |
2017-04-25 |
Arnaud Charlet | New file.
|
commit | commitdiff | tree |
2017-01-13 |
Arnaud Charlet | getting_started_with_gnat.rst, [...]: Update documentation.
|
commit | commitdiff | tree |
2017-01-12 |
Arnaud Charlet | * gcc-interface/Makefile.in: Clean up VxWorks targets.
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | Update documentation.
|
commit | commitdiff | tree |
2016-07-04 |
Arnaud Charlet | Cleanups.
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | sem_prag.adb: Revert unwanted change in previous commit... 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | spark_xrefs.ads (Scope_Num): type refined to positive... 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | lib-xref-spark_specific.adb (Generate_Dereference)... 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-06-22 |
Arnaud Charlet | lib.ads: Code cleanup. 2016-06-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | 2016-05-02 Arnaud Charlet <charlet@adacore.com> 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize... 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | lib-xref-spark_specific.adb (Add_SPARK_Scope): add... 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Arnaud Charlet | make.adb: Minor... 2016-05-02 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-27 |
Arnaud Charlet | sinput.ads, [...]: Minor editing. 2016-04-27 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | a-tasatt.adb, [...] (Fast_Path): Rewritten to avoid... 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | gnat_rm.texi, [...]: Update doc.
|
commit | commitdiff | tree |
2016-04-21 |
Arnaud Charlet | exp_aggr.adb (Component_Not_OK_For_Backend): Refine... 2016-04-21 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | * gnat.dg/self1.adb: Remove now incorrect test.
|
commit | commitdiff | tree |
2016-04-20 |
Arnaud Charlet | exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid... 2016-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-19 |
Arnaud Charlet | standard_and_implementation_defined_restrictions.rst...
|
commit | commitdiff | tree |
2016-04-19 |
Arnaud Charlet | sem_res.adb (Within_Subprogram_Call): Detect also nodes... 2016-04-19 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-19 |
Arnaud Charlet | sem_ch6.adb (Process_Formals): Mark suspicious reference... 2016-04-19 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-19 |
Arnaud Charlet | sem_util.adb (Copy_Node_With_Replacement): use Set_Comes_Fro... 2016-04-19 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-18 |
Arnaud Charlet | sem_res.adb (Resolve_Short_Circuit): Do not use expression... 2016-04-18 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2016-04-18 |
Arnaud Charlet | gnatvsn.ads (Library_Version): Bump to 7.
|
commit | commitdiff | tree |
2015-11-18 |
Arnaud Charlet | gnat_project_manager.rst, [...]: Update doc.
|
commit | commitdiff | tree |
2015-11-14 |
Arnaud Charlet | re PR ada/68345 (gnat build broken on dragonfly due... 2015-11-13 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-11-12 |
Arnaud Charlet | switch-c.adb, [...]: Reserve -gnateg for generation... 2015-11-12 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-27 |
Arnaud Charlet | sinput.ads, [...]: Fix typos. 2015-10-27 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-26 |
Arnaud Charlet | debug.adb: Introduce debug flag -gnatd.5. 2015-10-26 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-26 |
Arnaud Charlet | einfo.ads, [...] (Needs_Typedef, [...]): Removed, no... 2015-10-26 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-26 |
Arnaud Charlet | osint-c.ads: Minor comment update. 2015-10-26 Arnaud Charlet <charlet@adacore.com> 2015-10-26 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-23 |
Arnaud Charlet | gnat_rm.texi, [...]: Regenerate. 2015-10-23 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-23 |
Arnaud Charlet | gnat1drv.adb (Adjust_Global_Switches): Adjust settings. 2015-10-23 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-23 |
Arnaud Charlet | sem_util.ads (Unique_Defining_Entity): Document the... 2015-10-23 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-20 |
Arnaud Charlet | s-valllu.adb, [...]: Fix typos. 2015-10-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-20 |
Arnaud Charlet | sem_aggr.adb, [...]: Fix typos. 2015-10-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-20 |
Arnaud Charlet | gnat_ugn.texi, [...]: Regenerate.
|
commit | commitdiff | tree |
2015-10-20 |
Arnaud Charlet | Update targets.
|
commit | commitdiff | tree |
2015-10-16 |
Arnaud Charlet | Make-lang.in: Update dependencies
|
commit | commitdiff | tree |
2015-10-16 |
Arnaud Charlet | checks.adb: Fix typo. 2015-10-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-16 |
Arnaud Charlet | exp_ch5.adb, [...]: Code clean up: remove special handling... 2015-10-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-16 |
Arnaud Charlet | sem_ch12.adb: Minor punctuation fix in comment 2015-10-16 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-10-16 |
Arnaud Charlet | * MAINTAINERS: Update list of Ada maintainers and email...
|
commit | commitdiff | tree |
2015-05-26 |
Arnaud Charlet | gnat1drv.adb: Minor adjustments.
|
commit | commitdiff | tree |
2015-05-22 |
Arnaud Charlet | gnatvsn.ads: Minor code reorg to remember more easily...
|
commit | commitdiff | tree |
2015-03-24 |
Arnaud Charlet | building_executable_programs_with_gnat.rst, [...]:...
|
commit | commitdiff | tree |
2015-03-01 |
Arnaud Charlet | re PR ada/65259 (Failure to build Ada DVI and PDF documentation)
|
commit | commitdiff | tree |
2015-02-25 |
Arnaud Charlet | * update_web_docs_svn: Preserve gcc/ada/*.png. Update...
|
commit | commitdiff | tree |
2015-02-25 |
Arnaud Charlet | * update_web_docs_svn: Add -I gcc/gcc/ada/doc/gnat_ugn...
|
commit | commitdiff | tree |
2015-02-22 |
Arnaud Charlet | Makefile: postprocess texinfo files to update @dircategory...
|
commit | commitdiff | tree |
2015-02-22 |
Arnaud Charlet | project-manager-figure.png, [...]: New. 2015-02-22 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2015-02-21 |
Arnaud Charlet | re PR ada/65156 (FAIL: gnat.dg/timing_events.adb execution...
|
commit | commitdiff | tree |
2015-02-20 |
Arnaud Charlet | Makefile.in: Remove references to nucleus.
|
commit | commitdiff | tree |
2015-01-06 |
Arnaud Charlet | Kill new warnings.
|
commit | commitdiff | tree |
2015-01-06 |
Arnaud Charlet | * gnatvsn.ads: Bump copyright year.
|
commit | commitdiff | tree |
2014-11-20 |
Arnaud Charlet | re PR ada/63931 (Ada libraries use 5.0 as LIB_VERSION)
|
commit | commitdiff | tree |
2014-08-04 |
Arnaud Charlet | discr6.adb, [...]: Removed, no longer relevant.
|
commit | commitdiff | tree |
next |