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 |
2011-08-04 |
Arnaud Charlet | lang.opt: Add AdaWhy language, simimlar to Ada.
|
commit | commitdiff | tree |
2011-08-03 |
Arnaud Charlet | * gnat.dg/specs/debug1.ads: Add missing -margs switch.
|
commit | commitdiff | tree |
2011-08-03 |
Arnaud Charlet | * lib/gnat-dg.exp: Use gnatmake -c -u to compile a...
|
commit | commitdiff | tree |
2011-07-23 |
Arnaud Charlet | re PR ada/49819 (bogus reference to g-trasym-dwarf... 2011-07-23 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2011-01-26 |
Arnaud Charlet | * c-ada-spec.c (dump_generic_ada_node): Avoid dereferencing...
|
commit | commitdiff | tree |
2010-10-29 |
Arnaud Charlet | c-ada-spec.c (separate_class_package): New function.
|
commit | commitdiff | tree |
2010-10-26 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2010-10-26 |
Arnaud Charlet | * gnatvsn.ads: Update comments.
|
commit | commitdiff | tree |
2010-10-22 |
Arnaud Charlet | * gcc-interface/utils.c, gcc-interface/gigi.h: Minor...
|
commit | commitdiff | tree |
2010-10-21 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
2010-10-11 |
Arnaud Charlet | * xr_tabls.adb, sem_res.adb: Minor reformattingem_res.adb
|
commit | commitdiff | tree |
2010-10-11 |
Arnaud Charlet | gnat_rm.texi, [...] (Analyze_Attribute, [...]): Add... 2010-10-11 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2010-10-08 |
Arnaud Charlet | * gnat.dg/interface5.adb: Compile with warnings disabled.
|
commit | commitdiff | tree |
2010-09-10 |
Arnaud Charlet | * vms_cmds.ads: New.
|
commit | commitdiff | tree |
2010-09-09 |
Arnaud Charlet | Makefile.in, [...]: Update dependencies.
|
commit | commitdiff | tree |
2010-09-08 |
Arnaud Charlet | c-tree.h, c-decl.c (build_enumerator): Add location...
|
commit | commitdiff | tree |
2010-09-07 |
Arnaud Charlet | cp-tree.h (build_enumerator): Add new location_t parameter.
|
commit | commitdiff | tree |
2010-09-06 |
Arnaud Charlet | redef2.C: New.
|
commit | commitdiff | tree |
2010-08-05 |
Arnaud Charlet | sem.adb: Minor reformatting
|
commit | commitdiff | tree |
2010-08-04 |
Arnaud Charlet | c-ada-spec.c (dump_ada_template): Mark underlying instance...
|
commit | commitdiff | tree |
2010-06-23 |
Arnaud Charlet | exp_ch4.adb (Expand_N_Allocator): Fix potential crash... 2010-06-23 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2010-06-23 |
Arnaud Charlet | xr_tabls.adb, [...]: Update to latest lib-xref.ads... 2010-06-23 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2010-06-23 |
Arnaud Charlet | re PR ada/22220 (Unable to build gnattools native i586)
|
commit | commitdiff | tree |
2010-06-23 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
2010-06-23 |
Arnaud Charlet | * gnat.dg/not_null.adb: Update test case.
|
commit | commitdiff | tree |
2010-06-22 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
2010-06-21 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2010-06-18 |
Arnaud Charlet | Makefile.in, [...]: Update dependencies.
|
commit | commitdiff | tree |
2010-06-18 |
Arnaud Charlet | par-labl.adb, [...]: Fix copyright notices.
|
commit | commitdiff | tree |
2010-06-18 |
Arnaud Charlet | * g-spipat.adb, a-swunau.adb, a-swunau.ads, g-spitbo...
|
commit | commitdiff | tree |
2010-06-18 |
Arnaud Charlet | par-ch9.adb, [...]: Update comments.
|
commit | commitdiff | tree |
2010-06-18 |
Arnaud Charlet | * gnat.dg/class_wide2.adb: Remove bogus message, no...
|
commit | commitdiff | tree |
2010-06-17 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
2010-06-16 |
Arnaud Charlet | get_scos.adb, [...]: Code clean up, update documentation.
|
commit | commitdiff | tree |
2010-06-15 |
Arnaud Charlet | c-ada-spec.c (dump_sloc): Remove column info.
|
commit | commitdiff | tree |
2010-06-01 |
Arnaud Charlet | Make-lang.in (CXX_C_OBJS): Add c-ada-spec.o.
|
commit | commitdiff | tree |
2010-06-01 |
Arnaud Charlet | * gnat_ugn.texi: Improve doc on -fdump-ada-spec, mention...
|
commit | commitdiff | tree |
2010-06-01 |
Arnaud Charlet | invoke.texi: Mention -fdump-ada-spec.
|
commit | commitdiff | tree |
2010-01-25 |
Arnaud Charlet | * gnat.dg/array_bounds_test.adb: New test.
|
commit | commitdiff | tree |
2010-01-25 |
Arnaud Charlet | (Current_Year): Update.
|
commit | commitdiff | tree |
2009-12-17 |
Arnaud Charlet | * ada/acats/run_all.sh: Strip comments from norun.lst
|
commit | commitdiff | tree |
2009-11-30 |
Arnaud Charlet | Makefile.in: Remove handling of libgccprefix, no longer...
|
commit | commitdiff | tree |
2009-11-30 |
Arnaud Charlet | Update dependencies.
|
commit | commitdiff | tree |
2009-11-30 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Fix typo.
|
commit | commitdiff | tree |
2009-11-20 |
Arnaud Charlet | macro.c (enter_macro_context): Call cb.used callback...
|
commit | commitdiff | tree |
2009-10-28 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2009-08-17 |
Arnaud Charlet | New test.
|
commit | commitdiff | tree |
2009-07-23 |
Arnaud Charlet | * prj-conf.ads, prj-conf.adb: Switch to GPLv3.
|
commit | commitdiff | tree |
2009-07-15 |
Arnaud Charlet | Make-lang.in: Update dependencies
|
commit | commitdiff | tree |
2009-07-13 |
Arnaud Charlet | gnat1drv.adb (Adjust_Global_Switches): No longer set... 2009-07-13 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2009-07-13 |
Arnaud Charlet | lib.adb, [...]: Update comments.
|
commit | commitdiff | tree |
2009-07-13 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies
|
commit | commitdiff | tree |
2009-05-07 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies
|
commit | commitdiff | tree |
2009-05-06 |
Arnaud Charlet | Makefile.in: Update LIBGNAT_TARGET_PAIRS for Xenomai.
|
commit | commitdiff | tree |
2009-04-29 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies
|
commit | commitdiff | tree |
2009-04-24 |
Arnaud Charlet | s-tassta.adb (Create_Task): Fix violation of locking... 2009-04-24 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2009-04-20 |
Arnaud Charlet | Make-lang.in: Update dependencies 2009-04-20 Arnaud Charlet <charlet@adacore.com>
|
commit | commitdiff | tree |
2009-04-20 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2009-04-17 |
Arnaud Charlet | * gcc-interface/Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2009-04-16 |
Arnaud Charlet | Makefile.in: Change g-trasym to g-trasym-unimplemented...
|
commit | commitdiff | tree |
2009-04-16 |
Arnaud Charlet | s-intman-susv3.adb: New file.
|
commit | commitdiff | tree |
2009-04-16 |
Arnaud Charlet | Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2009-04-15 |
Arnaud Charlet | Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2009-04-15 |
Arnaud Charlet | Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2009-04-15 |
Arnaud Charlet | Make-lang.in: Update dependencies.
|
commit | commitdiff | tree |
2009-04-15 |
Arnaud Charlet | sync1.ads: Fix error now flagged by gnat.
|
commit | commitdiff | tree |
2009-04-07 |
Arnaud Charlet | * gnatvsn.ads: Bump version number.
|
commit | commitdiff | tree |
2008-08-20 |
Arnaud Charlet | * gnat.dg/div_no_warning.adb: New test.
|
commit | commitdiff | tree |
2008-08-20 |
Arnaud Charlet | Minor reforamatting.
|
commit | commitdiff | tree |
2008-08-20 |
Arnaud Charlet | Fix copyright notice.
|
commit | commitdiff | tree |
2008-08-20 |
Arnaud Charlet | * g-comlin.ads: Update comments. Add new paramter Add_Before.
|
commit | commitdiff | tree |
2008-08-06 |
Arnaud Charlet | New tests.
|
commit | commitdiff | tree |
2008-08-05 |
Arnaud Charlet | * gnat.dg/post_block.adb: New test.
|
commit | commitdiff | tree |
2008-08-05 |
Arnaud Charlet | * gnat.dg/not_null.adb: New test.
|
commit | commitdiff | tree |
2008-08-05 |
Arnaud Charlet | * gnat.dg/access_discr2.adb: New test.
|
commit | commitdiff | tree |
2008-08-04 |
Arnaud Charlet | * gnat.dg/test_ai254.adb: New test.
|
commit | commitdiff | tree |
2008-08-04 |
Arnaud Charlet | * gnat.dg/bip_aggregate_bug.adb: New test.
|
commit | commitdiff | tree |
2008-07-31 |
Arnaud Charlet | * gnat.dg/specs/null_aggr_bug.ads: New test.
|
commit | commitdiff | tree |
2008-07-31 |
Arnaud Charlet | * gnat.dg/sync_iface_test.ad[s,b]: New test.
|
commit | commitdiff | tree |
2008-07-31 |
Arnaud Charlet | * gnat.dg/specs/sync_iface_test.ads: New test.
|
commit | commitdiff | tree |
2008-07-31 |
Arnaud Charlet | * gnat.dg/missing_acc_check.adb: New test.
|
commit | commitdiff | tree |
2008-07-31 |
Arnaud Charlet | * gnat.dg/specs/genericppc.ads: New test
|
commit | commitdiff | tree |
2008-07-20 |
Arnaud Charlet | * gnathtml.pl: New file.
|
commit | commitdiff | tree |
2008-06-09 |
Arnaud Charlet | * doc/install.texi: Update requirements to build the...
|
commit | commitdiff | tree |
2008-06-09 |
Arnaud Charlet | Make-lang.in: Use -gnatwns instead of -gnatws to make...
|
commit | commitdiff | tree |
2008-05-29 |
Arnaud Charlet | * gnat.dg/abstract1.ad[sb]: New test.
|
commit | commitdiff | tree |
2008-05-28 |
Arnaud Charlet | Make-lang.in: Remove gprmake.
|
commit | commitdiff | tree |
2008-05-28 |
Arnaud Charlet | old_errors.adb, [...]: Adjust.
|
commit | commitdiff | tree |
2008-05-28 |
Arnaud Charlet | iface_eq_test.ads, [...]: New test.
|
commit | commitdiff | tree |
2008-05-27 |
Arnaud Charlet | * gnat.dg/interface5.ad[sb]: New test.
|
commit | commitdiff | tree |
2008-05-27 |
Arnaud Charlet | * gnat.dg/sync1.ad[sb]: New test.
|
commit | commitdiff | tree |
2008-05-26 |
Arnaud Charlet | * gnat.dg/specs/array_no_def_init.ads: New test.
|
commit | commitdiff | tree |
next |