repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update cloog for rename of LANGUAGE_C to CLOOG_LANGUAGE_C
2011-10-19
Sven Verdool
a
ege
up
d
a
te cloog for
rename of LAN
G
UAGE_C to CLOOG_LANGUA
G
E_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoo
l
aege
iscc: add "m
a
p
% domain"
o
p
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdool
a
e
g
e
update isl
for isl_union_map_gi
s
t_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoola
e
ge
poly
s
ign
.
h: add missing declaration of glpk_po
l
yhedron
_
affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
S
ven Ve
r
doolaege
upd
a
te p
e
t for suppo
r
t for
r
ecent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n
Verdoolaeg
e
upda
t
e isl for support for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
V
erd
o
olaege
h
ull
.
c: add mis
s
ing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoolaege
re
d
u
c
e
_domain
.
c: include
b
a
r
vi
n
ok/barv
i
no
k
.
h
for barvinok_c
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Ve
r
do
o
l
a
e
g
e
evalu
e
_isl
.
c
:
r
elation2pwq
p
: properly h
a
ndle pa
r
a
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
barvinok_enumerate
.
cc: ve
r
ify_isl: p
r
operly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolaege
add isl
.
py targ
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
export some
f
u
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oolaege
confi
g
ure
.
ac: s
e
t ISL_
B
UI
L
DDIR also in
case of
b
undled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolae
g
e
updat
e
isl for extract_inter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tob
i
as Gr
o
s
s
er
iscc:
u
s
e cloog_union_domain
_
f
r
o
m
_isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoo
l
a
e
ge
update isl for change in isl
_
pw_af
f
_
s
e
t_tup
l
e_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
include
pet in
d
istribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
erdoolaege
update pe
t
fo
r
fix in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
upda
t
e isl for is
l
_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven V
e
rdo
o
lae
g
e
dr
o
p omega submodu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdoolaege
confi
g
ure
.
ac
:
take i
n
to accou
n
t
prefix of system omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
d
oolaege
u
p
date isl f
o
r fix in fac
t
orization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n Verdoolaege
add s
o
me iscc
t
ests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en
Verdoolaeg
e
iscc: only print new line if s
o
methi
n
g was pri
n
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoolaege
i
scc:
add "assert" o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
is
c
c:
add == operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
er
d
oolaege
iscc:
c
all_bin_op
:
h
andle binary test operatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdo
o
laege
isc
c
: extr
a
ct out call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oola
e
ge
upd
a
te isl
f
or "==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n
V
e
rdoolaege
update isl for cha
n
ge
i
n
i
s
l
_
basic_se
t
_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n Verdoolaege
update cl
o
og for
i
nclude fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aege
up
d
ate isl
f
or removal of isl_di
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaege
upd
a
t
e isl
fo
r
c
ha
n
ge i
n
isl_{in,
}
e
q
ua
l
i
ty_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aege
update pet
f
or
c
ompati
b
i
l
ity with recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ver
d
ool
a
ege
upda
t
e
i
sl-pol
y
lib
for include path order
i
ng issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl for c
h
ange in sp
a
c
e
of isl_pw_* obje
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verdoolaeg
e
update isl
for e
x
pli
c
it p
a
rameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Verd
o
olae
g
e
iscc: properly handle
a
pplications of function
s
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
isl_union_set_ap
p
ly
_
union_pw
_
qpolynomial: explicit
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
isl_pw
_
qpolyn
o
mial_sum: s
i
mplify co
n
s
t
r
u
c
tion of targ
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
isl_set_card: ex
p
l
i
citly project r
e
sul
t
o
n
to
p
a
ra
m
ete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
barvinok_summate
.
c: ver
i
fy_p
o
int:
expli
c
itly p
r
oject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolae
g
e
test_b
o
u
n
d
.
c: a
v
oid use of undocumented isl_set_remove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
o
la
e
ge
i
s
l_ba
s
ic_set_lat
t
ice_width: comp
u
te corre
c
t
s
pace
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaege
upda
t
e isl for
i
s
l
_
pw_qpol
y
no
m
ial_
p
roject_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
update
c
loo
g
for not using undocumen
t
ed isl_se
t
_e
x
tend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
update isl-polylib for rename of isl_d
i
m to i
s
l_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoo
l
aege
update is
l
f
o
r ren
a
me of isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doo
l
a
e
g
e
update is
l
-
poly
l
ib f
o
r som
e
fix
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
update
p
et for
use of isl_map_has
_
tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verd
o
olaege
u
pda
t
e isl for isl_ma
p
_ha
s
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
u
p
d
ate isl for rename
o
f isl_ma
p
_
ins
e
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update
isl fo
r
change i
n
isl_aff_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdo
o
la
e
ge
update
p
et f
o
r compatibility
w
ith late
s
t
cl
a
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
ool
a
eg
e
update isl fo
r
fix
in
isl_map_intersect_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rdo
o
laege
iscc: ad
d
pars
e
_f
i
le op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en
Ve
r
doolaege
add pet submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
ve
n
Verdoolaege
update isl
f
or pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
priva
t
el
y
export isl_str_f
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Verd
o
ola
e
g
e
iscc: only
p
rint valid results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Ve
r
do
o
laeg
e
barvinok 0
.
34
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sv
e
n Verdoola
e
ge
updat
e
cloog to ve
r
sio
n
0
.
1
6
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoo
l
aege
update i
s
l
to
versi
o
n 0
.
0
7
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven
Ve
r
d
o
olaege
autogen
.
sh: r
e
place
s
uper
p
r
oject part by call
t
o autoreconf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en
V
er
d
oolaege
con
f
igure
.
ac: use non-deprecated
f
orm
o
f
A
M_INIT_AUTOMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
re
n
a
m
e con
f
igure
.
in
t
o configure
.
ac
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven V
e
rd
o
olaege
upd
a
te cloog
f
or not depending on internal r
e
pres
e
n
a
ti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
test
:
us
e
isl in
t
erf
a
ce for te
s
t
ing la
t
tice widths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolaeg
e
iscc:
a
d
d
lattic
e
_
w
idth op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
i
s
cc:
r
eplace schedule_bands
by schedule_fore
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoo
l
aege
upda
t
e is
l
f
o
r fix in
isl_sche
d
ule interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n
Ver
d
oolaege
update cloog for add
i
tion of
missing
i
nc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
iscc:
acc
e
p
t emp
t
y
l
ists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdool
a
e
g
e
remove evalue_split
_
pe
r
iod
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven
V
erdool
a
eg
e
drop eva
l
ue
_
con
v
ert application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
l
e
xmin
.
cc: add
m
iss
i
ng
return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aege
verify
.
c
:
a
dd missing
r
eturns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdo
o
laege
eva
l
ue_read
.
c: stream_push_
t
o
k
en: fix r
e
tur
n
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
evalue_r
e
ad
.
c: add
missing inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
ev
a
lue_r
e
ad
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
e
r
doo
l
aege
isl_obj_list
_
print: p
r
operly return isl_prin
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
V
erd
o
olaege
isl_obj_list
.
h: use flex array mem
b
er
t
o av
o
i
d ar
r
ay
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolae
g
e
update
i
sl for rena
m
ing
o
f
i
s
l
_qpolynomial_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
o
laege
b
arvinok_summate
:
be more car
e
ful
a
bout spac
e
s in which
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaeg
e
summate
.
c: add m
i
ss
i
n
g
i
nclude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaeg
e
barvinok
.
cc
:
add missin
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolaege
Cha
n
ge l
i
cense from GPL 2
.
0 to GPL
2
.
0+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven
V
erdoo
l
aege
eval
u
e_isl
.
c:
a
d
d mis
s
ing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sv
e
n Verdoolaeg
e
a
dd cloog su
b
modu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
update isl f
o
r cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven
Verdoolaege
isl_obj_l
i
s
t
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdo
o
laege
is
c
c: turn on sh
o
p
tion when calling
CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaeg
e
e
v
alue_isl
.
c: avoid us
e
of isl_div in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
updat
e
isl for isl
_
div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
configure
.
ac:
d
o
n't depend o
n
a
ut
o
make 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
iscc: add schedule and schedule_bands operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
is
c
c: ad
d
solutions
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdool
a
ege
is
c
c
:
add c
o
efficients operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdo
o
laege
iscc
:
add
lift op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
i
scc: perfor
m
assignm
e
nt
s
e
ven on
er
r
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next