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
barvinok 0.35
2011-12-18
Sven Ve
r
doo
l
a
ege
bar
v
ino
k
0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n
Verdoolaege
upd
a
te pe
t
to v
e
rsion 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
update
is
l
to version
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en
V
e
r
doolaege
add isl
.
py to distribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add inter
f
ace/
a
ll
.
h an
d
int
e
rface/isl
.
py
.
top to di
s
tri
b
ution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolae
g
e
u
p
d
at
e
c
l
oog
t
o
ve
r
si
o
n 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
v
en
V
erdoolaege
isl_pw_qpolynomial_from_eva
l
ue: construct z
e
ro
result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
ParamLine
_
L
ength_
m
o
d
:
prop
e
r
l
y
handle empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
part
i
t
ion2enumeration: fi
x
memory le
a
k when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n
Verdoolaege
updat
e
pet
for int
r
oduction of pet
_
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n
Verdoolaege
iscc: use
i
s
l
_
ctx_parse
_
opt
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Ve
r
doolae
g
e
u
p
date isl
for hiding
of isl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Ver
d
oolaege
update
isl for
introduction of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Ve
r
dool
a
ege
upd
a
te pet for support for rece
n
t cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
upd
a
te isl
f
or
s
upport
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Ve
r
doolaege
READM
E
: drop refer
e
nce to pi
p
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
iscc:
add
"
p
a
r
ams
"
ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolae
g
e
doc:
e
xpla
i
n synta
x
for pa
r
ameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoola
e
ge
u
pdate
isl for sp
e
cial casing of gist with
param
e
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
i
sl_obj_str_print: prop
e
r
ly
p
ass alo
n
g
isl
_
printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdoolae
g
e
exp
l
icitly link i
n
all
r
equired lib
r
ar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
c
o
n
figure
.
ac: quote
AC_L
A
NG_PROGRAM
c
a
l
l to avoid warni
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verd
o
olaege
update p
e
t
f
o
r explicitly linking in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
eg
e
update isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolae
g
e
update p
o
lylib to version 5
.
22
.
5 + configure
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sv
e
n
Verd
o
olaeg
e
update cloog fo
r
rena
m
e
o
f LANGUAGE_C to CL
O
O
G_LANGUAG
E
_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Ver
d
ool
a
ege
iscc: ad
d
"map % do
m
a
i
n" o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoo
l
aege
upd
a
t
e isl
f
o
r
isl_union
_
m
ap_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoolaege
polysig
n
.
h
: a
d
d miss
i
ng declar
a
tion of
glpk_poly
h
ed
r
on_aff
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven
V
erdoolaege
up
d
ate pet
f
o
r supp
o
rt
for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven V
e
rdoolaege
update
i
sl f
o
r support f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoolaege
hull
.
c: a
d
d m
i
s
sing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoo
l
a
e
ge
re
d
u
ce_domain
.
c
: inclu
d
e barvino
k
/barvi
n
ok
.
h for
b
a
r
v
in
o
k_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoolaege
ev
a
lu
e
_isl
.
c: relation2pwqp: pro
p
erly
h
a
ndle parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdo
o
la
e
ge
bar
v
inok_enumerate
.
cc:
v
erify_is
l
: properl
y
ha
n
d
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n
Ver
d
oolaege
add i
s
l
.
p
y targ
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
export some func
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaeg
e
configure
.
ac: set ISL_B
U
I
L
DDIR
also
i
n case of bundl
e
d isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
update isl
for ex
t
ract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Verdo
o
l
aege
update isl for change in isl_pw_af
f
_
s
et_tuple_id prototyp
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdo
o
l
aege
inclu
d
e
p
et in distr
i
b
ution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
u
p
d
ate pet f
o
r f
i
x in distr
i
b
utio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdo
o
laege
upda
t
e
i
sl
f
or
isl_set_from_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
ol
a
ege
dro
p
o
mega submo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
c
on
f
igure
.
ac: take in
t
o acco
u
nt prefix of syst
e
m omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
updat
e
isl for fix in fact
o
r
ization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdoolae
g
e
ad
d
som
e
isc
c
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
olaege
is
c
c:
o
nly
p
r
int new line if someth
i
n
g
was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaeg
e
iscc: add "assert"
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
a
e
ge
iscc: a
d
d == ope
r
a
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoola
e
ge
iscc: call_b
i
n_op: handle binary test operati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdool
a
ege
iscc: extract out call
_
bi
n
_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
update
isl for "=="
t
o
k
ens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
e
rdoolaeg
e
update
i
s
l
for chan
g
e
in
isl_
b
asic_set_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdo
o
laege
u
p
d
a
te cloog for include fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en
Verdoo
l
aege
update isl for removal
o
f isl
_
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doolaeg
e
upda
t
e isl
f
or cha
n
ge in isl
_
{in,}equality_
a
l
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Verd
o
olaege
update pet for compatib
i
lity
with rece
n
t cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven V
e
rd
o
olaege
u
p
dat
e
isl-polylib
f
or inc
l
u
d
e
p
ath ordering issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl
fo
r
change in
s
pace of isl_p
w
_
* o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
ven Verdoolaege
update i
s
l for ex
p
licit parameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
V
e
rdo
o
l
a
e
ge
iscc: p
r
operly handle ap
p
lications of functions on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
ge
isl_un
i
on_s
e
t
_
apply_union_pw_qpolynomial: explic
i
tl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Ver
d
oolaege
isl_
p
w_
q
polyn
o
mial
_
sum:
sim
p
lify constru
c
tion of ta
r
g
et
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ve
r
d
oolaeg
e
isl_set_card
:
expli
c
itly project r
e
sult
o
n
t
o
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
barvinok_su
m
mate
.
c
: verify_point
:
expli
c
itly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ve
n
Ve
r
d
o
ol
a
ege
test_bound
.
c:
a
void us
e
of undocumented isl
_
s
e
t_remove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
l
a
ege
isl_basic_s
e
t_la
t
tice_w
i
dth:
compute co
r
rect s
p
ace
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n V
e
r
doolaeg
e
update isl for isl_pw_q
p
olynomial_project_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erd
o
ola
e
ge
update cloog for
n
ot using undocumen
t
ed isl_set_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verd
o
olaege
update isl-polylib for rena
m
e of
isl_dim to
i
sl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ver
d
oolaege
update isl for re
n
ame
o
f isl
_
dim to i
s
l
_
sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl-po
l
ylib for
some fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
V
erdoo
l
aege
update pet f
o
r
u
s
e
of isl_map_has_tuple
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
u
pdate isl
f
or isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verd
o
olaege
update isl fo
r
r
en
a
me
of isl_m
a
p_i
n
sert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
e
g
e
update isl for
change in
isl_
a
ff_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaege
update
pet
f
or compatibi
l
ity wi
t
h la
t
est clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaeg
e
u
p
date is
l
for fix in isl_map
_
inters
e
c
t
_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
ven Verd
o
olaege
iscc: add parse
_
fi
l
e op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Ver
d
oolaeg
e
add pet sub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Ve
r
doolaege
update isl for pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en
V
erdoolaege
priv
a
tely export i
s
l_str_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
v
e
n Verd
o
olaege
is
c
c: on
l
y print va
l
id results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolaeg
e
barvinok
0
.
3
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolaege
update
cloog
to v
e
r
sion 0
.
16
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaege
u
p
date isl to version 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven
Verdo
o
laege
a
utogen
.
sh: replace
s
u
p
erproje
c
t part by call to autor
e
c
onf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven
V
e
r
doolaege
configu
r
e
.
a
c
:
use non-deprecated fo
r
m of AM_INIT_AUTOMA
K
E
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven
Verdoolaeg
e
rename
c
onfigure
.
in to configure
.
ac
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven
Verdoolaege
u
pdate
c
loog for n
o
t depending
o
n
i
nternal
r
epresenatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
t
e
s
t:
u
se isl interface for testing lat
t
ice widths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdoolaege
iscc: add lattice_width
o
p
era
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
isc
c
:
r
eplace
schedule_bands by sche
d
ule_forest
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Ver
d
o
olae
g
e
update i
s
l for fix
i
n i
s
l_schedu
l
e
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolae
g
e
upda
t
e cloog fo
r
a
d
dit
i
on
o
f m
i
ssing
i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
ae
g
e
iscc:
accep
t
empty
l
ists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaeg
e
remove evalue_split_period
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
drop evalue_conv
e
rt ap
p
licatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
lexmin
.
cc
:
a
dd missing
r
e
t
urn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next