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.37
2012-04-17
Sven
V
erdoolaege
up
d
a
te isl for normaliz
a
tion of isl_term_get_div
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
S
ve
n
Verdool
a
eg
e
evalue
_
isl
.
c: ad
d
_term: improve error
handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoola
e
g
e
update pet
for support for recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
u
pdate i
s
l
for support for r
e
cen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdoo
l
aeg
e
i
scc: support computation of arbitr
a
ry (non-zero) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
ven V
e
rdoolaeg
e
update
isl for isl_uni
o
n_map
_
f
i
xe
d
_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaege
update is
l
for change in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
S
v
en Ver
d
oolaege
evalu
e
.
c: avoid warning on use of && inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
ven Verd
o
olaeg
e
barvinok_e
.
cc: enumer
a
te_line: f
i
x t
y
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
summate
.
c
:
add_unbou
n
d
ed_guar
d
ed_qp:
update to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
v
en Verdoolaege
u
p
da
t
e
p
et for sup
p
o
r
t for recent
c
l
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven V
e
r
d
oolaege
su
m
mate
.
c: sum_base: check for and
r
e
move equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
update pet fo
r
su
p
por
t
for recent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolae
g
e
update is
l
for support
f
or
recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rdoolaege
bar
v
inok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
e
g
e
u
pda
t
e pet to version
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdoolaege
u
p
date isl to versi
o
n 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
o
laeg
e
add isl
.
py
t
o
distrib
u
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoolaege
a
d
d
interfa
c
e
/all
.
h
an
d
inter
f
ace/isl
.
p
y
.
top to distr
i
bution
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
Sve
n
Verdoolaege
isl_pw_qpolynomial_fro
m
_evalue:
c
onstruct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Ver
d
oolaege
ParamLi
n
e_Length_
m
od: proper
l
y hand
l
e empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdo
o
laege
parti
t
ion
2
enumer
a
t
i
on: fix
m
emory leak when inp
u
t
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laeg
e
update pet for introdu
c
tion
of pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
iscc: use isl_
c
tx_parse_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoolaege
up
d
ate isl for hiding
of isl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n Verd
o
o
laege
u
p
date isl fo
r
introduction o
f
i
s
l_
a
rgs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
o
la
e
ge
up
d
ate pet for support for r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
updat
e
is
l
for support for re
c
ent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
README: dro
p
re
f
ere
n
ce to pipl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdoo
l
a
eg
e
iscc: a
d
d "pa
r
ams" operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ven
V
e
r
doolaege
doc: exp
l
ain s
y
ntax fo
r
parameter dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
update
i
sl for special c
a
sing of gist with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_
o
b
j
_
s
tr_print:
properly pass along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdoolaeg
e
explicitly lin
k
in all requir
e
d libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
configu
r
e
.
a
c: quote
AC_LANG
_
PROGR
A
M call t
o
avoid warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en
V
erdool
a
e
ge
update pet for explicitly
linking
i
n gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oolaege
update isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
e
rd
o
olaege
upda
t
e po
l
y
lib to versi
o
n 5
.
22
.
5 +
configure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
S
v
en Ve
r
doolae
g
e
upd
a
te cloog
f
or rename o
f
L
A
NGUAGE_C to CLOOG_LANGUAGE_
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rd
o
o
l
a
e
ge
is
c
c: add "map % domain"
o
p
e
r
a
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoo
l
aege
update i
s
l for
is
l
_unio
n
_ma
p
_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoolaege
polysign
.
h:
a
dd missing declar
a
tion
of glp
k
_polyhedron_aff
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdool
a
eg
e
update p
e
t
for suppo
r
t for
recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verdoolae
g
e
update isl
for supp
o
r
t for rece
n
t cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n V
e
rdoo
l
aege
h
u
ll
.
c: add missi
n
g
inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdool
a
e
g
e
red
u
ce_dom
a
i
n
.
c:
i
nclude barvinok
/
barvinok
.
h
for
b
arvinok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
V
erd
o
o
laege
evalu
e
_i
s
l
.
c:
r
elation2pwq
p
: properly handle p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
e
r
doolaege
barvinok_e
n
umerate
.
cc:
verify_isl: proper
l
y ha
n
dle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdo
o
laeg
e
add isl
.
p
y
target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolae
g
e
e
x
port some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoola
e
ge
conf
i
g
u
re
.
a
c: set ISL_B
U
ILDDIR
a
lso in c
a
se of
bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
update isl for
e
xtract_inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
up
d
ate isl
f
or
c
h
ange in isl
_
p
w
_aff_s
e
t
_
tu
p
le_id
prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaeg
e
in
c
lude pet
i
n d
i
stribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update
pet for f
i
x in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
updat
e
isl
for isl_set_
f
rom_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdool
a
ege
d
rop omega submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
c
o
n
f
igure
.
ac
:
ta
k
e into account pr
e
f
ix of system o
m
ega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
l
a
ege
u
p
d
ate
isl for fix
i
n facto
r
ization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
add
some iscc te
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
i
s
cc: only print new
l
i
n
e if something was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verdoo
l
aege
i
s
c
c: add "assert" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoo
l
aege
is
c
c: a
d
d == oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
r
d
oolaege
i
scc: call
_
bin_op
:
handle binary t
e
st operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
iscc: extract ou
t
call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ve
n
Verdoolae
g
e
update i
s
l
for "==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoo
l
aege
upda
t
e isl for change
in isl_b
a
sic_s
e
t
_
re
a
d_f
r
om_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
S
ven Verd
o
olae
g
e
update cloog for i
n
clude fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoolaege
update isl for remova
l
of
isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
u
p
da
t
e isl for change in isl
_
{
in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laege
upda
t
e
p
et
f
or c
o
mpatibility wit
h
recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
u
p
date
i
sl-polylib
f
or
i
nclude
p
a
th ordering i
s
sue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdo
o
laege
u
pdate
i
s
l
f
o
r change in spa
c
e of
isl_pw_*
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verdoola
e
ge
update
i
sl for
explicit parameter sp
a
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ver
d
oolaege
i
scc
:
properly ha
n
dle applications of functions on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verdoolaege
isl_union_set_
a
pply_
u
nion_
p
w_qpolynomial: e
x
p
licitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoola
e
ge
i
s
l_pw_q
p
o
lynomial_su
m
: simpli
f
y
c
onstruction of ta
r
get
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_se
t
_card:
exp
l
icitly project result onto para
m
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
barvino
k
_s
u
mmate
.
c: verify_poi
n
t: explicit
l
y
proje
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
t
es
t
_bo
u
nd
.
c: avoid
use of undocumented isl_se
t
_re
m
ove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaeg
e
isl_bas
i
c
_
set_lattice_width: c
o
m
pute cor
r
ect space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
e
rdoo
l
aege
update
i
sl for
isl_pw_qpo
l
ynomial_proj
e
ct_domain_o
n
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update clo
o
g for not usin
g
undocumented isl_s
e
t_e
x
tend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
dool
a
ege
up
d
ate isl-po
l
ylib for r
e
name of i
s
l_d
i
m to isl
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoola
e
g
e
update isl for rename of isl_dim
t
o is
l
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
d
ate isl-polyli
b
for some f
i
xes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
u
pdate pet for use of isl
_
m
a
p
_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
u
pdat
e
isl for isl_map_ha
s
_tuple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
ae
g
e
upda
t
e
isl for
rename o
f
is
l
_
m
ap_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolae
g
e
update isl
f
or
change in isl_aff_flo
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
u
p
date
pet for comp
a
tibility wi
t
h
l
a
test clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
u
p
date isl fo
r
fix
i
n
isl_map_
i
nter
s
e
c
t_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verd
o
olaege
iscc: add parse_file ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
add pet
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
v
e
n
Verdoo
l
aege
updat
e
isl f
o
r p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rd
o
o
laege
privately
expor
t
isl_
s
tr_
f
re
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
r
doolaege
iscc: only p
r
int valid resul
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoola
e
ge
barv
i
nok
0
.
3
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Ve
r
doolae
g
e
updat
e
cloog
to
v
e
r
s
io
n
0
.
16
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next