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] Enhance comment
2018-11-14
Piot
r
T
r
ojane
k
[
Ada] Reco
r
d compo
n
ents do not appear in t
h
e Global
.
.
.
2018-11-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Piotr Troja
n
ek
[Ada] Fix handling o
f
g
ene
r
ic ac
t
uals with defau
l
t
.
.
.
2018-11-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Piotr Troj
a
n
ek
[
Ada] Use Cancel_Spec
i
a
l_Output ins
t
ead
of Set_
S
pecial_Outpu
.
.
.
2018-11-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Pi
o
tr T
r
ojane
k
[Ada] Fix parenthes
e
s
in com
m
ents
a
nd
"
li
b
r
a
ry-level
.
.
.
2018-11-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Piotr Trojanek
[Ad
a
] Hand
l
e
pragmas t
h
at come from a
s
pe
c
ts for G
N
A
Tp
r
ove
2018-08-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Piotr T
r
ojane
k
[A
d
a] Re
p
lace l
o
w-level call
s
t
o Ekind
w
ith high-level
.
.
.
2018-07-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Piot
r
Trojane
k
[Ada] Deconstruct 'F'
as a prefix
f
or
an A
L
I data
2018-07-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Reuse Is_Rewrite_Substitution in Reloca
t
e_Node
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
P
io
t
r Tr
o
janek
[
Ada] Fix RM rule references
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
P
i
o
t
r Trojanek
[Ada] Remov
e
e
x
t
r
a p
a
renthe
s
es in Expand
_
Inlined_Call
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Troj
a
nek
[Ada] Consistent
spe
l
l
ing of "i
.
e
.
" in docs a
n
d comm
e
nts
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piot
r
Tro
j
an
e
k
[A
d
a
]
Fi
x
Next_Actual when used on
c
al
l
s "inli
n
ed for
.
.
.
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Pio
t
r Trojanek
[Ada] Attach t
h
e special
GNATprove HEAP entity
to the
.
.
.
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
P
i
o
t
r Tr
o
janek
[Ada] Minor refac
t
oring: remove extr
a
pa
r
entheses
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Piotr Tr
o
janek
[Ada]
Deconstruct unused Withed_Bo
d
y filed of N_With_Clause
.
.
.
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Pi
o
tr Trojan
e
k
[Ada]
A
v
oid crash
when
traversin
g
units with -gnatd
.
.
.
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Trivi
a
l
s
implifications in
i
n Walk_L
i
brar
y
_
I
t
ems
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojane
k
[Ada] Decons
t
ruct always-fa
l
se
c
al
l
s
to
W
i
thed_Body
.
.
.
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
P
iotr
T
rojanek
[Ada] Ad
j
ust
r
e
f
e
r
e
n
ce to renumbered SPARK
R
M rule
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Piot
r
Trojanek
[Ada]
Don't split
A
N
D
THEN expressions in GNA
T
pr
o
ve_Mode
2018-06-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Piotr
Trojanek
[Ada] Fix han
d
ling
o
f
Pre/Pos
t
contrac
t
s
with AND TH
E
N
.
.
.
2018-06-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Piotr
T
rojanek
[Ada] Detect returning procedures annotated with No_R
e
turn
2018-05-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Piotr Trojanek
[Ada] Simplify call to Unique_Defining_Entity
on protect
e
d
.
.
.
2018-05-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
P
i
otr
T
rojane
k
[
Ada]
S
e
t
Etyp
e
on rewriteen Max_Qu
e
ue_L
e
ng
t
h expre
s
sions
2018-05-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Piotr Trojanek
[
Ada]
U
pdat
e
docume
n
tation of Sin
f
o
.
Pac
k
age_In
s
tantia
t
i
o
n
.
.
.
2018-05-30
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Piotr Tro
j
a
n
ek
[Ad
a
] Reuse Is_R
e
write_
S
u
bstitu
t
ion where possible
2018-05-30
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Piotr Tr
o
janek
[
Ada]
Simplify conditions by
removing always
t
rue co
n
junct
s
2018-05-30
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
P
i
o
t
r Trojanek
[
A
da
]
Minor
r
e
f
ormat
t
i
n
g
2018-05-29
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
P
i
otr
Trojane
k
[Ada] F
i
x c
o
nve
n
t
i
on
f
o
r iteration
w
i
t
h
m
ulti
p
l
e l
o
o
p
.
.
.
2018-05-25
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
P
i
otr Trojanek
[Ada] Rewrite Iter
a
te_
C
a
l
l_Parameters in more assertive
.
.
.
2018-05-25
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
P
iotr
Trojanek
[Ada
]
Simplif
y
ro
u
tines with
a
local Resu
l
t va
r
iable
2018-05-24
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Piotr
T
r
o
jan
e
k
[Ada] Minor fix grammar
in comment of N_Defining
_
Identifier
2018-05-24
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Pio
t
r Trojanek
[Ada] Fix in
c
onsistent
d
ocumentation
f
or
t
he Contr
a
ct_Case
s
.
.
.
2018-05-24
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Pio
t
r T
r
ojane
k
[Ada] Fix re
f
erence
s
to Backend_L
a
y
o
ut config
u
ra
t
i
o
n
.
.
.
2018-05-24
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Piotr Trojanek
[Ada] Mino
r
reformatting
2018-05-23
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[
A
d
a] Clarify
c
ode for accessing
full view of
a
t
y
p
e
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Piotr T
r
ojan
e
k
[
A
d
a] Remove
E
xterna
l
a
spect from predefi
n
ed abstr
a
ct
.
.
.
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Pi
o
tr Trojanek
[
A
d
a] Only
allow Has_Discrimina
n
ts on
t
ype entit
i
e
s
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Pi
o
tr Trojanek
[A
d
a
]
Typo in li
b
.
ads co
m
m
ent
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] Fix inc
o
nstent sub
p
rog
r
am body headers
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Piotr Troja
n
e
k
[
A
d
a
]
Allow uses of
ran
g
e utility rout
i
nes on private
.
.
.
2018-01-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Piotr
T
r
ojanek
[Ada] A
n
notate standard File_Type with Defaul
t
_In
i
tial_Condi
.
.
.
2018-01-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Piotr Tr
o
janek
[
Ada] Fix minor comm
e
nt is
s
u
e
s
2018-01-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Troja
n
ek
spa
r
k
_xrefs
.
ads (SPARK_Scope_Record)
:
Rename Sc
o
pe_I
d
.
.
.
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
spark_
x
refs
.
ads
(SPARK_
F
ile_Record): Remove s
t
ring
.
.
.
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojan
e
k
lib-xref
.
ads,
[
.
.
.
] (Tra
v
erse_Dec
l
a
r
ations
)
: Remove
.
.
.
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
s
p
ark_xrefs
.
ads (SPARK_X
r
ef_Record): R
e
move ines
s
e
n
tial
.
.
.
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Tro
j
a
n
ek
li
b
-
xref-
s
p
a
rk_specific
.
adb
(
A
dd_SPARK_Xre
f
s): R
e
move
.
.
.
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2015-12-06
Piotr Tro
j
anek
re PR a
d
a/
6
0
164 (
M
issing parenthesis
i
n the docu
m
entation)
commit
|
commitdiff
|
tree