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
a-cohase.ads, [...]: Update to latest RM version.
2011-12-02
Yannick
Moy
sem_util
.
adb (Unique_Name): Reach through Uni
q
u
e
_
Enti
t
y
.
.
.
2011-12-02
Yannick Moy
<moy@adacore.com>
2011-12-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-09-02
Yannick M
o
y
usage
.
ad
b
, [
.
.
.
]
:
D
i
sable by default warnings on s
u
s
pic
i
ous
.
.
.
2011-09-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-30
Yan
n
ick Moy
*
gcc
-
interface/Make-la
n
g
.
in: Update depen
d
encies
.
commit
|
commitdiff
|
tree
2011-08-04
Yannick Moy
gnat_rm
.
texi: Do
c
ument new p
r
agma and
a
spect
.
2011-08-04
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-04
Yannic
k
Moy
sem_c
h
3
.
adb (Constrai
n
_Enumer
a
tion, [
.
.
.
]): remo
v
e
.
.
.
2011-08-04
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-04
Ya
n
nick Moy
sem_ch3
.
a
db (A
n
al
y
z
e_Object_Declaratio
n
): remove obsolet
e
.
.
.
2011-08-04
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-03
Y
anni
c
k
Moy
sem_ch11
.
adb (Analyze_Raise_
x
xx
_
Erro
r
)
:
do
n
ot
mar
k
.
.
.
2011-08-03
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Yann
i
ck Moy
sem_ch3
.
a
d
b
, [
.
.
.
]
:
Protect call to Current_Subp
r
ogram
.
.
.
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Y
annick M
o
y
sem
_
res
.
adb: Protect call
s
to Matching_Static_Array_Boun
d
s
.
.
.
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Y
a
n
nick Moy
einfo
.
ad
b
,
einfo
.
ads (Body_I
s
_In_ALF
A
, [
.
.
.
]): get
.
.
.
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Y
a
nnick Moy
s
em_ag
g
r
.
adb,
[
.
.
.
]: cleanup of SPARK mod
e
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Yann
i
c
k Moy
c
s
tand
.
adb
(Cre
a
t
e
_
Standa
r
d
):
s
ets
Is_In_AL
F
A compone
n
t
.
.
.
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Y
annick M
o
y
er
r
out
.
a
db (
F
irst_Node): minor renamin
g
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Yann
i
ck
Moy
par-ch6
.
a
db:
C
orr
e
ct obsolete name
i
n comments
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Yannick
M
oy
sem_a
g
gr
.
adb (Resolve_Aggregate): disable
i
n
c
orre
c
tly
.
.
.
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Yannick
M
o
y
errout
.
adb, errout
.
ad
s
(Che
c
k_Forma
l
_Restri
c
tion):
.
.
.
2011-08-02
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-01
Ya
n
nic
k
M
oy
e
r
r_var
s
.
ads (E
r
r
o
r_Msg_
L
a
n
g, [
.
.
.
]
):
n
ew variables
.
.
.
2011-08-01
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree
2011-08-01
Yannick Moy
p
a
r-endh
.
a
d
b
(Check_End): issue a syntax
e
rror in SPARK
.
.
.
2011-08-01
Yannick Moy
<moy@adacore.com>
commit
|
commitdiff
|
tree