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: Fix incorrect quoting in documentation
2023-10-19
Sheri Bernstei
n
ada: Refactor code to remove G
N
ATc
h
eck violation
commit
|
commitdiff
|
tree
2023-10-19
Sheri Bernst
e
in
ada: Add pragma Annotate
fo
r
GNATcheck
e
xemp
t
ions
commit
|
commitdiff
|
tree
2023-09-05
Sheri Bernst
e
i
n
a
d
a: Remove
G
NATcheck v
i
o
l
ati
o
ns
commit
|
commitdiff
|
tree
2023-09-05
S
h
er
i
B
e
rnste
i
n
ada: Handle G
N
ATcheck viol
a
tions
commit
|
commitdiff
|
tree
2023-08-07
Sheri
B
erns
t
ein
ada: Ref
a
cto
r
multiple returns
commit
|
commitdiff
|
tree
2023-08-03
Sheri Bernstein
a
d
a: Ad
d
pragm
a
Ann
o
t
a
t
e
for GNATcheck exempti
o
ns
commit
|
commitdiff
|
tree
