repo.or.cz
/
ppn.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
README: rename
2024-11-03
Sven Verdoolaege
README:
r
ename
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2024-09-01
Sven Verdoolaege
up
d
ate b
a
rvi
n
ok to version 0
.
41
.
8
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2024-09-01
S
ve
n
Ver
d
ool
a
ege
update pet to ve
r
sion 0
.
11
.
8
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2024-09-01
Sven Verdoolaege
update isl
to version 0
.
27
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2024-07-07
S
v
en Verd
o
olaege
update pet for support
for rece
n
t
vers
i
ons
of c
l
ang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2024-07-07
Sven Verdoolaeg
e
update
i
sl for support
f
o
r
recent versi
o
ns of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2024-04-07
S
v
en Verd
o
olaege
update is
l
for change
i
n lexico
g
raphic
o
p
timizatio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2024-04-07
Sven Verdoolae
g
e
t
es
t
s/inputs/wla
n
_dec
.
c: declare parameter of t
fu
n
ction
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-02
Sven Verdo
o
laeg
e
up
d
ate barvino
k
to version 0
.
41
.
7
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-02
Sv
e
n
Verdoolaege
updat
e
p
e
t to version 0
.
11
.
7
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-02
Sven
V
erdoolaege
u
pda
t
e isl to
v
ersion 0
.
26
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-07
S
v
e
n
Verdoolaege
up
d
a
te isl for
c
hange in co
a
le
s
cing
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-12
S
v
en
V
e
rdoo
l
aege
update
pet for support for
r
ecent v
e
r
s
io
n
s of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-12
Sven V
e
r
doolaege
update i
s
l for suppo
r
t
for recen
t
versions of c
l
ang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-03
Sven Verdoolaege
t
r
an
s
lation
.
cc: remove
use of std::b
i
na
r
y_function
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-03
Sven Verdoo
l
aege
pn2adg
.
cc: remove use of s
t
d::binary_f
u
nction
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-03
Sven
Verd
o
o
laege
d
e
pende
n
ce_
g
raph
.
c
c
:
rem
o
ve
u
se of std::bina
r
y_fun
c
t
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-09
Sven Verdoolaege
u
pdat
e
barvi
n
ok to ver
s
ion 0
.
4
1
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-09
Sven Verdo
o
lae
g
e
updat
e
pet to version 0
.
11
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-09
Sven Verdoolaege
u
p
date isl
t
o version 0
.
25
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
update pet for support for rece
n
t
ver
s
ions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sve
n
Ver
d
oolaege
update isl
for su
p
por
t
for recent ve
r
sions
o
f
clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
S
v
en Ver
d
o
olaege
updat
e
pet
f
or mo
r
e re
l
a
xed pe
t
_expr_is_equal i
n
de
x
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-13
S
v
en Verdool
a
ege
update barvinok to version 0
.
41
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-13
Sven
Verdoo
l
aege
update p
e
t to version 0
.
11
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-08
Sven Verdoolaege
update is
l
to version
0
.
24
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolae
g
e
update pet
f
o
r
support
f
or r
e
cent versions o
f
cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven Ver
d
o
olaege
update is
l
for
s
up
p
ort f
o
r recen
t
versions
o
f cl
a
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdo
o
l
a
ege
size
_
simulate
.
c
c: adj
u
st
b
uffer size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-25
Sven Verdoolaege
update barv
i
n
o
k to vers
i
o
n
0
.
4
1
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-25
S
ven Verd
o
ol
a
ege
up
d
ate pet to version 0
.
11
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-25
Sven Verd
o
olaege
update isl to version 0
.
23
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaege
tr
a
nslation
.
cc: handle
_
neg
a
ti
v
e_offs
e
ts:
u
se isl_s
p
ace
_
add_
u
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-28
S
v
en Verdoolaege
u
pdate p
e
t
for support for recent
v
e
rs
i
o
ns
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaege
u
pdat
e
isl fo
r
s
upport for rec
e
nt ver
s
ions of
clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-14
Sven
V
erd
o
olaege
u
p
date barvi
n
ok to version 0
.
41
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-14
Sven Verdoolaege
u
p
dat
e
p
e
t to version 0
.
11
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-14
Sven Verdoolaege
update isl to v
e
rsion 0
.
22
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-01
S
v
en
Verdoolaege
update pet
for support f
o
r
rec
e
nt ve
r
s
io
n
s
of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-01
Sven Verdoolaege
update isl for s
u
pport for rec
e
nt vers
i
ons of cla
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-09-07
Sven Ver
d
oolae
g
e
updat
e
pet for suppo
r
t for rec
e
nt
v
ersions of c
l
an
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-09-07
Sve
n
V
erdool
a
ege
update isl for support f
o
r rece
n
t
v
e
r
sion
s
of c
l
ang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-09-07
Sven Verdoolaege
update isl for ch
a
n
ge in
o
utpu
t
of
isl_hash_table_f
i
nd
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-07-22
Sven V
e
rdoolae
g
e
update pet for
s
upport for rece
n
t
versions
of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-30
Sven Ver
d
o
o
l
a
ege
u
p
date barvi
n
ok to version 0
.
4
1
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-30
Sven Verdo
o
l
a
ege
upd
a
te pet to version 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-13
Sven Verdoolaege
update i
s
l to
v
ersion 0
.
2
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-02-28
Sven Verdoolaege
I
NS
T
ALL: add
r
eference to pet/
R
EADME
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-02-28
Sven Verdoolae
g
e
pn
2
adg
.
cc: e
d
ge_na
m
e: alloca
t
e enough
s
pac
e
for edge
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
S
v
e
n
Verdoolaege
upda
t
e
pet for support for recent v
e
rs
i
o
n
s of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-26
Sven Verdo
o
la
e
ge
u
pdate isl for supp
o
rt for recen
t
versions of c
l
ang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-11-03
S
v
en Verdoo
l
aege
pn2adg
.
c
c
: edg
e
_name: allocate
enough s
p
ace for edge
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
S
v
e
n Ver
d
oolaege
update isl for move of
i
n
t
erface/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-31
Sven V
e
r
d
oola
e
ge
update barvinok to ve
r
sion 0
.
41
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-31
Sven
V
erdoolae
g
e
update pet to version 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-31
Sven Verdoolaege
u
p
d
a
t
e isl t
o
version
0
.
20
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-06-05
S
v
en Verd
o
olaege
update barvinok for direc
t
header
i
n
c
l
usi
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-06-05
S
v
en Verd
o
olaege
update p
e
t for direc
t
heade
r
inclusions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
size_
s
imulate
.
cc: directly
include requir
e
d header
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Ver
d
oola
e
g
e
pn2adg
.
cc: directly include required header
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven
Verdool
a
ege
pn
.
cc
:
directly i
n
clude r
e
quire
d
headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoola
e
ge
pdg2c
.
c
c
:
d
irectly includ
e
required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven
Verdoola
e
ge
pdg
.
cc: directly i
n
clude required h
e
a
d
ers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven V
e
rdoolaege
mem_bound
.
cc: d
i
rectly include required
h
e
aders
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdool
a
ege
m
e
m
.
cc: direc
t
ly include re
q
uired headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
S
v
en V
e
rdo
o
laege
isl_util
.
c
:
d
irectly inc
l
ude required header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verd
o
o
l
a
ege
eqv2
.
c
c:
directly include req
u
ir
e
d headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
S
ven Verdoolaeg
e
eqv
.
cc: directly include
re
q
uire
d
headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven V
e
rdo
o
laeg
e
dump_mod
e
l
.
cc: di
r
ec
t
ly
include r
e
quired
h
eaders
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven V
e
rdoolaege
dependence_
g
raph_r
e
lation
.
cc: directly
include require
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sve
n
Verdool
a
ege
dep
e
n
dence_graph
.
h:
d
irectly
i
nclud
e
requi
r
ed header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verd
o
olaeg
e
da
.
cc: directly include requ
i
red headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaeg
e
chec
k
_channe
l
_si
z
es
.
cc:
direc
t
ly include
r
equired headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-25
Sven Verdoolaege
adg_xml
.
cc: directly include required headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-10
Sven
V
erd
o
o
laege
update ba
r
v
i
nok to version 0
.
41
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-06
Sv
e
n Verd
o
olaege
upd
a
te
pet
to versi
o
n 0
.
1
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
v
en Ver
d
oolaege
update isl to
ve
r
sion 0
.
1
9
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sve
n
Verdoolaege
update
pet f
o
r support for recent clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven
Verdoola
e
ge
u
pdate isl
f
or suppor
t
for recent
c
lang
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
upda
t
e
isl for chan
g
e in in
t
erface/ex
t
ract_i
n
terface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree