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
drop cloog submodule
2012-09-22
Sven Verdoo
l
aege
drop cloog submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n V
e
rdoolaege
use isl for code generat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoola
e
g
e
update isl for
c
ode
generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sve
n
Verdoolaege
iscc
.
c: a
d
d mis
s
ing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en
V
e
rdoo
l
ae
g
e
upda
t
e isl for rename of !isl_
s
et_dim_has_
{
lower,
u
pper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdool
a
ege
doc: add another paper refering to
the libr
a
ry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaeg
e
REA
D
ME: clarify th
a
t /opt is the example ins
t
al
l
a
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ve
r
doo
l
aeg
e
export isl_*_pw_qpolyno
m
ial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
erdoolaege
update pet for addi
n
g missing i
n
c
lu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
configure
.
ac: ch
e
ck fo
r
NTL/ZZ
.
h header before
c
hec
k
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sve
n
Verdo
o
laege
u
p
date pet t
o
version 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
update is
l
to versi
o
n
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
options
.
c:
a
void calling isl_alloc_type without v
a
lid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_isl
.
c: div2e
v
alue: ex
p
lici
t
ly
c
heck for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaeg
e
upd
a
te isl for normalization of isl_term_get_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sve
n
V
erdoolaege
evalue_is
l
.
c: add_term: impro
v
e error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
Verd
o
olaege
update pet f
o
r support
fo
r
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdo
o
laeg
e
up
d
ate is
l
for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
iscc
:
s
u
ppo
r
t computation of arbit
r
ary (non-zero) pow
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
update isl for isl_union_
m
ap_fix
e
d_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
update
is
l
fo
r
chang
e
in isl_
p
w
_
aff_co
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdo
o
lae
g
e
evalue
.
c: avo
i
d
w
arning
on use of && inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n
V
er
d
oolaege
b
ar
v
in
o
k_e
.
cc: e
n
umerate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolae
g
e
summat
e
.
c:
a
dd_unbound
e
d_gua
r
ded_qp: update to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
v
en
V
erdoolaege
updat
e
pet for support f
o
r r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven
V
er
d
oolaege
summate
.
c: sum_base: check for and remove
e
qualitie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
en V
e
rdoolaege
update
pet
f
o
r
s
u
ppor
t
f
or rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
update isl for support for
r
ece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
oolaege
barvinok
0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
ege
update pet to version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoolaege
updat
e
isl to versi
o
n 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en
Verdoolaege
add
i
sl
.
py
t
o
d
is
t
ribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
add interfac
e
/al
l
.
h
an
d
interface/isl
.
py
.
top to
di
s
tribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
u
p
da
t
e cl
o
o
g to ve
r
sion
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdoolaege
isl_pw_qpolynomial_from_
e
valu
e
:
constru
c
t
z
ero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ver
d
oolaege
ParamLin
e
_Length_mod: prope
r
l
y
hand
l
e empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven V
e
rdool
a
ege
p
a
rtition2enumer
a
tion
:
f
i
x
m
emory leak w
h
en input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoo
l
aege
update pet f
o
r i
n
troduction o
f
pet_
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
iscc:
use is
l
_
c
tx_pars
e
_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdo
o
laege
u
p
date isl for
h
iding of
isl_opt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laeg
e
update isl
f
or i
n
tr
o
duct
i
on of is
l
_
a
r
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laege
update pet for support
f
or recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ve
n
Verdoolaege
update isl for support for
recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ven
V
erdoolaege
REA
D
ME: drop reference to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sv
e
n Ve
r
d
oolaege
iscc:
add "par
a
ms
"
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
olaege
doc: explain synta
x
for parameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
update
i
s
l
f
or special
casing of
gis
t
with pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
isl_obj_str_print: properl
y
pas
s
along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Ve
r
d
o
olaege
explicit
l
y link
i
n all r
e
quired li
b
ra
r
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoo
l
aege
configure
.
ac: qu
o
te AC_LANG_
P
RO
G
RAM call t
o
a
v
oid warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
up
d
ate p
e
t for explicitly linking
in g
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
upda
t
e isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven
V
erdoolaege
update polylib t
o
version 5
.
22
.
5
+
configure
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sv
e
n
Verdoolaege
up
d
ate cloo
g
for rename o
f
LANGUAGE_C
to CLOOG_LANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdool
a
ege
iscc: add "map % dom
a
in" ope
r
at
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
olaege
u
pdate isl
f
or isl_unio
n
_ma
p
_gist_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
S
ven Verdoola
e
ge
p
o
l
y
s
ign
.
h: ad
d
miss
i
ng d
e
claration
of
glpk_polyhedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sv
e
n Verdoolaeg
e
update pet for sup
p
ort for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update
i
sl for sup
p
ort for recent cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
hull
.
c: a
d
d missing
i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Ver
d
oo
l
aege
reduce_domain
.
c: i
n
c
l
ud
e
barvino
k
/b
a
rvinok
.
h for ba
r
vin
o
k
_
co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erd
o
olaege
evalue_isl
.
c: r
e
l
a
t
i
on2pwqp: properly handle p
a
ra
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolaege
barvinok_enumerate
.
cc: v
e
r
i
f
y
_isl: pr
o
perly ha
n
d
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Ver
d
o
o
lae
g
e
add
is
l
.
py ta
r
get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
expo
r
t some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdo
o
la
e
ge
c
onfig
u
re
.
ac: set I
S
L_
B
UILDDIR also
i
n
case of bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
update isl for ex
t
ract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
T
obia
s
Grosser
iscc:
u
s
e
cl
o
og_union_domain_from_i
s
l_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
updat
e
isl for c
h
ange
i
n isl_pw_a
f
f_s
e
t_tuple
_
id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
o
olaege
incl
u
de pet
in distributi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaeg
e
upda
t
e
p
e
t for fix
in distributio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
ol
a
ege
up
d
ate isl for isl_s
e
t_from_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
d
rop omega
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ve
n
Verdoolaege
configure
.
ac: tak
e
into
a
ccount prefix
of syst
e
m
omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
u
p
da
t
e
isl for fix in
f
a
ctorization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdoolaeg
e
add some iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: o
n
ly print n
e
w line if
s
omething was print
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven
V
erdoolaege
iscc: add "
a
s
se
r
t" operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
e
rdoolaege
iscc: add
=
= operat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdoolae
g
e
i
s
cc: call
_
bin
_
op: ha
n
dle bi
n
ary test op
e
ratio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdool
a
ege
i
scc: extract out ca
l
l
_
b
in_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
u
p
date i
s
l
for "==
"
t
o
kens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven V
e
rdoolaege
update isl for
change in isl_basic_set_read_from_f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
S
ven Verdoolaege
u
p
date
cl
o
og
for include fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
er
d
oolaege
update isl fo
r
removal
o
f isl_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaege
upda
t
e
isl for change
in
i
sl_{in,}eq
u
ality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en
Verdoolaege
updat
e
p
e
t for com
p
atibility with recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
update
i
sl-polylib
for inclu
d
e
p
ath ordering i
s
sue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
ven Verd
o
olaege
updat
e
isl for chang
e
in spac
e
of i
s
l_pw_
*
ob
j
e
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
ven Ve
r
dool
a
e
ge
update i
s
l for explicit para
m
e
t
er spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verdoolaege
i
scc: properly hand
l
e
a
ppl
i
cat
i
ons o
f
fu
n
ction
s
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ver
d
ool
a
ege
isl_uni
o
n_set_apply_union_pw_qp
o
lynomial
:
expli
c
i
t
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verd
o
olae
g
e
i
sl_pw_qpolynomial_sum: simplify constr
u
ct
i
on of target
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
isl_
s
e
t
_c
a
rd: exp
l
icitly project res
u
lt onto
p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoola
e
ge
barvi
n
ok_
s
ummate
.
c: verify
_
p
o
int: explic
i
tly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
test_bound
.
c: av
o
id use of undocume
n
ted isl_s
e
t_
r
emove_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en V
e
rdoolaege
isl_basic_set_lattice_widt
h
: comp
u
t
e
correct space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
update i
s
l for isl_pw_
q
polynomial_project_dom
a
in
_
on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
date cloog
f
or not u
s
i
ng und
o
cumented isl
_
set_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
update isl
-
polylib for renam
e
of isl_d
i
m
t
o
i
sl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next