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/sh-lra
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_spark.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2019-01-08
[Ada] Bump copyright years to 2019
Pierre-Marie de Rodat
1
-1
/
+1
2018-12-11
[Ada] Minor reformattings
Gary Dismukes
1
-3
/
+3
2018-11-14
[Ada] Minor reformatting
Hristian Kirtchev
1
-1
/
+0
2018-10-09
[Ada] SPARK: fix bug related to non access object permissions
Maroua Maalej
1
-18
/
+2
2018-09-26
[Ada] SPARK: fix a bug related to loop exit environment
Maroua Maalej
1
-23
/
+51
2018-09-26
[Ada] SPARK: update borrowing effects for IN parameters
Maroua Maalej
1
-19
/
+32
2018-08-21
[Ada] Update for Ownership rules for access types according to AI12-0240
Maroua Maalej
1
-2758
/
+1144
2018-05-23
[Ada] Minor reformattings
Hristian Kirtchev
1
-25
/
+29
2018-05-23
[Ada] Fix of some permission rules of pointers in SPARK
Maroua Maalej
1
-35
/
+60
2018-05-22
[Ada] Ada2020: Reduction expressions
Ed Schonberg
1
-6
/
+0
2018-01-11
[Ada] Bump copyright notices to 2018
Arnaud Charlet
1
-1
/
+1
2017-12-15
[multiple changes]
Pierre-Marie de Rodat
1
-0
/
+6
2017-11-08
exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...
Hristian Kirtchev
1
-0
/
+1
2017-10-09
[multiple changes]
Pierre-Marie de Rodat
1
-2
/
+2
2017-10-09
[multiple changes]
Pierre-Marie de Rodat
1
-0
/
+1
2017-09-12
[multiple changes]
Arnaud Charlet
1
-0
/
+6188