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-09-26
Daniel
K
in
g
a
d
a: Up
d
a
te personal
i
t
y
fu
n
ction for CHERI pure
c
a
p
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
a
d
a
: Fix c
o
n
versions
be
t
ween
a
ddresses and integers
commit
|
commitdiff
|
tree
2023-09-26
D
aniel King
ada: Add CHERI v
a
ri
a
nt of System
.
Stream_Attri
b
utes
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: Def
i
ne
CHERI exc
e
p
tion types
commit
|
commitdiff
|
tree
2023-09-05
Dan
i
el King
a
da: Pr
e
serve capabil
i
t
y
validit
y
in
a
ddress arithmetic
commit
|
commitdiff
|
tree
2023-06-20
Daniel Kin
g
ada: Add CHERI
i
ntrins
i
c bindings and helpe
r
functi
o
n
s
.
commit
|
commitdiff
|
tree
2023-06-13
Daniel King
ada: Add No_Elabora
t
io
n
_Code_All
pragm
a
to System
.
Stora
g
e_El
.
.
.
commit
|
commitdiff
|
tree