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 isl to version 0.11
2012-12-03
Sven Verdoolaege
update isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdo
o
laege
README: re
f
er to pet
/
README for more det
a
ils o
n
how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
u
p
dat
e
pe
t
f
o
r supp
o
rt for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
up
d
ate i
s
l for
support for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoolaeg
e
drop cloog submodu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
olaege
use isl for code gener
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoo
l
a
e
g
e
update isl for cod
e
generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sve
n
Verdo
o
laege
iscc
.
c: ad
d
miss
i
ng in
c
ludes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoo
l
aege
up
d
ate
i
sl for
r
e
n
ame of
!isl_set_dim_has
_
{l
o
w
er,upp
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Verdoolaege
doc: add another pap
e
r refering to t
h
e
library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ve
r
doolaege
README: clarify t
h
a
t /opt is the examp
l
e installation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verd
o
olaege
e
xport isl_*_pw_q
p
ol
y
nomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Ver
d
oolaege
update pet
f
or adding missi
n
g include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven
V
erdoolaege
confi
g
ure
.
ac:
c
heck for NTL/ZZ
.
h header b
e
fore checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
S
v
en Verdool
a
ege
update pet
to ver
s
ion 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
up
d
ate isl t
o
versi
o
n 0
.
1
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
optio
n
s
.
c
:
avoid calling isl_a
l
l
oc
_
type withou
t
valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
e
v
alu
e
_isl
.
c:
d
iv2evalue
:
explicitly check fo
r
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
update isl for nor
m
alization
of isl_ter
m
_
g
et_div
r
es
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
S
ve
n
Verdo
o
laege
eval
u
e_isl
.
c: add_term: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoo
l
aege
update pet for supp
o
rt for rec
e
nt cl
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verd
o
o
l
a
e
ge
update
isl f
o
r
suppo
r
t for recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sve
n
Verdoolaege
isc
c
:
s
up
p
ort computation of arbi
t
rary (non-zero
)
powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdool
a
ege
update i
s
l for
isl_union_map_fixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
e
g
e
update
isl for change in is
l
_pw_
a
ff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
S
v
en Verdo
o
laege
evalue
.
c
:
avoid warning o
n
u
s
e
o
f &&
inside ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ver
d
o
o
laege
barvinok_e
.
cc: enumerat
e
_line
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
v
e
n V
e
rdoolaege
s
u
mm
a
te
.
c: ad
d
_
unbou
n
ded_guarded_qp: up
d
ate to ch
a
nge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
v
en Verdoolaege
upda
t
e pet for
s
uppor
t
for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
summate
.
c
: sum_base: che
c
k for and remove equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
Ve
r
doolaege
upd
a
te pet fo
r
suppo
r
t for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
Verdoolaege
update is
l
fo
r
support fo
r
recent cl
a
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
l
ae
g
e
barvinok
0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
u
pda
t
e pet to version
0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoolaege
update isl t
o
ver
s
io
n
0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
a
dd isl
.
py to di
s
t
r
i
bu
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
add interface
/
all
.
h
and
i
nt
e
rface/isl
.
py
.
top
t
o dis
t
r
i
bution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Ve
r
doolaeg
e
u
p
d
a
te cloog to version 0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sv
e
n
Verdoolaege
isl
_
pw_
q
polynomial_
f
rom_evalue:
c
onstruct z
e
r
o
result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
ParamLi
n
e_Leng
t
h_mod: proper
l
y handle emp
t
y i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaeg
e
partition2enumeration: f
i
x
m
e
mory
l
eak when
input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdo
o
laege
u
pdate
pet for in
t
roduction of
p
e
t_
o
pti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ve
n
Verd
o
ola
e
ge
iscc
:
use
i
sl_
c
tx_parse_option
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven
V
erdoolaege
u
p
da
t
e
isl for hiding
o
f
isl
_
options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doo
l
aege
update isl for introduction of isl_arg
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdo
o
l
aege
update
p
et fo
r
support for re
c
ent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
ege
update isl for support for rece
n
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoolae
g
e
README
:
drop reference to pipl
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
i
s
cc: add "params" oper
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
d
oc: explain sy
n
tax for parameter dom
a
ins
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdoolaege
update isl for special ca
s
ing of gis
t
with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
isl_obj_str_print:
p
roperly pass
a
l
ong isl_pr
i
n
ter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
exp
l
i
c
itly link in all required libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdoolaege
configure
.
ac: quote AC_LANG_PROG
R
A
M
c
all to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
V
erd
o
olaege
update pet for explicit
l
y lin
k
ing in g
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdoolaege
update isl
t
o version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update polyl
i
b to versio
n
5
.
22
.
5 + c
o
nfigure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sve
n
Verdoolaege
up
d
ate cloog for rena
m
e of LANG
U
AGE_C to CL
O
OG_L
A
N
G
UAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Ver
d
ool
a
ege
i
scc: add "
m
ap % do
m
ain" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Ver
d
oolaeg
e
updat
e
isl for isl_unio
n
_
map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
ven Verdo
o
l
aeg
e
polysign
.
h: add
missing declaration of gl
p
k_p
o
lyh
e
dron_
a
f
f
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sv
e
n V
e
rdoolaege
up
d
at
e
p
e
t
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
u
pda
t
e isl for
support fo
r
r
e
cent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
d
oolaege
h
u
ll
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoolae
g
e
reduce_domain
.
c:
i
nclude barvinok/ba
r
v
i
nok
.
h for
b
arvinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
rdoolaege
e
value_isl
.
c
: relation2pwqp: pr
o
per
l
y handl
e
parame
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
barvi
n
ok_enu
m
era
t
e
.
cc: verify_
i
sl
:
properly
h
andle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
r
d
o
olaege
a
d
d
isl
.
py target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
Verdoolaege
export some
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
V
erdoolaege
configure
.
ac: set ISL_BUIL
D
DIR a
l
so in case of bundl
e
d
i
sl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaeg
e
upd
a
t
e
isl for extra
c
t
_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
T
o
bias Gr
o
sser
iscc: use cloog_
u
nion
_
doma
i
n_from_isl
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven V
e
rdo
o
laege
update
i
sl for
c
hange in isl_pw
_
aff_set_tuple_id pr
o
tot
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoola
e
ge
include pet in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
upda
t
e
pet f
o
r fix
in d
i
s
tribu
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Ver
d
oolaege
upd
a
te isl for
i
s
l_set_from_pa
r
am
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
drop omega sub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
configure
.
ac:
t
a
k
e into acc
o
unt prefix of system
o
m
e
ga
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolae
g
e
upd
a
t
e
isl
for fix in factor
i
zation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verdoola
e
ge
a
d
d
some iscc
te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoolaege
iscc: on
l
y print new li
n
e
i
f
someth
i
ng was pri
n
ted
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdool
a
eg
e
iscc:
add "
a
s
sert" o
p
e
r
ati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoolaege
i
scc
:
add
== oper
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc
:
call_bin_op:
h
andle b
i
n
a
r
y test operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verd
o
olaege
iscc: ext
r
act out c
a
l
l_
b
in_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdoolaege
upd
a
te is
l
for "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
updat
e
isl for
c
hange
i
n isl_basi
c
_se
t
_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
S
v
en
V
er
d
oolaeg
e
upda
t
e
c
loog
f
or include f
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
r
doolae
g
e
up
d
ate
i
sl for
removal of isl_d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update isl for change in
i
s
l
_
{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolae
g
e
update pet
for
c
ompatibil
i
ty with recent
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en
Verdo
o
la
e
ge
u
p
date
i
s
l-polylib f
o
r include path ordering
iss
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Ve
r
d
oolaege
update i
s
l f
o
r change i
n
s
p
ace of isl_pw_* objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n
Verdo
o
laege
update isl for explicit para
m
eter
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verdoolaege
i
s
cc: properly handle ap
p
li
c
ations of fun
c
tions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Verdoolaege
isl_un
i
on
_
set_apply_union
_
pw
_
qpolynomial: explicitl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_pw_qp
o
lynom
i
al_sum: simplif
y
const
r
uction of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
i
sl
_
set_card:
explicitly p
r
o
j
ect result onto parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolae
g
e
barvinok_summate
.
c: verify_point:
explicitly p
r
o
ject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
l
a
e
ge
test_bound
.
c: avoid use of undo
c
u
m
e
n
te
d
isl_set_remove
_
dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next