index
:
riscv-gnu-toolchain/gcc.git
devel/analyzer
devel/autopar_devel
devel/autopar_europar_2021
devel/bypass-asm
devel/c++-contracts
devel/c++-coroutines
devel/c++-modules
devel/c++-name-lookup
devel/coarray_native
devel/fortran_unsigned
devel/gccgo
devel/gfortran-caf
devel/gimple-linterchange
devel/gomp-5_0-branch
devel/icpp2021
devel/ira-select
devel/ix86/evex512
devel/jlaw/crc
devel/loop-unswitch-support-switches
devel/lto-offload
devel/m2link
devel/modula-2
devel/mold-lto-plugin
devel/mold-lto-plugin-v2
devel/omp/gcc-10
devel/omp/gcc-11
devel/omp/gcc-12
devel/omp/gcc-13
devel/omp/gcc-14
devel/omp/gcc-9
devel/omp/ompd
devel/power-ieee128
devel/range-gen3
devel/ranger
devel/rust/master
devel/sphinx
devel/ssa-range
devel/subreg-coalesce
devel/unified-autovect
master
releases/egcs-1.0
releases/egcs-1.1
releases/gcc-10
releases/gcc-11
releases/gcc-12
releases/gcc-13
releases/gcc-14
releases/gcc-2.95
releases/gcc-2.95.2.1-branch
releases/gcc-3.0
releases/gcc-3.1
releases/gcc-3.2
releases/gcc-3.3
releases/gcc-3.4
releases/gcc-4.0
releases/gcc-4.1
releases/gcc-4.2
releases/gcc-4.3
releases/gcc-4.4
releases/gcc-4.5
releases/gcc-4.6
releases/gcc-4.7
releases/gcc-4.8
releases/gcc-4.9
releases/gcc-5
releases/gcc-6
releases/gcc-7
releases/gcc-8
releases/gcc-9
releases/libgcj-2.95
trunk
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gcc
/
ada
/
sem_disp.ads
Age
Commit message (
Expand
)
Author
Files
Lines
2022-09-20
replace "the the" typos
Martin Liska
1
-1
/
+1
2022-01-11
[Ada] Update copyright notice and bump Gnatvsn.Current_Year
Arnaud Charlet
1
-1
/
+1
2021-10-01
[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditions
Javier Miranda
1
-0
/
+4
2021-06-18
[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditions
Javier Miranda
1
-5
/
+2
2021-05-07
[Ada] Remove some ??? comments
Gary Dismukes
1
-11
/
+14
2021-05-03
[Ada] Update copyright notice
Arnaud Charlet
1
-1
/
+1
2020-06-09
[Ada] Missing check on private overriding of dispatching primitive
Javier Miranda
1
-5
/
+5
2020-06-02
[Ada] Bump copyright year
Arnaud Charlet
1
-1
/
+1
2019-08-14
[Ada] Fix failing assertions on SPARK elaboration
Yannick Moy
1
-1
/
+2
2019-01-08
[Ada] Bump copyright years to 2019
Pierre-Marie de Rodat
1
-1
/
+1
2018-05-30
[Ada] Minor reformatting
Hristian Kirtchev
1
-3
/
+2
2018-05-28
[Ada] Allow for GNATprove specific versions of routines from Sem_Disp
Claire Dross
1
-0
/
+18
2018-01-11
[Ada] Bump copyright notices to 2018
Arnaud Charlet
1
-1
/
+1
2017-04-25
[multiple changes]
Arnaud Charlet
1
-5
/
+4
2015-05-28
[multiple changes]
Arnaud Charlet
1
-5
/
+5
2015-05-27
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2015-05-26
[multiple changes]
Arnaud Charlet
1
-3
/
+8
2015-05-26
inline.adb (Has_Initialized_Type): Adapt to new names.
Yannick Moy
1
-0
/
+3
2015-01-30
sem_disp.adb: Minor reformatting.
Robert Dewar
1
-30
/
+41
2014-08-04
[multiple changes]
Arnaud Charlet
1
-6
/
+15
2013-01-03
[multiple changes]
Arnaud Charlet
1
-3
/
+5
2010-12-20
Fix typos in gcc/ada.
Ralf Wildenhues
1
-1
/
+1
2010-10-18
[multiple changes]
Arnaud Charlet
1
-2
/
+3
2010-10-12
[multiple changes]
Arnaud Charlet
1
-0
/
+11
2010-10-05
[multiple changes]
Arnaud Charlet
1
-1
/
+5
2010-10-05
[multiple changes]
Arnaud Charlet
1
-4
/
+6
2010-09-09
sem_ch3.adb (Derive_Subprogram): The code that checks if a dispatching primit...
Javier Miranda
1
-0
/
+8
2010-06-22
[multiple changes]
Arnaud Charlet
1
-2
/
+7
2008-05-26
einfo.ads (Abstract_Interface_Alias): Renamed as Interface_Alias.
Javier Miranda
1
-1
/
+9
2007-09-10
exp_atag.ads, [...]: Replace headers with GPL v3 headers.
Robert Dewar
1
-5
/
+4
2006-02-15
restrict.ads (No_Dispatching_Calls): New GNAT restriction.
Javier Miranda
1
-1
/
+9
2005-07-01
Update FSF address
R. Kelley Cook
1
-2
/
+2
2003-10-21
3psoccon.ads, [...]: Files added.
Arnaud Charlet
1
-2
/
+2
2003-04-24
1aexcept.adb, [...]: Merge header, formatting and other trivial changes from ...
Geert Bosch
1
-1
/
+0
2002-10-23
Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for...
Nathanael Nerode
1
-1
/
+1
2002-03-14
Delete all lines containing "$Revision:".
Geoffrey Keating
1
-1
/
+0
2001-10-02
New Language: Ada
Richard Kenner
1
-0
/
+91