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] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clauses
2020-07-07
G
hjuvan La
c
am
b
re
[Ada] Ensure No_Spe
c
ification_
O
f_Aspect
f
orbids prag
m
as
.
.
.
commit
|
commitdiff
|
tree
2020-06-18
Ghjuvan L
a
cambre
[Ada] Update
o
u
t
put of
verbose er
r
or summary
2020-06-18
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Ghjuvan
L
acambre
[Ada]
D
o
not tre
a
t
p
ragma Compile_Time_Warn
i
ng as error
.
.
.
2020-06-18
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Ghj
u
van Lacambre
[Ada] Che
c
k
i
f
attribute Pass
e
d
_By_
R
eference i
s
called
.
.
.
2020-06-16
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
G
hjuvan Lacambr
e
[Ada] Generate
p
redicat
e
checks for on
assignments
.
.
.
2020-06-11
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Ghjuvan
La
c
ambre
[Ada]
D
o
n
't build equiva
l
e
nt record aggregat
e
if t
y
pe
.
.
.
2020-06-10
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Ghjuvan Lacambre
[Ada]
Fix as
s
erti
o
n failur
e
on fun
c
tions wit
h
contracts
2020-06-10
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Ghjuvan Lacambre
[Ada] Reject
ill
e
gal b
o
dies f
o
r
null pr
o
cedures
2020-06-10
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Ghjuvan Lacambr
e
[Ada]
F
ix wrong
type being used for range chec
k
ge
n
eration
2020-06-09
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Ghjuvan Lacambre
[A
d
a]
R
eject aspec
t
sp
e
c
i
f
ications on n
u
mbe
r
constants
2019-12-18
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2019-12-16
Ghjuv
a
n Lacam
b
re
[
A
da] Validate_Access_Subprogram_Instan
c
e: check if
.
.
.
2019-12-16
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Ghjuvan Lacambre
[Ada] implemen
t
ation_defined_pragmas
.
rs
t
: Update
I
nitia
l
ize_
.
.
.
2019-12-13
Ghjuvan Lacambre
<lacambre@adacore.com>
commit
|
commitdiff
|
tree