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
/
lib-xref-spark_specific.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2017-11-09
gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...
Pierre-Marie de Rodat
1
-1044
/
+31
2017-11-09
[multiple changes]
Pierre-Marie de Rodat
1
-1
/
+3
2017-11-08
[multiple changes]
Pierre-Marie de Rodat
1
-0
/
+6
2017-11-08
[multiple changes]
Pierre-Marie de Rodat
1
-5
/
+4
2017-11-08
[multiple changes]
Pierre-Marie de Rodat
1
-51
/
+0
2017-11-08
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...
Pierre-Marie de Rodat
1
-65
/
+1
2017-11-08
[multiple changes]
Pierre-Marie de Rodat
1
-2
/
+1
2017-11-08
spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.
Piotr Trojanek
1
-8
/
+8
2017-11-08
spark_xrefs.ads (SPARK_File_Record): Remove string components.
Piotr Trojanek
1
-27
/
+3
2017-11-08
lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.
Piotr Trojanek
1
-7
/
+4
2017-11-08
[multiple changes]
Pierre-Marie de Rodat
1
-17
/
+13
2017-11-08
spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.
Piotr Trojanek
1
-51
/
+6
2017-11-08
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty en...
Piotr Trojanek
1
-6
/
+1
2017-11-08
sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...
Pierre-Marie de Rodat
1
-18
/
+3
2017-09-29
[multiple changes]
Pierre-Marie de Rodat
1
-1
/
+1
2017-09-13
[multiple changes]
Pierre-Marie de Rodat
1
-33
/
+17
2017-09-11
lib-xref-spark_specific.adb: Minor rewrite.
Yannick Moy
1
-1
/
+1
2017-09-11
sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about miss...
Yannick Moy
1
-3
/
+3
2017-09-08
[multiple changes]
Arnaud Charlet
1
-1
/
+5
2017-09-08
[multiple changes]
Arnaud Charlet
1
-0
/
+13
2017-09-07
[multiple changes]
Arnaud Charlet
1
-3
/
+13
2017-01-19
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2017-01-19
[multiple changes]
Arnaud Charlet
1
-4
/
+7
2017-01-19
[multiple changes]
Arnaud Charlet
1
-16
/
+8
2017-01-19
[multiple changes]
Arnaud Charlet
1
-1
/
+10
2017-01-19
[multiple changes]
Arnaud Charlet
1
-47
/
+51
2017-01-13
sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...
Hristian Kirtchev
1
-28
/
+35
2016-11-30
[multiple changes]
Arnaud Charlet
1
-7
/
+0
2016-06-22
[multiple changes]
Arnaud Charlet
1
-47
/
+50
2016-06-22
[multiple changes]
Arnaud Charlet
1
-193
/
+199
2016-06-22
spark_xrefs.ads (Scope_Num): type refined to positive integers.
Arnaud Charlet
1
-402
/
+362
2016-06-22
[multiple changes]
Arnaud Charlet
1
-8
/
+10
2016-06-22
lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not comment...
Arnaud Charlet
1
-10
/
+38
2016-06-22
[multiple changes]
Arnaud Charlet
1
-4
/
+3
2016-06-22
exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary of Expand_N_In...
Ed Schonberg
1
-20
/
+10
2016-06-22
lib.ads: Code cleanup.
Arnaud Charlet
1
-21
/
+2
2016-06-14
[multiple changes]
Arnaud Charlet
1
-6
/
+19
2016-05-02
Minor reformatting.
Arnaud Charlet
1
-3
/
+3
2016-05-02
2016-05-02 Arnaud Charlet <charlet@adacore.com>
Arnaud Charlet
1
-63
/
+48
2016-05-02
[multiple changes]
Arnaud Charlet
1
-2
/
+2
2016-05-02
lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
Arnaud Charlet
1
-2
/
+12
2016-05-02
make.adb: Minor...
Arnaud Charlet
1
-6
/
+6
2016-04-19
sem_res.adb (Within_Subprogram_Call): Detect also nodes that appear in entry ...
Arnaud Charlet
1
-4
/
+4
2016-04-18
[multiple changes]
Arnaud Charlet
1
-2
/
+2
2016-04-18
sem_ch6.adb (Is_Inline_Pragma): The pragma argument can be a selected compone...
Bob Duff
1
-2
/
+15
2015-11-25
[multiple changes]
Arnaud Charlet
1
-1
/
+2
2015-11-25
[multiple changes]
Arnaud Charlet
1
-6
/
+16
2015-11-12
[multiple changes]
Arnaud Charlet
1
-2
/
+6
2015-10-27
lib-xref-spark_specific.adb, [...]: Minor reformatting.
Hristian Kirtchev
1
-0
/
+1
2015-10-27
[multiple changes]
Arnaud Charlet
1
-0
/
+12
[next]