| 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 |
| 2014-08-01 |
Arnaud Charlet | * update_web_docs_svn: Simplify build of gnat_ugn.
|
commit | commitdiff | tree |
| 2014-08-01 |
Arnaud Charlet | fe.h (GNAT_Mode): New.
|
commit | commitdiff | tree |
| 2014-08-01 |
Arnaud Charlet | exp_attr.adb (Is_Inline_Floating_Point_Attribute):...
2014-08-01 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2014-08-01 |
Arnaud Charlet | binde.adb, [...]: Remove VMS handling.
2014-08-01 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-31 |
Arnaud Charlet | trans.c, misc.c: Remove references to VMS.
|
commit | commitdiff | tree |
| 2014-07-18 |
Arnaud Charlet | decl.c, [...] (Is_Packed_Array_Type): Renamed Is_Packed_Arra...
|
commit | commitdiff | tree |
| 2014-07-16 |
Arnaud Charlet | alignment2.ads, [...]: Update test case.
|
commit | commitdiff | tree |
| 2014-06-14 |
Arnaud Charlet | re PR ada/61505 (bootstrap broken by ada/gnat_rm.texi...
|
commit | commitdiff | tree |
| 2014-01-26 |
Arnaud Charlet | a-intnam-lynxos.ads, [...]: Removed, no longer maintained.
2014-01-26 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2014-01-20 |
Arnaud Charlet | sem_prag.adb (Process_Import_Or_Interface): In Relaxed_RM_Se...
2014-01-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2013-10-14 |
Arnaud Charlet | * gcc-interface/Makefile.in: Target pairs clean ups.
|
commit | commitdiff | tree |
| 2013-10-12 |
Arnaud Charlet | Slightly related to PR/58645:
|
commit | commitdiff | tree |
| 2013-08-09 |
Arnaud Charlet | * c-ada-spec.c (print_ada_declaration): Prevent accessing...
|
commit | commitdiff | tree |
| 2013-04-25 |
Arnaud Charlet | * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Exclude...
|
commit | commitdiff | tree |
| 2013-04-11 |
Arnaud Charlet | run_all.sh: Remove special handling of -gnat95 switch.
|
commit | commitdiff | tree |
| 2013-04-11 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
| 2012-12-05 |
Arnaud Charlet | Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
| 2012-11-06 |
Arnaud Charlet | Makefile.in (osconstool): Revert previous change, still...
|
commit | commitdiff | tree |
| 2012-11-06 |
Arnaud Charlet | * gcc-interface/Makefile.in (copy-s-oscons): New target.
|
commit | commitdiff | tree |
| 2012-11-06 |
Arnaud Charlet | * Makefile.in (osconstool): Removed, no longer needed.
|
commit | commitdiff | tree |
| 2012-11-06 |
Arnaud Charlet | Makefile.in (osconstool): Fix target.
|
commit | commitdiff | tree |
| 2012-10-29 |
Arnaud Charlet | * gcc-interface/Makefile.in (s-oscons.ads): Adjust...
|
commit | commitdiff | tree |
| 2012-10-29 |
Arnaud Charlet | * adabkend.ads, adabkend.adb, aa_util.ads, aa_util...
|
commit | commitdiff | tree |
| 2012-10-29 |
Arnaud Charlet | * pprint.ads, pprint.adb: New.
|
commit | commitdiff | tree |
| 2012-10-10 |
Arnaud Charlet | re PR ada/54845 ([trunk/gcc/c-family/c-ada-spec.c:3114...
2012-10-10 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2012-10-01 |
Arnaud Charlet | Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
| 2012-10-01 |
Arnaud Charlet | a-catizo.adb, [...]: Minor reformatting.
2012-10-01 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2012-09-18 |
Arnaud Charlet | * c-ada-spec.c: Style fixes.
|
commit | commitdiff | tree |
| 2012-08-23 |
Arnaud Charlet | c-ada-spec.c (dump_generic_ada_node): Fix handling...
|
commit | commitdiff | tree |
| 2012-06-28 |
Arnaud Charlet | * gnat.dg/deep_old.adb, gnat.dg/old_errors.adb: Removed...
|
commit | commitdiff | tree |
| 2012-05-15 |
Arnaud Charlet | a-except.adb, [...] (Reraise_Library_Exception_If_Any...
2012-05-15 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2012-03-20 |
Arnaud Charlet | hlo.ads, hlo.adb: Removed, no longer used.
2012-03-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2012-01-23 |
Arnaud Charlet | cxh1001.a: Removed, test not suitable on all configurations.
|
commit | commitdiff | tree |
| 2012-01-06 |
Arnaud Charlet | c-decl.c (ext_block): Moved up.
|
commit | commitdiff | tree |
| 2011-12-22 |
Arnaud Charlet | * s-osinte-hpux-dce.ads: Update header to GPLv3
|
commit | commitdiff | tree |
| 2011-12-15 |
Arnaud Charlet | a-numaux-vms.ads, [...]: New files.
2011-12-15 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2011-11-04 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
| 2011-10-13 |
Arnaud Charlet | * gcc-interface/Makefile.in: Fix typo.
|
commit | commitdiff | tree |
| 2011-09-19 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
| 2011-09-15 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
| 2011-09-06 |
Arnaud Charlet | Makefile.in, [...] (gnattools, [...]): New targets.
|
commit | commitdiff | tree |
| 2011-09-06 |
Arnaud Charlet | Makefile.in (common-tools, [...]): Speed up by using...
|
commit | commitdiff | tree |
| 2011-09-06 |
Arnaud Charlet | Makefile.in (X86_TARGET_PAIRS): Remove duplicate declaration.
|
commit | commitdiff | tree |
| 2011-09-01 |
Arnaud Charlet | Makefile.in: Clean up handling of x86 and x86-64 run...
|
commit | commitdiff | tree |
| 2011-08-29 |
Arnaud Charlet | exp_ch3.adb (In_Runtime): Fix typo.
2011-08-29 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2011-08-29 |
Arnaud Charlet | gnat_rm.texi: Add doc for 'Elab_Subp_Body.
2011-08-29 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
| 2011-08-04 |
Arnaud Charlet | Makefile.in: Clean up targets.
|
commit | commitdiff | tree |
| next |
projects / thirdparty / gcc.git / search
Arnaud Charlet