repo.or.cz
/
official-gcc.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps
2022-09-02
Claire Dross
[Ada] Add loop variant
s
to Ada
.
Strings
.
Search and Ada
.
.
.
commit
|
commitdiff
|
tree
2022-09-02
Claire Dross
[Ada] Fix pro
o
f of runtime
u
n
i
t System
.
Exp_Mod
commit
|
commitdiff
|
tree
2022-09-02
Claire Dr
o
s
s
[Ada] Fix pro
o
f o
f
runtime uni
t
Syste
m
.
Wid
_
*
commit
|
commitdiff
|
tree
2022-09-02
Claire
Dross
[Ada] Fi
x
p
roof of r
u
ntime unit System
.
Va
l
u
e* and System
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
C
l
a
i
re Dross
[Ada] Update
the documentation of functional containers
commit
|
commitdiff
|
tree
2022-07-04
Claire
Dross
[
Ada
]
Add GNAT specific pragmas to the equivalent As
s
e
rt
i
o
n
_
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Claire Dr
o
ss
[Ada]
Rename
G
NATprove annotate pragma f
o
r termi
n
ation
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Claire Dross
[
Ada]
Fix
i
teration
o
n
formal v
e
ctors
commit
|
commitdiff
|
tree
2022-05-19
Cl
a
ire Dro
s
s
[Ada] F
i
x proof of runt
i
me uni
t
a
-str
f
i
x
and
a-strsup
commit
|
commitdiff
|
tree
2022-05-18
Claire
D
ross
[
Ada]
F
ix p
r
oof of runtime u
n
it s-imageu
commit
|
commitdiff
|
tree
2022-05-18
Claire D
r
oss
[Ada] Fix proo
f
of ru
n
time u
n
it s-valeu
commit
|
commitdiff
|
tree
2022-05-10
Claire Dross
[Ada] Accept S
t
ructural in aspect Subprogram_V
a
ria
n
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Claire Dross
[A
d
a] P
r
o
o
f of Syst
e
m
.
Val_Int a
t
gold level
commit
|
commitdiff
|
tree
2022-01-11
Claire Dross
[Ada] P
r
oof of System
.
V
a
l
_Uns at
go
l
d level
commit
|
commitdiff
|
tree
2022-01-05
C
la
i
r
e
Dr
o
ss
[Ada] I
n
troduce expression func
t
ions
f
or contr
a
ct of
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Claire Dross
[Ada]
Disable
cont
r
a
ct cases on fo
r
mal containers
commit
|
commitdiff
|
tree
2021-09-20
Claire Dros
s
[A
d
a] Add SPARK_M
o
de => Off to System
.
File_Con
t
rol
_
Block
commit
|
commitdiff
|
tree
2021-07-05
C
l
aire Dross
[
A
d
a
] Add
Refe
r
ence and Constant_Referen
c
e functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2021-06-29
C
l
aire Dro
s
s
[Ada] Disable Pr
e
/Post
i
n
f
ormal
c
on
t
ainers
commit
|
commitdiff
|
tree
2021-05-07
Claire Dross
[Ada] Mov
e
H
a
s
_I
n
ferable_Discrimina
n
t
s
to Sem
_
Uti
l
commit
|
commitdiff
|
tree
2020-10-21
C
l
aire Dross
[Ada]
Ra
i
se Capacity_Error on formal
v
ecto
r
inser
t
i
o
n
commit
|
commitdiff
|
tree
2020-10-20
C
laire Dross
[Ada] Make attribute
Update an obso
l
esc
e
nt fea
t
u
r
e
commit
|
commitdiff
|
tree
2020-06-18
Clai
r
e Dross
[
A
da] The definiti
o
n
o
f
constants in declare e
x
pressions
.
.
.
2020-06-18
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Claire Dross
[Ada] Silence spurious warning on instances of formal
.
.
.
2020-06-08
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Claire Dr
o
ss
[Ada] Add Depends contracts to Delete pr
o
cedures of
.
.
.
2020-06-08
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Claire Dross
[Ada] Use correct subtype for call to Last in formal
.
.
.
2019-12-12
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
C
l
aire Dro
s
s
[Ada] Factor out co
d
e for dec
i
ding sta
t
ica
l
ly
known
.
.
.
2019-09-18
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Claire Dross
[Ada] Fi
x
style issues in functio
n
al m
a
ps
2019-09-18
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Clair
e
D
ross
[
Ada] A
d
d Remo
v
e primitive on func
t
ional
ma
p
s
2019-09-17
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Cla
i
re Dr
o
ss
[Ada] Sup
p
ort chaine
d
c
alls to t
r
aversal func
t
ions
.
.
.
2019-09-17
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-08-21
Claire Dross
[Ada] Allo
w
for of iter
a
tio
n
on forma
l
ve
c
t
o
rs
2019-08-21
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Claire Dross
[
A
da] Allo
w
r
e
ading a
borrow
e
d object ins
i
de a
c
all
.
.
.
2019-08-19
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Claire Dross
[Ada] Exten
d
ran
g
e type in sear
c
h primitives
o
f f
o
rma
l
.
.
.
2019-08-13
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Claire Dross
[Ada] Re
f
actor ownership poin
t
er chec
k
ing
in SPARK
.
.
.
2019-07-11
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Claire Dro
s
s
[Ada] Mem
o
ry corruption w
h
en using formal h
a
shed sets
.
.
.
2019-07-11
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-07-10
C
l
aire Dross
[Ada] Fix possible cr
a
shes in
GNATp
r
ove
analysis of
.
.
.
2019-07-10
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Claire Dross
[
Ad
a
] Ada
.
Container
s
.
F
ormal
_
V
ectors:
m
ake vectors alw
a
ys
.
.
.
2019-07-05
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2018-10-09
Claire Dross
[Ada
]
Functi
o
nal_Vect
o
rs: remo
v
e default value for
.
.
.
2018-10-09
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
C
laire Dross
[Ada] Allow
for GNATprove specific versio
n
s of routines
.
.
.
2018-05-28
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2017-04-27
Claire Dro
s
s
a-c
f
orma
.
ad
b
,
[
.
.
.
] (=
)
: Ge
n
eric parameter removed
.
.
.
2017-04-27
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2017-04-27
Clai
r
e
D
r
oss
a-c
o
fuba
.
ads (Add): Take as
a
n
additiona
l
input
paramete
r
.
.
.
2017-04-27
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2017-01-23
Claire Dross
exp_spar
k
.
adb (Expand_SPARK_At
t
ri
b
ute_
R
e
f
e
r
ence): For
.
.
.
2017-01-23
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2017-01-19
Cla
i
r
e Dross
exp_ch7
.
a
d
b (Bui
l
d_Inv
a
ria
n
t_Procedur
e
_Body)
:
Semi
.
.
.
2017-01-19
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree