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
Sve
n
V
erdo
o
laege
barvin
o
k 0
.
3
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Verdool
a
ege
update pet to version 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
upda
t
e
isl
to v
e
rsion 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
laege
add isl
.
py to d
i
st
r
ibut
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoola
e
ge
add
i
nterface/
a
l
l
.
h and
interface/
i
sl
.
py
.
t
op to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
update cloog
to version 0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdoolae
g
e
isl_pw_qpolynomia
l
_f
r
om_evalue:
c
onstruct ze
r
o
result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
e
r
doolaege
Param
L
i
n
e
_
L
en
g
th_m
o
d: prope
r
ly han
d
le empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Verdoolae
g
e
pa
r
tition
2
enu
m
era
t
ion
:
fix memory leak wh
e
n input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doolaege
update
pet for introdu
c
tion of pe
t
_opti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
o
laeg
e
i
scc
:
use isl_ctx_
p
arse_opti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
er
d
oolae
g
e
up
d
ate
is
l
for hiding of isl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update isl for introduc
t
ion of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Ver
d
oolaege
u
p
date pet for suppo
r
t for rece
n
t clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
u
p
da
t
e isl
for support for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
README: dro
p
reference to piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Verdool
a
ege
i
scc: add "params" op
e
ra
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoolaege
doc: explain syn
t
ax fo
r
param
e
ter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdool
a
ege
update
i
s
l
f
or special c
a
sing o
f
gist with param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
isl
_
obj_str_print: proper
l
y
pass
a
long isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
e
ge
explic
i
t
ly l
i
nk in a
l
l required librar
i
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
conf
i
gure
.
ac: qu
o
te AC_LANG_PROGRAM call to avoid wa
r
ning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verd
o
o
laege
update pe
t
for explicitly li
n
ki
n
g in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update is
l
to versi
o
n 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
o
o
laege
update polylib to
ver
s
ion
5
.
22
.
5 + conf
i
gu
r
e
f
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoola
e
ge
update cl
o
o
g
f
o
r rename of LAN
G
UAGE_C
to CLOOG_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
is
c
c:
a
dd "ma
p
% dom
a
in" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdoolaege
u
p
d
a
t
e isl for isl_union_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoolaege
polysi
g
n
.
h: add missing
d
eclaration
o
f
g
lpk_polyhedron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
upda
t
e p
e
t for support for recent cl
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
up
d
a
te isl for
support
f
or recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
hull
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Ver
d
oolaege
reduce_doma
i
n
.
c: inc
l
ude barvinok/ba
r
vino
k
.
h
for barvinok
_
co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Verd
o
olaege
e
v
alue_isl
.
c: re
l
at
i
o
n
2pwqp
:
properly
handle par
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n
Verdoolaege
barvinok_enumerate
.
cc: verify_isl: properly handl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoola
e
ge
ad
d
isl
.
py target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
export some func
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolae
g
e
configure
.
ac:
s
et IS
L
_BUI
L
DDI
R
al
s
o
in case
o
f bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Ve
r
doolaege
update isl for extr
a
ct_interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
Tobias G
r
oss
e
r
i
s
cc
:
use
c
lo
o
g_union_
d
omain_from_isl
_
se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
r
doola
e
g
e
updat
e
isl for change in isl_pw_a
f
f_set_tuple_i
d
proto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
ool
a
e
g
e
include pet
in distribut
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdo
o
laeg
e
u
p
date pet for fix in distribut
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
update isl
f
or isl_set
_
from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoola
e
ge
drop omega submo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
conf
i
gure
.
ac: take i
n
t
o
account
prefix of sys
t
e
m
o
me
g
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdoolaege
update isl for fix in factoriz
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laege
add some is
c
c tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoola
e
ge
iscc: on
l
y
print new
line if
s
ometh
i
ng was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
isc
c
: ad
d
"assert" op
e
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: add
== operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdoola
e
ge
iscc: call_bi
n
_op
:
handl
e
binary te
s
t
operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdoolaege
i
s
c
c:
e
xtract out
call_
b
in
_
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verd
o
olaege
upd
a
te isl f
o
r "==
"
tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
updat
e
isl for change in isl_b
a
s
ic_set_read_f
r
o
m
_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Ve
r
d
o
olaege
u
p
d
ate cloog for include fi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
u
p
d
a
te isl for remov
a
l
of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoo
l
aege
update isl fo
r
chan
g
e i
n
isl_{in,}e
q
uality_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update
p
et for
c
o
mpatibili
t
y
with recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
u
p
d
ate isl-polylib for include
path or
d
e
rin
g
issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
u
p
date is
l
fo
r
cha
n
g
e
in
sp
a
ce of isl_pw_* ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ve
r
doolae
g
e
update isl
f
o
r
expli
c
it parameter
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdoolaege
i
scc: proper
l
y han
d
l
e
applica
t
ions of fu
n
ctions
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Ver
d
oolae
g
e
isl_union_s
e
t_apply_
u
n
i
o
n
_
pw_qpolynomial: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
ool
a
e
ge
is
l
_pw_qpolynomial
_
sum: simplify construction of targe
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaege
isl_set
_
card: expli
c
itly
proje
c
t
r
e
sult onto paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
barv
i
nok_su
m
mate
.
c: v
e
rify_
p
oint: expli
c
itly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Ver
d
oolaege
te
s
t
_
b
ound
.
c
:
a
v
o
id u
s
e of
u
ndocumented isl_set_r
e
move_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
i
sl_basic_se
t
_lattice_widt
h
: compute
c
orrect
spac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verd
o
ola
e
ge
u
pdate i
s
l
for is
l
_p
w
_q
p
o
lynom
i
al_project
_
do
m
ain_on_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoolaege
update
cloog for no
t
using undocumented isl_s
e
t_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
update
i
sl-p
o
l
y
lib for renam
e
of
i
sl_d
i
m to isl_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Ve
r
doola
e
ge
updat
e
isl
f
or
rename of isl_dim to is
l
_s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
updat
e
i
sl-p
o
lyli
b
for some fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
update
p
e
t for us
e
of isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
update isl
f
or isl_map_has
_
tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
upda
t
e
i
sl
for
r
ename of
i
sl_ma
p
_inse
r
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
update isl for change
i
n
isl_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven
Verdoola
e
ge
update p
e
t
for compati
b
ility
w
ith latest c
l
ang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdool
a
ege
update isl for fi
x
i
n isl_map_intersec
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
isc
c
:
ad
d
parse_file o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
a
dd pet
s
u
bmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
updat
e
isl
f
or pe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdo
o
l
aeg
e
privately export isl_str_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
ven V
e
rdoolaege
iscc: only p
r
int val
i
d resu
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
S
v
e
n Verdoolaege
barvinok 0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sve
n
Verdoolaege
updat
e
cloog
to v
e
rsion 0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaeg
e
update isl to version 0
.
0
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdo
o
laege
auto
g
en
.
sh: re
p
l
ace
s
uperproject par
t
by c
a
ll to aut
o
reconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sv
e
n Verdoolaege
co
n
figure
.
a
c: use non
-
de
p
r
ecated form of
AM_INIT_AUTO
M
AKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoo
l
aege
rena
m
e configu
r
e
.
i
n
t
o configure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sv
e
n Verdoolaeg
e
update
cl
o
og f
o
r not d
e
pendi
n
g on internal
repr
e
sena
t
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolae
g
e
tes
t
: use isl interface for
t
e
sting lattice widths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
i
sc
c
:
a
dd
lattice_width operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isc
c
: replace schedule_bands by sche
d
ule_fore
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdoola
e
ge
update isl for
fix i
n
is
l
_schedul
e
i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven
V
e
rdoo
l
aege
update
c
l
oog for add
i
tion
o
f miss
i
ng include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoolaege
iscc: acce
p
t
e
mpty
l
ists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaeg
e
remov
e
evalue_split_peri
o
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oola
e
g
e
d
r
op eval
u
e_convert appl
i
c
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next