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: Minor tweaks for comparison operators
2023-09-26
Daniel King
a
da: Update pe
r
sonality function fo
r
CHERI purecap
commit
|
commitdiff
|
tree
2023-09-26
Daniel K
i
ng
ada: F
i
x
c
o
nver
s
ions
betwee
n
addr
e
ss
e
s and integers
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: Add
CHERI variant
o
f
S
y
s
te
m
.
Stre
a
m_Attributes
commit
|
commitdiff
|
tree
2023-09-26
Daniel King
ada: Define CHERI exception types
commit
|
commitdiff
|
tree
2023-09-05
Dani
e
l Kin
g
ada: Preserve capabil
i
ty
v
alidity in address arithmet
i
c
commit
|
commitdiff
|
tree
2023-06-20
D
a
ni
e
l King
a
d
a: A
d
d
C
HER
I
i
n
trinsic
bin
d
ings and helper func
t
ion
s
.
commit
|
commitdiff
|
tree
2023-06-13
Dan
i
el King
a
da: Add
N
o_Elabor
a
ti
o
n_
C
ode_All pragma to Syste
m
.
Storage
_
E
l
.
.
.
commit
|
commitdiff
|
tree