projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Support access types in GNATprove
2018-12-11
Pierre-Marie de...
[Ada] Document the -fgnat-encodings switch
2018-12-11
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Pierre-Marie de...
[Ada] Add sa_messages.ad[sb] for SPARK 2014
2018-08-21
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Pierre-Marie de...
[Ada] Bump copyright notices to 2018
2018-08-21
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-08-03
Pierre-Marie de...
[Ada] Partially revert "Makefile patches from initial...
2018-08-03
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Pierre-Marie de...
[Ada] Remove obsolete figure in documentation
2018-05-31
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Pierre-Marie de...
[Ada] Add missing spec files for VxWorks runtimes
2018-05-31
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Pierre-Marie de...
[Ada] Minor copyright header adjustments
2018-05-31
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Pierre-Marie de...
Fix bogous dates in gcc/ada/ChangeLog
commit
|
commitdiff
|
tree
2018-02-09
Pierre-Marie de...
DWARF: no location for non-definition DECLs with non...
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de...
exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use...
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de...
einfo.ads: Comment fix.
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de...
gnat_and_program_execution.rst: Update section "Dynamic...
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de...
gcc/ada/ChangeLog: add entries missing from previous...
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de...
exp_unst.adb (Unnest_Subprograms): Nothing to do if...
commit
|
commitdiff
|
tree
2017-12-15
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Marie de...
sem_util.adb (Contains_Refined_State): Remove.
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-12-05
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-16
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
exp_ch3.adb, [...]: Minor reformatting.
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
gnat1drv.adb (Adjust_Global_Switches): Suppress warnings...
2017-11-09
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de...
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove...
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de...
sem_disp.adb (Is_Inherited_Public_Operation): Extend...
commit
|
commitdiff
|
tree
2017-11-08
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-20
Pierre-Marie de...
s-osinte__linux.ads (Relative_Timed_Wait): Add variable...
commit
|
commitdiff
|
tree
2017-10-20
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-20
Pierre-Marie de...
Add ChangeLog entries, missing from last commit
commit
|
commitdiff
|
tree
2017-10-20
Pierre-Marie de...
sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with...
commit
|
commitdiff
|
tree
2017-10-20
Pierre-Marie de...
exp_aggr.adb (Initialize_Array_Component): Avoid adjusting...
commit
|
commitdiff
|
tree
2017-10-19
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-14
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-14
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-14
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
exp_ch6.adb: (Make_Build_In_Place_Call_In_Object_Declaration...
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
exp_ch6.adb: (Make_Build_In_Place_Call_In_Object_Declaration...
commit
|
commitdiff
|
tree
2017-10-09
Pierre-Marie de...
exp_ch6.adb (Expand_N_Extended_Return_Statement): Add...
2017-10-09
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2017-09-29
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-29
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-29
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-29
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
[PR82155] Fix crash in dwarf2out_abstract_function
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
exp_imgv.adb (Expand_Image_Attribute): Disable the...
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-25
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-19
Pierre-Marie de...
validity_check.adb: Minor dg-options simplification.
commit
|
commitdiff
|
tree
2017-09-18
Pierre-Marie de...
sem_ch4.adb (Complete_Object_Operation): Do not insert...
commit
|
commitdiff
|
tree
2017-09-18
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-18
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-18
Pierre-Marie de...
Fix a typo in a comment (cgraph.c:cgraph_thunk_info)
commit
|
commitdiff
|
tree
2017-09-18
Pierre-Marie de...
MAINTAINERS: Add myself as a maintainer for the Ada...
2017-09-18
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2017-09-18
Pierre-Marie de...
Add myself as a maintainer for the Ada front end
commit
|
commitdiff
|
tree
2017-09-15
Pierre-Marie de...
Add comments to struct cgraph_thunk_info
commit
|
commitdiff
|
tree
2017-09-13
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-13
Pierre-Marie de...
[multiple changes]
commit
|
commitdiff
|
tree
2017-09-09
Pierre-Marie de...
decl.c (gnat_to_gnu_entity): Don't generate debug info...
commit
|
commitdiff
|
tree
2017-08-12
Pierre-Marie de...
[PR79542][Ada] Fix ICE in dwarf2out.c with nested func...
commit
|
commitdiff
|
tree
2017-06-21
Pierre-Marie de...
DWARF: make it possible to emit debug info for declarations...
commit
|
commitdiff
|
tree
2017-06-01
Pierre-Marie de...
DWARF: add DW_AT_location for global decls with DECL_VALUE_EXPR
commit
|
commitdiff
|
tree
2017-06-01
Pierre-Marie de...
DWARF: for variants, produce unsigned discr. when debug...
commit
|
commitdiff
|
tree
2017-05-30
Pierre-Marie de...
gimplify_modify_expr: avoid DECL_DEBUG_EXPR links across...
commit
|
commitdiff
|
tree
2017-05-15
Pierre-Marie de...
utils.c (can_materialize_object_renaming_p): Synchronize...
commit
|
commitdiff
|
tree
2017-04-27
Pierre-Marie de...
utils.c (gnat_type_for_size): Set TYPE_ARTIFICIAL on...
2017-04-27
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
next