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_aux.ads
Age
Commit message (
Expand
)
Author
Files
Lines
2021-09-22
[Ada] Add Package_Body helper routine to be used in GNATprove
Piotr Trojanek
1
-0
/
+4
2021-05-03
[Ada] Update copyright notice
Arnaud Charlet
1
-1
/
+1
2020-12-17
[Ada] Remove unused subprograms in validsw
Arnaud Charlet
1
-25
/
+0
2020-10-23
[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363
Eric Botcazou
1
-4
/
+0
2020-10-23
[Ada] Update header of front-end files
Arnaud Charlet
1
-7
/
+0
2020-06-16
[Ada] ACATS C452005/C452006 memberships use wrong equality operation
Arnaud Charlet
1
-0
/
+3
2020-06-10
[Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound
Piotr Trojanek
1
-3
/
+0
2020-06-03
[Ada] Remove ASIS tree generation
Arnaud Charlet
1
-10
/
+1
2020-06-02
[Ada] Remove ASIS_Mode
Arnaud Charlet
1
-2
/
+1
2020-06-02
[Ada] Bump copyright year
Arnaud Charlet
1
-1
/
+1
2019-12-12
[Ada] Mark Ada subprograms and variables referenced from gigi
Eric Botcazou
1
-0
/
+14
2019-07-10
[Ada] Fix spurious messages on global variables for SPARK pointer support
Yannick Moy
1
-0
/
+4
2019-07-05
[Ada] Minor reformatting
Hristian Kirtchev
1
-1
/
+1
2019-01-08
[Ada] Bump copyright years to 2019
Pierre-Marie de Rodat
1
-1
/
+1
2018-01-11
[Ada] Bump copyright notices to 2018
Arnaud Charlet
1
-1
/
+1
2017-09-25
[multiple changes]
Pierre-Marie de Rodat
1
-1
/
+1
2017-09-11
sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about miss...
Yannick Moy
1
-1
/
+2
2017-09-08
sem_aux.adb, [...] (Get_Called_Entity): New function to return the entity ass...
Yannick Moy
1
-2
/
+5
2016-04-21
[multiple changes]
Arnaud Charlet
1
-1
/
+5
2015-10-26
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2015-05-27
[multiple changes]
Arnaud Charlet
1
-3
/
+3
2015-05-26
[multiple changes]
Arnaud Charlet
1
-0
/
+3
2015-05-26
[multiple changes]
Arnaud Charlet
1
-8
/
+8
2015-05-26
sem_aux.adb, [...] (Get_Low_Bound): Use Type_Low_Bound.
Yannick Moy
1
-4
/
+11
2015-05-26
[multiple changes]
Arnaud Charlet
1
-5
/
+7
2015-05-26
inline.adb (Has_Initialized_Type): Adapt to new names.
Yannick Moy
1
-6
/
+32
2014-07-31
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2014-07-29
[multiple changes]
Arnaud Charlet
1
-13
/
+12
2014-07-18
[multiple changes]
Arnaud Charlet
1
-0
/
+15
2014-07-17
[multiple changes]
Arnaud Charlet
1
-0
/
+6
2014-07-17
[multiple changes]
Arnaud Charlet
1
-0
/
+5
2014-06-11
[multiple changes]
Arnaud Charlet
1
-1
/
+5
2014-02-24
sem_ch5.adb, [...]: Change spelling 'parametrization' to 'parameterization'.
Gary Dismukes
1
-1
/
+1
2014-02-18
[multiple changes]
Arnaud Charlet
1
-0
/
+5
2014-01-22
[multiple changes]
Arnaud Charlet
1
-0
/
+3
2014-01-22
[multiple changes]
Arnaud Charlet
1
-0
/
+4
2014-01-20
einfo.adb (Non_Limited_View): Applies to abstract states.
Hristian Kirtchev
1
-6
/
+4
2013-10-17
[multiple changes]
Arnaud Charlet
1
-2
/
+2
2013-10-17
sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit...
Ed Schonberg
1
-1
/
+8
2013-10-14
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2013-10-14
[multiple changes]
Arnaud Charlet
1
-0
/
+4
2013-04-23
sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogr...
Ed Schonberg
1
-14
/
+15
2012-08-06
[multiple changes]
Arnaud Charlet
1
-6
/
+60
2012-06-14
[multiple changes]
Arnaud Charlet
1
-11
/
+11
2012-06-14
einfo.adb einfo.ads (Get_Rep_Item): Removed.
Vincent Pucci
1
-0
/
+47
2012-05-15
[multiple changes]
Arnaud Charlet
1
-2
/
+2
2012-04-10
a-assert.ads: Remove execute permission.
Mike Stump
1
-0
/
+0
2011-12-02
[multiple changes]
Arnaud Charlet
1
-0
/
+18
2011-08-03
a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th...
Hristian Kirtchev
1
-1
/
+1
2011-08-03
[multiple changes]
Arnaud Charlet
1
-4
/
+0
[next]