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/nothrow-detection
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
/
ghost.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2017-09-25
[multiple changes]
Pierre-Marie de Rodat
1
-3
/
+3
2017-09-07
[multiple changes]
Arnaud Charlet
1
-0
/
+44
2017-09-07
[multiple changes]
Arnaud Charlet
1
-6
/
+22
2017-04-27
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2017-04-25
contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...
Hristian Kirtchev
1
-51
/
+8
2017-01-23
ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.
Hristian Kirtchev
1
-2
/
+17
2017-01-20
[multiple changes]
Arnaud Charlet
1
-2
/
+37
2017-01-19
[multiple changes]
Arnaud Charlet
1
-1
/
+3
2017-01-13
atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke...
Hristian Kirtchev
1
-243
/
+592
2017-01-12
contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.
Bob Duff
1
-1
/
+1
2017-01-06
snames.ads-tmpl (Renamed): New name for the pragma argument.
Bob Duff
1
-1
/
+1
2017-01-06
[multiple changes]
Arnaud Charlet
1
-14
/
+17
2016-10-12
exp_ch5.adb, [...]: Minor reformatting.
Hristian Kirtchev
1
-2
/
+2
2016-10-12
[multiple changes]
Arnaud Charlet
1
-0
/
+2
2016-07-07
sem_ch6.adb (Process_Formals): Set ghost flag on formal entities of ghost sub...
Yannick Moy
1
-0
/
+8
2016-07-04
[multiple changes]
Arnaud Charlet
1
-0
/
+2
2016-07-04
ghost.adb (Prune_Node): A freeze node for an ignored ghost entity must be pru...
Ed Schonberg
1
-0
/
+9
2016-04-27
[multiple changes]
Arnaud Charlet
1
-9
/
+40
2016-04-20
sem_util.adb, [...]: Minor reformatting.
Hristian Kirtchev
1
-3
/
+3
2016-04-20
contracts.adb (Build_Postconditions_Procedure): Code cleanup.
Javier Miranda
1
-7
/
+18
2016-04-18
contracts.adb (Analyze_Object_Contract): Update references to SPARK RM.
Hristian Kirtchev
1
-74
/
+216
2015-10-23
[multiple changes]
Arnaud Charlet
1
-2
/
+3
2015-10-23
[multiple changes]
Arnaud Charlet
1
-44
/
+33
2015-10-16
exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...
Hristian Kirtchev
1
-14
/
+30
2015-05-26
[multiple changes]
Arnaud Charlet
1
-15
/
+15
2015-05-26
exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh...
Hristian Kirtchev
1
-208
/
+446
2015-05-22
[multiple changes]
Arnaud Charlet
1
-3
/
+3
2015-01-07
prj.ads, [...]: Minor reformatting.
Robert Dewar
1
-9
/
+3
2015-01-07
2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>
Hristian Kirtchev
1
-0
/
+949