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
util.c: manual_count: use isl_val
2011-10-23
Sve
n
Verdoolaege
updat
e
isl to
v
ersi
o
n
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update poly
l
i
b to ver
s
ion
5
.
22
.
5 + configure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sve
n
V
e
rdoolaege
updat
e
cloog f
o
r rename of LANGUAGE
_
C to CLOOG_LANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en V
e
r
doolaege
iscc:
a
dd "map
%
d
o
mai
n
" oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoolaege
update isl for i
s
l_union_
m
ap_gi
s
t_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven V
e
rdoolaege
polysign
.
h:
add m
i
s
s
ing decla
r
ation o
f
g
l
pk_pol
y
hedron_af
f
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Ve
r
doolaege
u
pdate pe
t
for support fo
r
r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ver
d
oolaege
update isl
for s
u
p
port for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven
V
erdoolaege
hull
.
c:
ad
d
missing i
n
c
lud
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Ver
d
oolaege
reduce_doma
i
n
.
c: i
n
clude barvinok/barvinok
.
h fo
r
barvinok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ve
n
Verdoolaege
evalue_isl
.
c: re
l
a
t
i
on2pwqp:
p
roperly hand
l
e parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
bar
v
inok_enumerate
.
c
c
: verify_is
l
: properly ha
n
dle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
add is
l
.
p
y
target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
expo
r
t some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
configure
.
ac: se
t
ISL_BUILDD
I
R
a
lso i
n
c
ase of bu
n
dle
d
i
sl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
u
p
date isl for extract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
up
d
ate isl for ch
a
nge in isl_pw_aff_se
t
_t
u
pl
e
_id p
r
otot
y
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven
V
e
rdoolaege
i
nclude pet
in d
i
stribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
updat
e
pet for fix in di
s
tribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
la
e
ge
update isl f
o
r i
s
l_s
e
t_from_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
drop omega submodu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
configure
.
ac
:
tak
e
into accoun
t
prefix of system omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Ve
r
doola
e
ge
upd
a
te isl for fix in factori
z
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ve
r
do
o
laege
add some iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
ae
g
e
isc
c
: o
n
ly print new lin
e
if so
m
e
t
hing was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaeg
e
is
c
c:
add "as
s
ert" op
e
rat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: add
=
= oper
a
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
V
erdo
o
laege
iscc: c
a
ll_bin_
o
p: ha
n
dl
e
binar
y
test o
p
erations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdo
o
la
e
ge
iscc
:
extract out
call_bi
n
_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdoolaege
up
d
at
e
i
sl f
o
r "==" tok
e
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoo
l
aege
update isl for change in isl
_
basic_set
_
read_from_fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
update cl
o
og for
i
nclude fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaeg
e
update isl
for re
m
oval
of isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdo
o
laege
updat
e
isl fo
r
cha
n
ge in
i
sl_
{
in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
o
laege
upd
a
te p
e
t for compatibility with recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdool
a
ege
update isl-po
l
y
lib f
o
r i
n
clude
path ordering i
s
sue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ver
d
ool
a
ege
update isl f
o
r chang
e
in space of
isl_
p
w_*
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verd
o
ol
a
ege
u
pd
a
te isl fo
r
explicit param
e
t
er spa
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdoolaege
iscc: properly handle app
l
ications o
f
funct
i
ons on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdoolae
g
e
isl_u
n
ion_set_a
p
ply_union_pw_
q
p
olyn
o
mial
:
exp
l
i
ci
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
isl_pw_q
p
olyno
m
ial_su
m
: simplify constr
u
ction o
f
target
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
i
sl_set_card: explicitly project result onto paramet
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdool
a
ege
barv
i
nok
_
s
u
mmate
.
c: verify_point: explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
Verdoolaege
test_bound
.
c: avoid u
s
e o
f
u
ndocumented isl_set_remove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
isl
_
basic_set
_
lattic
e
_widt
h
: compute cor
r
ect space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
u
pdate isl fo
r
i
sl_pw
_
qpolynomial
_
p
roject_domain_on_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update cloog for not us
i
ng undocumented i
s
l_set_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
up
d
at
e
isl-polylib f
o
r ren
a
m
e
o
f isl_di
m
t
o
isl_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Ver
d
oolaege
u
p
date
i
s
l
for rename o
f
isl_dim to i
s
l_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl-polylib for some fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
updat
e
pet f
o
r use o
f
isl_map_has_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaeg
e
up
d
ate isl for isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
u
p
date isl for r
e
name of isl_map_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
upda
t
e isl
f
o
r chan
g
e in i
s
l_af
f
_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
update
pet fo
r
compatibility with latest
c
lang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
r
d
o
o
laege
u
pdate isl for fix in
isl_map_intersect_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoo
l
a
ege
iscc: add parse_file operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Ver
d
oolaege
add
p
e
t
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ve
r
doo
l
aege
updat
e
isl for pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
p
rivately
e
xport isl_str_
f
ree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
er
d
oolaege
iscc: only pri
n
t vali
d
results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sv
e
n Verdoolaege
b
a
rvinok 0
.
34
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolae
g
e
update cloog to version 0
.
16
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sve
n
Verdoolaege
update isl to version 0
.
0
7
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaeg
e
autogen
.
sh: repl
a
ce superproje
c
t part by call to autoreconf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven V
e
rdoolaege
confi
g
ure
.
ac: use non-depreca
t
ed for
m
of AM_INIT_AUTOMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verd
o
olaege
renam
e
c
o
nfigure
.
in to configure
.
ac
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sv
e
n Verd
o
o
l
aege
up
d
a
t
e
cl
o
og
f
or not depending o
n
i
n
t
ernal represe
n
atio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolaege
test: use i
s
l interfa
c
e
for
t
esting lattice wid
t
hs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
i
scc: add lattice_width operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
i
scc: replace sche
d
ul
e
_ba
n
ds
b
y
schedule
_
for
e
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoola
e
ge
u
pdat
e
isl
for fix in isl_schedule
i
nterface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
u
p
date
c
loo
g
f
o
r ad
d
ition of
mi
s
s
ing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
iscc: accep
t
empty lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n
Ver
d
oolaege
remove evalue_split_periods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en
V
e
rdoolaege
drop evalue_c
o
nvert
a
pp
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en V
e
rdoo
l
aege
lexm
i
n
.
cc: a
d
d
m
iss
i
ng re
t
u
rn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdool
a
ege
ve
r
ify
.
c: add missi
n
g
r
eturn
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
evalue_read
.
c:
s
tream_pu
s
h_token: fix return t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
e
v
a
lue_read
.
c: add
m
issing
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
evalue_read
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_ob
j
_
l
ist_print:
prop
e
rly return
i
sl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Ve
r
do
o
laege
isl_obj_list
.
h: use flex ar
r
ay member to avoi
d
array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
update
isl for rena
m
ing of i
s
l
_
qpolynomial_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
barv
i
nok_summate:
be mo
r
e
c
are
f
ul about spaces in which
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
summate
.
c: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oo
l
aege
barvinok
.
cc: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en
Verd
o
olaege
Change license from GPL 2
.
0
to GPL
2
.
0+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ver
d
oolaege
evalue_i
s
l
.
c: add
miss
i
ng inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ve
r
do
o
laege
add cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
upda
t
e i
s
l for cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaeg
e
isl_obj_list
.
c:
f
ix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-01
Sve
n
V
erdoolaege
iscc: tur
n
on sh option when calling CLoo
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdo
o
l
aege
evalue_isl
.
c:
a
vo
i
d u
s
e
o
f isl_div inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
updat
e
isl for
isl_
d
iv_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ver
d
ool
a
ege
configure
.
ac: don't depend
on autom
a
ke 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
r
dool
a
ege
is
c
c:
add sched
u
le
and schedule_b
a
nds
o
peratio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
s
c
c: add solution
s
op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
i
s
cc
:
a
d
d coef
f
ic
i
ents
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
iscc
:
a
d
d l
i
ft operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next