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 Ver
d
oolaege
upd
a
te
c
l
oog for r
e
na
m
e of LA
N
GUAGE_C to C
L
OOG_LANGUAGE
_
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
iscc: a
d
d "map % domain"
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoolaege
upd
a
te isl for isl
_
union_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdo
o
l
aege
polysign
.
h
:
add m
i
ssing
d
eclarat
i
on of
g
l
p
k_po
l
y
h
edron_affi
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven
Verdoolaege
update pet for support fo
r
r
ece
n
t cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
ven Verd
o
olaege
up
d
ate isl for suppor
t
for
r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ven V
e
rdoolaege
hull
.
c
: add missing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaeg
e
red
u
ce_domai
n
.
c: i
n
clude bar
v
inok/barvinok
.
h
f
o
r barvinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verd
o
olaege
evalue_isl
.
c
:
relation2pwqp: properly handle para
m
ete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
rdoolaege
barvin
o
k_enumerate
.
cc: verify_isl: properly handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Ver
d
oolaege
add is
l
.
py
t
arget
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Ver
d
oolaege
export some fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaeg
e
configure
.
ac:
set ISL_BUILDD
I
R al
s
o in
c
a
se of bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
e
r
doolaege
u
pdate isl
f
o
r
e
xt
r
act
_
i
n
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
u
p
date isl
f
or chan
g
e in isl_pw_aff_set_tuple
_
id prototy
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven V
e
rd
o
ol
a
ege
include pet in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n
V
e
r
doo
l
ae
g
e
update pet for fix in distrib
u
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl for isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
drop ome
g
a sub
m
o
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
c
on
f
igure
.
ac: take into ac
c
ount prefix of system omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
u
pdate isl fo
r
fix in fact
o
rizati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ve
r
doolae
g
e
ad
d
so
m
e iscc te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Ver
d
o
o
laege
iscc:
only
pr
i
nt
n
ew line if something was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n Verdoolaege
isc
c
: add "assert" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
i
s
cc: add == op
e
rat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laege
iscc: call_bin_
o
p: handle binary test
o
perations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdoolaege
iscc: extr
a
ct
o
ut
c
al
l
_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdo
o
laege
u
p
date isl for "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
S
ven Verdoolae
g
e
update isl for chan
g
e
i
n is
l
_basic_set_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdo
o
laege
u
pdate cloog
for i
n
c
lud
e
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Ve
r
d
o
ol
a
ege
update isl for
r
emoval of is
l
_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
u
p
date isl for cha
n
ge in isl_{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolae
g
e
update pet for compati
b
ility with re
c
ent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven
V
e
r
d
oolaege
up
d
ate
is
l
-poly
l
i
b for
include pa
t
h order
i
ng
i
s
s
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoo
l
aeg
e
update is
l
for change in space o
f
isl_
p
w_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
e
rdoolaege
update isl
for expli
c
it parameter spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verdoolaege
iscc:
p
roperly h
a
ndle applic
a
t
ions of functi
o
ns on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
e
r
doola
e
ge
isl_union_set
_
appl
y
_union_pw_q
p
o
ly
n
o
m
ial: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
Verdoolaege
isl_pw_qpolynomial_sum: simplify co
n
struction of
t
arg
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
isl_
s
et_
c
a
rd: explicitly pr
o
je
c
t
result onto par
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
barv
i
nok_s
u
m
mate
.
c: veri
f
y_p
o
i
nt: explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
test_bound
.
c: avoid
use of und
o
cumented
i
sl_set_
r
e
move
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verd
o
olaege
isl_basic_set
_
latt
i
ce_widt
h
:
compute correc
t
space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
d
o
olaege
update isl for isl_pw_qpolynomial
_
project_domain_o
n
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
u
pdate cloog for not using undocumented
isl_set_
e
x
tend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
update isl-po
l
ylib for rename of isl
_
d
i
m to
i
sl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update
i
sl for rename of isl_dim to isl_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
update isl-polylib for
some fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdool
a
ege
update pet
f
or use of isl
_
map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update
i
s
l for isl_map_has_tup
l
e_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
V
e
r
doolaege
update
i
sl for rename of is
l
_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdo
o
laege
updat
e
isl
for change in isl
_
aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
er
d
oola
e
ge
update pet for com
p
atibility with
l
atest clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
update isl for fix in isl_map_int
e
rsec
t
_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoo
l
a
e
ge
i
scc: add
p
arse_fil
e
opera
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
e
r
doolaege
add pet submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
upda
t
e i
s
l for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rdoolaege
privat
e
ly export isl_str_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
erdoo
l
aege
i
s
c
c:
o
nly print valid results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Ve
r
doolaege
barvi
n
ok
0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolaege
upd
a
te cloog to
version 0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaege
up
d
ate
isl to version 0
.
0
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
auto
g
en
.
sh:
repl
a
ce s
u
perprojec
t
part b
y
call to a
u
t
ore
c
o
n
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en Verdoolaege
con
f
igure
.
a
c: use n
o
n-deprecated form of
AM_INIT_AUTOMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en Verd
o
ol
a
ege
rename configure
.
i
n to configure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ve
r
doolaeg
e
update clo
o
g for not depe
n
ding
o
n
internal
r
epres
e
n
a
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoola
e
ge
test: use isl inter
f
ace for testing lattice
w
idths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
iscc: add lattice_width
o
perati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verd
o
olaege
iscc: replac
e
s
c
hedule_bands b
y
schedule_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaeg
e
update isl for f
i
x
in isl_schedule i
n
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Ver
d
oolae
g
e
update cloog for ad
d
ition of
m
i
s
s
ing in
c
l
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
isc
c
: ac
c
e
pt
empty l
i
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verd
o
o
la
e
ge
remov
e
evalue_spl
i
t
_periods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
drop evalue
_
convert
a
p
plication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
lexmin
.
cc:
a
d
d
mis
s
ing return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n Ve
r
doola
e
ge
verify
.
c:
add missing returns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaeg
e
evalue_read
.
c: stream_push_tok
e
n: fix return
t
yp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaege
eval
u
e_r
e
ad
.
c: add missin
g
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
eva
l
ue_
r
ead
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
isl_obj_list_print: properly
return
i
sl_pri
n
ter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_o
b
j_l
i
s
t
.
h:
use flex array mem
b
er to avo
i
d array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
update i
s
l for renaming o
f
isl_qp
o
lyn
o
mial_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verd
o
olaege
barvi
n
ok_summate: be more car
e
ful abo
u
t spa
c
es in which
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoo
l
aege
summate
.
c: add missing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
barvinok
.
cc:
a
dd mis
s
i
ng incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
o
o
laege
Change
l
icense from
G
PL 2
.
0
t
o
G
PL 2
.
0
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ve
r
d
oolaege
e
v
alue_
i
sl
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sv
e
n
Ver
d
oolae
g
e
add cloog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verd
o
olaege
update isl for cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven
V
erdoolaege
isl_obj_li
s
t
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdoola
e
ge
is
c
c: t
u
rn on sh opt
i
on whe
n
calling C
L
ooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
V
e
rdoolaeg
e
evalu
e
_isl
.
c: a
v
oid use of i
s
l_di
v
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
u
pd
a
te isl
for isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
co
n
figure
.
ac
:
don't d
e
p
end on auto
m
ake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
doolaege
i
s
cc: add schedule
a
nd sche
d
ule_bands operat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
is
c
c: add solutio
n
s
o
p
e
r
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolae
g
e
iscc: add coe
f
ficie
n
t
s o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdool
a
ege
is
c
c: add lift operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
iscc: perform as
s
ignments even on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
isc
c
:
p
lug mem
o
r
y leak on error pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next