repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Polyhedron_Factor: make sure group information gets updated
2016-04-29
Sve
n
Verd
o
o
laege
Pol
y
he
d
ron_Factor: make sure
g
roup
informatio
n
gets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-24
S
v
en
V
e
rdoolae
g
e
ad
d
get_submodule
s
.
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-06
Sve
n
Verdoolaeg
e
update
po
l
ylib for
.
gitignore
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
Sven
V
e
r
doolaege
bar
v
inok
0
.
39
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
S
ve
n
Verdoolaege
update pet to
v
ersion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
S
ven Verdool
a
e
g
e
update
isl to
v
ersion 0
.
16
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-12
Sven Verdoolaeg
e
upda
t
e AUT
H
ORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdool
a
ege
u
p
da
t
e pet f
o
r pytho
n
i
nterface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven V
e
r
do
o
l
a
ege
introdu
c
e special ver
s
i
on of isl
.
py
.
top f
o
r use
w
ith pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
S
ven Verdoolaeg
e
update pet
for isl_ctx_alloc_with
_
pet_o
p
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
S
ven
Verd
o
olaege
isl
.
p
y
: always
e
x
t
end version from co
r
e isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdoolaege
rename interf
a
ce/all
.
h to interface/all_b
a
rvinok
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdoolaege
updat
e
isl f
o
r c
h
ange
s
in ho
w
set
s
and
r
elations
are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
S
v
e
n Verdoola
e
g
e
iscc
.
c: use pet_scop_get_sche
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoolaege
up
d
ate pet for pet_scop_get_sc
h
ed
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdool
a
ege
update pet for
r
ename of pet_
s
cop_coll
e
ct_* to pet_s
c
op
_
get
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven Verdoolaege
update isl for isl_schedule_gist_domain_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven Verdoolaege
.
gitignor
e
:
add
more
l
ibt
o
ol
t
emporary files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
S
ven
Verdoolaege
specify subdir-objects
o
ption for forward com
p
atibility
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven Verdo
o
laege
con
f
igure
.
ac: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sven V
e
rdo
o
lae
g
e
iscc: parse_f
i
le: rem
o
ve
instances from
k
ill statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sven Verdoolaege
i
s
c
c
: turn on --pet-enc
a
psul
a
t
e
-
dynam
i
c-control by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sv
e
n Verdoolaege
iscc:
a
dd opera
t
ions on
b
ooleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoola
e
g
e
iscc: add "->-" operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoolaege
is
c
c: add "-" operat
i
on o
n
map and set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verd
o
olaege
iscc: add "->*" op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sven Verdoolae
g
e
doc:
u
pda
t
e documentation
o
f "last" oper
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
Sven Verdoolaege
u
pd
a
te isl
for chang
e
in isl_
m
ap_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
S
ven
Verdool
a
e
ge
u
pdate p
e
t for support for r
e
c
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sve
n
Verdool
a
ege
upd
a
t
e
isl for
s
uppo
r
t for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
v
e
n Ver
d
oolaege
han
d
le cha
n
ge in i
n
t
e
rn
a
l
r
e
p
resent
a
ti
o
n of
N
T
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaeg
e
assume NT
L
has been c
o
mpiled in IS
O
mode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verd
o
olaege
c
o
nfigure
.
ac: extract out AX_CHECK_NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
barvinok 0
.
3
8
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
v
e
n
V
erdoolae
g
e
updat
e
AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
v
en Verdool
a
ege
update pet to versio
n
0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
ven V
e
rdoo
l
ae
g
e
replace isl_{,in}equal
i
ty_al
l
oc by isl_con
s
traint_alloc_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
up
d
ate isl to version 0
.
1
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
V
erdoolae
g
e
iscc:
parse_file: return sc
h
e
dule in sch
e
d
ule tree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sv
e
n
V
e
rdoola
e
ge
i
scc: drop sc
h
edule_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ver
d
oolaege
is
c
c:
s
chedule: re
t
urn schedule i
n
sc
h
e
dule t
r
ee represe
n
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ve
r
doolaege
iscc: allow implicit conversion fr
o
m schedule to union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdool
a
ege
i
scc: allow
e
xplicit co
n
version from schedule to union
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
ol
a
ege
iscc: ad
d
d
omai
n
opera
t
ion o
n
s
c
hedules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaeg
e
iscc:
prin
t
s
che
d
u
l
es in blo
c
k for
m
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdool
a
ege
iscc
.
c: read_line: extract out print_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdool
a
ege
iscc: codegen: acce
p
t s
c
hedu
l
e
a
s inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
ven Ve
r
doolaege
iscc
.
c
.
: spl
i
t up prin
t
_
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdoolaege
iscc: suppor
t
s
c
h
ed
u
le t
r
ees in dependence a
n
a
lysis
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdoolaege
is
c
c
.
c: extract out comm
o
n access_info_set_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdoolae
g
e
iscc: t
y
peof: recognize schedu
l
e o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc
.
c: use isl_union
_
access_in
f
o_compute_flow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
add
dependence
a
nalysis tests for
i
s
c
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
erdoolaege
i
scc: ad
d
"lb" oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sv
e
n Ve
r
doolaege
u
p
d
ate isl for rename of isl_schedule_map_s
c
h
edule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sve
n
Verdoolaege
u
pdate is
l
f
or
introduc
t
ion of isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
Ve
r
doolaege
i
s
cc
.
c: av
o
id
u
s
e
of isl_bool_* ide
n
tifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
erdoolaeg
e
tests/iscc/sum4: comp
a
re NaN against string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
iscc:
a
dd
equality operati
o
n
o
n string
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
ven Verdoola
e
ge
update pet for
d
irect he
a
de
r
in
c
l
usions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven V
e
rdoolaege
u
pdate isl
f
or
replacement of
CLooG te
s
t cases
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
test_appr
o
x
.
c: use fabs on
d
o
u
ble
i
nstead of abs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
S
ven Verdoolaege
hi
l
bert
.
c: ad
d
mi
s
sing
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
S
v
en
V
erdoolaege
summate
.
c: direct
l
y
include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verd
o
o
laeg
e
isl_map_polylib
.
h: in
c
lude corr
e
ct header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-17
Sven Verdoolaege
iscc
.
c:
v
ertices: avoid
u
n
initialized read on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Ver
d
oo
l
aege
iscc: avoid u
s
e
o
f
p
e
t_scop_collect_sc
h
edule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sve
n
Ver
d
oolaege
upd
a
te pet for rep
r
e
senting schedule as schedule tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
S
ven V
e
rdool
a
ege
update isl for sufficient s
c
hedule tree support for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
Ol
e
ksandr Zi
n
en
k
o
configure
.
ac: allo
w
b
u
ilddir
fo
r
NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-24
Olek
s
and
r
Z
i
n
enko
c
o
nfigure
.
ac: allow builddir for GMP
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sv
e
n
Ver
d
oo
l
aege
iscc
.
c: use isl_s
t
ream_g
e
t_ctx
instead of reading ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ve
r
dool
a
ege
iscc
.
c:
u
se isl_stream_is_empty instead
o
f
readi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven V
e
rdoolaege
u
pdate isl
f
or
isl_stream_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
ven Verdoolaege
update
pet for support for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sve
n
V
e
rdoolaege
update isl for support
for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
summate
.
c: avoi
d
use
of
isl_union_pw_q
p
olynomi
a
l_add_pw_qpol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Ve
r
doolaege
barvinok
.
cc:
a
void
use of isl_union_pw_q
p
olynomial_add_pw_qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
isl_union_s
e
t_lat
t
ice_
w
idth: check
w
hether input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
S
v
en Verd
o
o
laege
summate
.
c: join_compatibl
e
: avoi
d
us
e
of und
o
cumente
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
S
v
e
n
Verdoolaege
su
m
mate
.
c
:
join_c
o
mpatible
:
rename
"
d
i
m
" variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
update pet to version
0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven
V
e
rd
o
olaege
up
d
ate isl to version 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
S
ven Verdoolaege
READ
M
E: update contact
information
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
Sven Verdoolaege
updat
e
isl for chang
e
in isl_ma
p
_
s
ubtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sve
n
V
e
rdoolaege
upd
a
te pet for sup
p
o
r
t for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoola
e
ge
update isl for support fo
r
rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
latt
i
c
e_width
.
c
:
avoi
d
u
se o
f
deprecated functio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sve
n
Verdoolaege
barvinok_e
n
umerate_with_options:
handle c
o
n
t
e
xt con
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sven
V
e
r
doolaege
d
oc: add an
o
ther p
a
per refer
i
ng t
o
the library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolaege
isl_Poly
h
edron_Red
u
ce
d
_
B
asis: av
o
i
d
double
free of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-03
Thomas Kah
l
e
Upd
a
te
t
he g
l
pk ca
l
ls to the new glp
_
API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
Sve
n
Verdoolaege
isc
c
: also disallow so
u
r
c
e operation when --no-io
is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erd
o
olae
g
e
barv
i
no
k
0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
olaege
up
d
a
t
e pet
to
version
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verd
o
o
laege
upda
t
e isl to
v
ersion 0
.
13
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosser
Add missin
g
i
nclude
o
f isl/aff
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-04
Sven Ve
r
d
o
olaege
u
pdate pe
t
for sorting
o
f arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Ver
d
oolaege
isl_
p
aram_util
.
c: drop expr2vertex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolae
g
e
upda
t
e isl for change in i
s
l_v
e
r
te
x
inspe
c
tor
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
