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-08-01
Léo Creuse
ada: Emit
S
C
O
s
for ne
s
ted
d
e
c
ision
s
in quantified ex
p
res
s
ion
s
commit
|
commitdiff
|
tree
2023-07-28
Léo Creuse
ada: Add missing
SCO generation fo
r
q
u
ant
i
fi
e
d expressions
.
.
.
commit
|
commitdiff
|
tree